ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-27 02:24:15 +03:00
Code Issues Packages Projects Releases Wiki Activity
3,162 Commits 54 Branches 44 Tags 331 MiB
e1b6361a3f
Commit Graph

3162 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Alessandro Coglio
e1b6361a3f
Merge pull request #1193 from AleoHQ/bug/countdown-loops-off-by-one 
fix reverse loop have to add range, which is always 1 for now
 2021-07-27 10:30:18 -07:00
Alessandro Coglio
827e7eb553
Merge pull request #1200 from AleoHQ/fix-file-name 
[ABNF] Fix generated file name.
 2021-07-27 10:22:57 -07:00
gluaxspeed
011d405e00 fix output file types from CRLF to LF 2021-07-27 09:48:00 -07:00
Alessandro Coglio
fe5e4a00cf [ABNF] Fix generated file name. 2021-07-27 09:39:41 -07:00
Alessandro Coglio
e1359dc56d
Merge pull request #1195 from AleoHQ/dependabot/cargo/criterion-0.3.5 
Bump criterion from 0.3.4 to 0.3.5
 2021-07-27 09:34:38 -07:00
gluaxspeed
42f58ff33e added more tests 2021-07-27 09:31:23 -07:00
Alessandro Coglio
13d14f65e8
Merge pull request #1194 from AleoHQ/abnf 
[ABNF] Make the lexical grammar slightly less ambiguous.
 2021-07-27 09:19:51 -07:00
dependabot[bot]
0fb42a4bd2
Bump criterion from 0.3.4 to 0.3.5 
Bumps [criterion](https://github.com/bheisler/criterion.rs) from 0.3.4 to 0.3.5.
- [Release notes](https://github.com/bheisler/criterion.rs/releases)
- [Changelog](https://github.com/bheisler/criterion.rs/blob/master/CHANGELOG.md)
- [Commits](https://github.com/bheisler/criterion.rs/compare/0.3.4...0.3.5)

---
updated-dependencies:
- dependency-name: criterion
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2021-07-27 10:18:43 +00:00
Alessandro Coglio
ac65ffd67e [ABNF] Regenerate the markdown for the ABNF grammar. 2021-07-26 21:16:34 -07:00
Alessandro Coglio
ecadb3c321 [ABNF] Make the lexical grammar slightly less ambiguous. 
Before this commit, 'true' and 'false' were both keywords and boolean literals,
making the grammar slightly more ambiguous than it needs to be. This manifests
in the formal specification of lexing and parsing, which would need an
additional extra-grammatical predicate requiring 'true' and 'false' to be
boolean literals and not keywords. By making 'true' and 'false' just boolean
literals, we obviate that need.

Extend the comment about identifiers and package names not being keywords or
aleo1... to also exclude boolean literals.

This is similar to the grammar of Java, in which 'true', 'false', and 'null' are
not keywords.

This does not necessitate any change to the lexer/parser, which already performs
its own procedural disambiguation of this and other aspects of the grammar.
 2021-07-26 21:12:30 -07:00
gluaxspeed
3f890c9f30 fix reverse loop have to add range, which is always 1 for now 2021-07-26 17:22:05 -07:00
Alessandro Coglio
a73bc73750
Merge pull request #1189 from AleoHQ/dependabot/cargo/snarkvm-curves-0.7.5 
Bump snarkvm-curves from 0.7.4 to 0.7.5
 2021-07-26 12:43:12 -07:00
Alessandro Coglio
746aa13e14
Merge pull request #1188 from AleoHQ/dependabot/cargo/snarkvm-fields-0.7.5 
Bump snarkvm-fields from 0.7.4 to 0.7.5
 2021-07-26 10:54:11 -07:00
dependabot[bot]
81b15d7c62
Bump snarkvm-curves from 0.7.4 to 0.7.5 
Bumps [snarkvm-curves](https://github.com/AleoHQ/snarkVM) from 0.7.4 to 0.7.5.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.7.4...v0.7.5)

---
updated-dependencies:
- dependency-name: snarkvm-curves
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2021-07-26 10:17:09 +00:00
dependabot[bot]
fb8dd03e1c
Bump snarkvm-fields from 0.7.4 to 0.7.5 
Bumps [snarkvm-fields](https://github.com/AleoHQ/snarkVM) from 0.7.4 to 0.7.5.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.7.4...v0.7.5)

---
updated-dependencies:
- dependency-name: snarkvm-fields
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2021-07-26 10:16:55 +00:00
Alessandro Coglio
49a51d6026
Merge pull request #1185 from AleoHQ/bug/ternary-different-types 
[Bugfix] Ternary Type Check
 2021-07-24 13:21:59 -07:00
Alessandro Coglio
6184937728
Merge pull request #1186 from AleoHQ/rfc-statuses 
[RFC] Update some statuses.
 2021-07-24 13:05:17 -07:00
Alessandro Coglio
2605e0a0ee [RFC] Updates some statuses. 2021-07-23 20:32:13 -07:00
Alessandro Coglio
443d02783f
Merge pull request #1166 from AleoHQ/rfc-arrays-no-size 
[RFC] Initial draft for array types with unspecified size.
 2021-07-23 20:27:39 -07:00
Alessandro Coglio
f14182097f
Merge pull request #1184 from AleoHQ/feature/countdown-loops 
[Implementation] Countdown Loops
 2021-07-23 18:03:09 -07:00
gluaxspeed
8ae89149a9 ABNF grammar update 2021-07-23 17:36:27 -07:00
gluaxspeed
1c3362d191 ternary different types errors out 2021-07-23 17:12:30 -07:00
gluaxspeed
1d72107119 inclusive range 2021-07-23 15:14:37 -07:00
gluaxspeed
b69dd4e277 remove debug, realized it was crlf vs lf whoops 2021-07-23 00:34:52 -07:00
gluaxspeed
6d08e8920f debug json 2021-07-23 00:26:10 -07:00
gluaxspeed
4b4247427b debug ci differences 2021-07-23 00:13:35 -07:00
gluaxspeed
68fd0433b6 trying to debug why circleci and codecov fail 2021-07-22 23:04:13 -07:00
gluaxspeed
61253031b4 countdown loops 2021-07-22 22:17:33 -07:00
Alessandro Coglio
558638a195
Merge pull request #1182 from AleoHQ/bug/canonicalize-imports 
[Bugfix] canonicalize imports
 2021-07-22 21:39:03 -07:00
gluaxspeed
83e6edd12a write test for import strings being canonicalized 2021-07-22 12:53:42 -07:00
gluaxspeed
36aff9fbf8 We now canonicalize imported asts before inlining 2021-07-22 12:40:12 -07:00
Alessandro Coglio
63f82c9f68
Merge pull request #1177 from AleoHQ/rfc-countdown-loops 
Incorporate recent discussions in countdown loops RFC
 2021-07-22 10:24: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
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