ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-23 23:23:50 +03:00
Code Issues Packages Projects Releases Wiki Activity
3,106 Commits 53 Branches 44 Tags 331 MiB
98ce2cf05d
Commit Graph

3106 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Alessandro Coglio
98ce2cf05d [RFC] Discuss idea of explicit up/down indication. 2021-07-20 23:58:11 -07:00
Alessandro Coglio
f1ba1c5806 [RFC] Discuss alternative proposal about flipping bounds. 2021-07-20 23:51:53 -07:00
Alessandro Coglio
8adaff8a76 [RFC] Add an observation based on previous discussion. 2021-07-20 23:29:45 -07:00
Alessandro Coglio
9c2b61b346 [RFC] Move a discussion under 'Alternatives'. 2021-07-20 23:22:12 -07:00
Alessandro Coglio
590ef07e0a [RFC] Add a subsection title for mocking under alternatives. 
This is because the next commits will be adding more subsections there.
 2021-07-20 23:18:40 -07:00
Alessandro Coglio
09f7e4b10d
Merge pull request #1172 from AleoHQ/rfc-import-stabilization 
[RFC] Update import stabilization RFC to follow changes
 2021-07-20 11:08:23 -07:00
damirka
66fbc644d0 grammar fixes 2021-07-20 20:55:45 +03:00
Alessandro Coglio
5e00c7485f
Merge pull request #1169 from AleoHQ/bug/invalid-slice-length-rust-error 
[Bugfix] Fixes Rust Error for Invalid Slice
 2021-07-20 09:36:21 -07:00
Alessandro Coglio
d742e61757
Merge pull request #1171 from AleoHQ/rfc-countdown-loops 
[RFC] Add discussion of loop step and direction.
 2021-07-20 09:16:15 -07:00
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
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
damirka
052b0a142b patch abnf to 0.12.0, uncomment leo-abnf crate 2021-07-17 02:37:34 +03: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
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
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
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