gluaxspeed
470a4075f8
refactor theorem to ast for out file hashes, migrate old tests
2021-07-16 03:20:36 -07:00
gluaxspeed
6f9682724e
I don't know our code-coverage secrets or how to get it
2021-07-16 02:19:11 -07:00
Alessandro Coglio
9d8fdc7efb
Merge pull request #1163 from AleoHQ/abnf
...
[ABNF] Fix typo in comments.
2021-07-16 00:09:08 -07:00
Alessandro Coglio
bceefa621d
[ABNF] Fix typo in comments.
2021-07-15 21:44:27 -07:00
Alessandro Coglio
235ff3eba7
Merge pull request #1160 from AleoHQ/abnf
...
Add some comments to the ABNF grammar and re-generate the markdown
2021-07-15 18:06:25 -07:00
Alessandro Coglio
6c071eda01
[ABNF] Re-generate markdown file.
2021-07-15 15:50:22 -07:00
damirka
97b5c1b7c4
Merge branch 'master' into leo-manifest-dependencies
2021-07-15 13:00:55 +03:00
damirka
45903d6c23
added proving system and curve
2021-07-15 12:05:34 +03:00
Alessandro Coglio
baace61e21
[ABNF] Add some comments.
...
Add to the rule for package names, as a comment, the same exclusion added to the
rule for identifiers. Also add a few lines to describe it.
Also discuss the disambiguation of identifiers and package names.
2021-07-14 22:09:28 -07:00
gluaxspeed
dc37ef37f2
cache codecov and m1
2021-07-14 18:07:49 -07:00
gluaxspeed
8596e2cd1f
Fix some github-actions yaml syntax
2021-07-14 18:07:11 -07:00
gluaxspeed
b8dcad44cc
tests on github actions its easier cache platforms
2021-07-14 18:05:40 -07:00
gluaxspeed
315dcebb34
fmt stable only features, test all the platforms, cc stable
2021-07-14 13:55:01 -07:00
gluaxspeed
1168354a5c
ci changes remove nightly asides from fmt
2021-07-14 13:26:32 -07:00
Alessandro Coglio
64ad6a67f3
Merge pull request #1136 from AleoHQ/bug/misc-bugs
...
[Bugfix] printing/outputs, windows warnings, constant inputs
2021-07-14 09:22:07 -07:00
gluaxspeed
8695b11ce0
Forgot to refactor in compiler tests
2021-07-14 05:04:09 -07:00
gluaxspeed
add64ae11a
Refactor Proof/Theorem to Snapshots
2021-07-14 03:24:08 -07:00
gluaxspeed
2f000a971a
digest is necessary
2021-07-14 03:09:44 -07:00
gluaxspeed
baca9ca4a5
Hash the ast in the .out file
2021-07-14 02:58:10 -07:00
gluaxspeed
c0decdb54b
add warning for canonicalized ast writing if its disabled
2021-07-14 01:16:20 -07:00
gluaxspeed
bb9e3490a1
"fmt fix"
2021-07-14 00:44:23 -07:00
gluaxspeed
af147449be
"fix type, more test coverage"
2021-07-14 00:39:09 -07:00
gluaxspeed
c5c5bce2f0
Merge branch 'master' of github.com:AleoHQ/leo into bug/misc-bugs
2021-07-13 22:27:24 -07:00
Alessandro Coglio
34d66de8dd
Merge pull request #1134 from AleoHQ/rfc-countdown-loops
...
[RFC] Extend the countdown loops RFC.
2021-07-13 12:57:38 -07:00
Alessandro Coglio
a0dc00bbd3
Merge pull request #1115 from AleoHQ/bug/abnf-parser-bugs
...
[Fix] Abnf and Parser Alignment and Equality Change
2021-07-13 11:24:57 -07:00
Alessandro Coglio
524bd9ce57
Merge pull request #1137 from AleoHQ/dependabot/cargo/anyhow-1.0.42
...
Bump anyhow from 1.0.41 to 1.0.42
2021-07-13 09:34:29 -07:00
damirka
a648552043
remove random r file in .circleci
2021-07-13 13:47:45 +03:00
damirka
a4433cb986
deprecate GH Actions tests
2021-07-13 13:42:15 +03:00
damirka
87af0609b7
install -> fetch
2021-07-13 13:41:38 +03:00
gluaxspeed
650a729763
Add theorem generations to tests
2021-07-12 11:45:51 -07:00
damirka
e5be6e2c57
added dependency management
...
- recursively add deps
- prevent recursion in dep tree
- pretty print recursion error
- fix logging for leo install cmd
- add test for leo install and dep section
2021-07-12 21:45:26 +03:00
dependabot[bot]
aa8a7c2ace
Bump anyhow from 1.0.41 to 1.0.42
...
Bumps [anyhow](https://github.com/dtolnay/anyhow ) from 1.0.41 to 1.0.42.
- [Release notes](https://github.com/dtolnay/anyhow/releases )
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.41...1.0.42 )
---
updated-dependencies:
- dependency-name: anyhow
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2021-07-12 10:18:58 +00:00
gluaxspeed
d50473ec95
remove debug statement, fix clippy on non-windows
2021-07-11 23:58:23 -07:00
gluaxspeed
a4575c8a00
cleaner output, and log writer
2021-07-11 23:42:14 -07:00
Alessandro Coglio
a04a76305d
Merge pull request #1135 from AleoHQ/fix-typo-inital
...
fix typo in name of initial ast file
2021-07-11 23:19:47 -07:00
gluaxspeed
c0628a04c7
Merge branch 'master' of github.com:AleoHQ/leo into bug/misc-bugs
2021-07-11 22:55:29 -07:00
Eric McCarthy
a8840d5264
fix typo in name of initial ast file
...
`inital_ast.json` --> `initial_ast.json`
2021-07-11 21:29:50 -07:00
Alessandro Coglio
1e87368b03
Merge pull request #1101 from AleoHQ/dependabot/cargo/structopt-0.3.22
...
Bump structopt from 0.3.21 to 0.3.22
2021-07-09 16:05:48 -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
Alessandro Coglio
640c22c70c
Merge pull request #1133 from detailyang/hotfix/ast-formatstring-display
...
hotfix:fix formatstring display trait
2021-07-09 14:55:41 -07:00
gluaxspeed
39e21e5d93
add more tests
2021-07-09 12:15:29 -07:00
gluaxspeed
d4d122e59e
Merge branch 'master' of github.com:AleoHQ/leo into bug/abnf-parser-bugs
2021-07-09 11:55:10 -07:00
Alessandro Coglio
a0923b95c9
[RFC] Extend the countdown loops RFC.
...
Discuss a possible extension to designate also the starting bound as inclusive
or exclusive, and discuss (a)symmetries and options.
2021-07-09 09:59:33 -07:00
detailyang
56aac82801
hotfix:fix formatstring display trait
2021-07-09 11:42:59 +08:00
Alessandro Coglio
0d3e53e754
Merge pull request #1067 from AleoHQ/backward-loops-rfc
...
[RFC] Adds countdown loops RFC
2021-07-08 14:20:57 -07:00
Alessandro Coglio
6b2292d20d
Merge pull request #1117 from AleoHQ/rfc-type-casts
...
[RFC] Update the type casts RFC.
2021-07-08 14:10:19 -07:00
Alessandro Coglio
cf290ed097
Merge pull request #1113 from AleoHQ/feature/circuit-constant-value
...
Feature/circuit constant value
2021-07-08 12:58:41 -07:00
gluaxspeed
dd016f46ad
remove CARGO_NET_GIT_FETCH_WITH_CLI: true
2021-07-08 11:29:20 -07:00
gluaxspeed
b767dcd08f
Merge branch 'master' of github.com:AleoHQ/leo into feature/circuit-constant-value
2021-07-08 04:14:32 -07:00
gluaxspeed
01717ee86f
Merge branch 'master' of github.com:AleoHQ/leo into bug/abnf-parser-bugs
2021-07-08 04:07:00 -07:00