Commit Graph

3267 Commits

Author SHA1 Message Date
damirka
d986621e1b update rfc to follow changes 2021-07-20 18:04:42 +03:00
Alessandro Coglio
c47a9e47d1 [RFC] Add discussion of loop step and direction. 2021-07-19 17:28:38 -07:00
gluaxspeed
a2577231fd add test 2021-07-19 11:33:18 -07:00
gluaxspeed
b9ed20a76d use the array range access span for errors if the side is none 2021-07-19 11:17:10 -07:00
gluaxspeed
98d47ab32a Merge branch 'master' of github.com:AleoHQ/leo into feature/theorem-tests 2021-07-18 20:00:48 -07:00
gluaxspeed
b96609f839 merge master 2021-07-18 19:58:34 -07:00
Alessandro Coglio
9facd3e984
Merge pull request #1168 from AleoHQ/feat/snarkvm-upgrades
Updates Leo to snarkVM v0.7.4
2021-07-18 15:09:11 -07:00
Alessandro Coglio
721852fd24
Merge pull request #1165 from AleoHQ/abnf-grammar-fix
[Feature] Patch abnf to 0.12.0, return leo-abnf crate
2021-07-18 09:31:56 -07:00
weikeng
fef7fe6c90 update the test as well as ci 2021-07-17 01:55:11 -07:00
Weikeng Chen
9b5a36c59a
Update circuit_synthesizer.rs 2021-07-17 01:09:21 -07:00
howardwu
97c5dd12f4 Update CI to Rust 1.53 2021-07-17 00:47:31 -07:00
howardwu
546636152b Updates Leo to snarkVM v0.7.4 2021-07-17 00:42:24 -07:00
Alessandro Coglio
229d45d807 Fix RFC number in title.
Also remove some trailing whitespace.
2021-07-16 17:55:13 -07:00
Alessandro Coglio
8f26d4d527 [RFC] Initial draft for array types with unspecified size. 2021-07-16 17:12:43 -07:00
damirka
052b0a142b patch abnf to 0.12.0, uncomment leo-abnf crate 2021-07-17 02:37:34 +03:00
gluaxspeed
104f85d243 Merge branch 'master' of github.com:AleoHQ/leo into feature/remove-nightly-support 2021-07-16 03:47:14 -07:00
gluaxspeed
b456488758 merge master 2021-07-16 03:39:32 -07:00
gluaxspeed
8b44cfa9c7 Merge branch 'master' of github.com:AleoHQ/leo into feature/theorem-tests 2021-07-16 03:28:37 -07:00
gluaxspeed
025f02e5f8 fmt and clippy 2021-07-16 03:28:06 -07:00
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
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
gluaxspeed
650a729763 Add theorem generations to tests 2021-07-12 11:45:51 -07: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