ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-26 11:45:00 +03:00
Code Issues Packages Projects Releases Wiki Activity
3,402 Commits 54 Branches 46 Tags 340 MiB
76cb8f6ed7
Commit Graph

454 Commits

Author SHA1 Message Date
damirka
a8cf416a77 Merge branch 'master' into feature-tgc-ci 2021-08-19 10:58:22 +03:00
gluaxspeed
20b0f4f2f8 fix canonicalization function type return bugs 2021-08-16 15:12:36 -07:00
gluaxspeed
8ca3ab465e circleci updated rust version 2021-08-13 10:48:38 -07:00
gluaxspeed
ad5591d6fe disable including readmes in crates documetnation while circleci doesn't support 1.54 2021-08-11 00:18:27 -07:00
gluaxspeed
622ff5a9c3 finish docs, setup ci to publish docs pages, test docs generation 2021-08-10 19:59:27 -07:00
gluaxspeed
402ad7aabb finish in code documentation, deny no doc comments 2021-08-10 14:10:27 -07:00
damirka
4f13716e5b removed dbg 2021-08-09 21:57:15 -07:00
damirka
97645eb443 remove comments, update circleci to rust 1.54 2021-08-09 21:57:15 -07:00
damirka
1792ef4993 attmpt to fix 1217 (rebased) 2021-08-09 21:56:45 -07:00
gluaxspeed
003faed13a merge master, fix tests 2021-08-04 17:30:54 -07:00
gluaxspeed
2a99a87da7 colored backtrace reports, full and 1 for leo backtrace 2021-08-04 14:19:19 -07:00
gluaxspeed
b1f93e95b3 dep clean up, clippy, leo result 2021-08-04 05:52:08 -07:00
gluaxspeed
2d7963771f clippy, use leo result everywhere 2021-08-04 04:12:03 -07:00
gluaxspeed
6302bda18e cli errors, leo result type 2021-08-04 03:36:33 -07:00
gluaxspeed
162949185f code cleanup 2021-08-04 00:42:48 -07:00
Alessandro Coglio
8e8e3fdf42
Merge pull request #1150 from AleoHQ/feature/remove-nightly-support 
[Feature] Deprecate Nightly + OS CIs
 2021-08-03 14:59:07 -07:00
gluaxspeed
76b8b3f0a6 merge master, clippy fixes 2021-08-03 04:00:15 -07:00
damirka
34f1c00da2 clippy & test fixes 2021-08-02 23:45:33 +03:00
damirka
a9a684ef2b adds self canonicalization for static calls 2021-08-02 18:25:12 +03:00
gluaxspeed
753039c4b4 code re-organization, dsl for errors 2021-07-31 00:01:23 -07:00
gluaxspeed
0012f9b37b Error refactoring thus far 2021-07-30 19:01:12 -07:00
howardwu
c37d7bcd39 chore(leo): bump version for new release 2021-07-29 18:59:08 -07:00
gluaxspeed
20d64970ab merge master, color only at cli as it breaks tests, remove debug 2021-07-26 16:49:33 -07:00
gluaxspeed
780a2744ec Merge branch 'master' of github.com:AleoHQ/leo into feature/console-refactor-and-outs 2021-07-26 12:51:51 -07:00
gluaxspeed
bfe83d3bc1 merge master 2021-07-25 22:33:34 -07:00
gluaxspeed
1d72107119 inclusive range 2021-07-23 15:14:37 -07:00
gluaxspeed
a7dcb95847 warnings go to stderr as well, Make error message red 2021-07-22 02:42:41 -07:00
gluaxspeed
8028766cb4 Merge branch 'master' of github.com:AleoHQ/leo into bug/abnf-format-strings 2021-07-21 14:43:37 -07:00
gluaxspeed
b7a2626bc4 merge master 2021-07-21 12:05:17 -07:00
gluaxspeed
aa1819c368 finish up ast readme, clean up old files and comments 2021-07-21 02:47:54 -07:00
gluaxspeed
0ddfddfdc5 parser readme, started ast readme 2021-07-21 01:31:20 -07:00
gluaxspeed
a9593971b9 format string and grammar changes 2021-07-20 14:52:35 -07:00
gluaxspeed
315dcebb34 fmt stable only features, test all the platforms, cc stable 2021-07-14 13:55:01 -07:00
gluaxspeed
650a729763 Add theorem generations to tests 2021-07-12 11:45:51 -07:00
Alessandro Coglio
9202e7acc7
Merge pull request #1122 from detailyang/hotfix/ast-display 
hotfix:ast:conditional statement display method
 2021-07-09 15:22:24 -07:00
detailyang
56aac82801 hotfix:fix formatstring display trait 2021-07-09 11:42:59 +08:00
detailyang
85b47651a5 hotfix:ast:conditional statement display method 2021-07-08 16:15:46 +08:00
Alessandro Coglio
6d56aa9c81
Merge pull request #1090 from AleoHQ/feature/cli-generates-proofs 
Ast Proof Generation In CLI
 2021-07-03 14:40:07 -07:00
Alessandro Coglio
81d0a4c4e3
Merge pull request #1093 from AleoHQ/bugs/array-indexing 
Array Indexing Fixes
 2021-07-02 17:03:58 -07:00
gluax
026708d64d ast generation now in the compiler and has options 2021-06-30 23:47:20 -07:00
dependabot[bot]
4fd6cf5a14
Bump indexmap from 1.6.2 to 1.7.0 
Bumps [indexmap](https://github.com/bluss/indexmap) from 1.6.2 to 1.7.0.
- [Release notes](https://github.com/bluss/indexmap/releases)
- [Commits](https://github.com/bluss/indexmap/compare/1.6.2...1.7.0)

---
updated-dependencies:
- dependency-name: indexmap
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
 2021-06-30 10:21:58 +00:00
gluax
bb63e13edf fix all the bugs for the new array indexes 2021-06-29 20:55:48 -07:00
gluax
5ebea328fb const_value for array_init, and canonicalization fixes 2021-06-26 00:00:09 -07:00
Alessandro Coglio
214c5b21c9
Merge pull request #1054 from AleoHQ/bugs/1040-1041-input-bugs 
input bugs fixes
 2021-06-22 15:07:28 -07:00
gluax
b969774b85 check input integer types at all stages 2021-06-21 19:53:01 -07:00
howardwu
750c48ed3b chore(leo): bump version for new release 2021-06-21 14:28:28 -07:00
Alessandro Coglio
b414cde00d
Merge pull request #1043 from AleoHQ/bug/canonicalization-fixes 
canonicalization fixes
 2021-06-18 09:01:39 -07:00
gluax
a2850bbd02 Self bug fix, and string canonicalization fix 2021-06-17 12:47:19 -07:00
gluax
5cf5437281 char spans from string, proper col_start and stop 2021-06-16 13:35:40 -07:00
gluax
1f35308f47 depend on improved tests branch 2021-06-15 11:44:20 -07:00