AleoHQ/leo
1
1
Fork 0
mirror of https://github.com/AleoHQ/leo.git synced 2024-12-21 08:31:33 +03:00
Code Issues Packages Projects Releases Wiki Activity
3,714 Commits 54 Branches 46 Tags 341 MiB
a428765829
Commit Graph

3714 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
damirka
f245937ef9 fix incorrect argument parsing in leo build 2021-07-22 16:10:36 +03:00
damirka
6a2ebfc22e Merge branch 'master' into leo-manifest-dependencies 2021-07-22 15:13:44 +03:00
gluaxspeed
a7dcb95847 warnings go to stderr as well, Make error message red 2021-07-22 02:42:41 -07:00
gluaxspeed
4c9ea477e5 console.error goes to stderr 2021-07-22 01:55:33 -07:00
Alessandro Coglio
17faf7029d
Merge pull request #1178 from AleoHQ/bug/abnf-format-strings 
[Bugfix] Remove Format Strings and Fix ABNF Console Statements
 2021-07-21 20:49:46 -07:00
gluaxspeed
3a6e4cb994 be more specific of where this grammar applies, clean up 2021-07-21 20:00:44 -07:00
gluaxspeed
2544a680f1 forgot to regen tests after merging 2021-07-21 14:57:40 -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
dd67004af7 remove old abnf comments, format abnf 2021-07-21 14:42:25 -07:00
gluaxspeed
b7a2626bc4 merge master 2021-07-21 12:05:17 -07:00
Alessandro Coglio
e0b586a9a1
Merge pull request #1164 from AleoHQ/feature/theorem-tests 
[Feature-Impl] Ast generation tests
 2021-07-21 11:04:19 -07:00
gluaxspeed
c1879e6e1c Merge branch 'master' of github.com:AleoHQ/leo into bug/abnf-format-strings 2021-07-21 02:51:35 -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
Alessandro Coglio
8ae399a412 [RFC[ Add bubble sort as an additional example. 
This was the inspiring example.
 2021-07-21 00:09:17 -07:00
Alessandro Coglio
93bd1dcc4f [RFC] Add idea of <bound> <sign> <var> <sign> <bound>. 2021-07-21 00:02:04 -07:00
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
gluaxspeed
a9593971b9 format string and grammar changes 2021-07-20 14:52:35 -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
damirka
7f6df6c41d fix clippy again 2021-07-20 00:39:03 +03:00
damirka
f80717afef more clippy 2021-07-19 22:13:34 +03: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
damirka
50eae0d278 fix ci 2021-07-19 19:53:20 +03:00
damirka
0b338d7d78 update leo-package README 2021-07-19 19:01:22 +03:00
damirka
9cc2a8e2d1 clippy fix 2021-07-19 18:37:52 +03: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
damirka
2c58bf30a0 Merge branch 'master' into leo-manifest-dependencies 2021-07-19 01:15:32 +03: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
damirka
aae666c483 self-review fixes 2021-07-18 23:51:38 +03:00
damirka
712c1ecd96 return github workflow 2021-07-18 23:43:56 +03:00
damirka
c36be2c745 finalizes import stabilization 
- temporarily disables leo add and leo rm
- lock file is parsed by leo build and used
- error messages improved for some cases
- fetch test is added and improved
 2021-07-18 23:40:26 +03:00
damirka
6be4860513 Merge branch 'master' into leo-manifest-dependencies 2021-07-18 23:38:41 +03: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