ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-09-20 10:18:35 +03:00
Code Issues Packages Projects Releases Wiki Activity
3,208 Commits 45 Branches 43 Tags 363 MiB
2d7963771f
Commit Graph

3208 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
gluaxspeed
2d7963771f clippy, use leo result everywhere 2021-08-04 04:12:03 -07:00
gluaxspeed
6302bda18e cli errors, leo result type 2021-08-04 03:36:33 -07:00
gluaxspeed
162949185f code cleanup 2021-08-04 00:42:48 -07:00
gluaxspeed
88e0e32317 formatting fixes, regen outs, still have a few things to do 2021-08-03 04:49:07 -07:00
gluaxspeed
76b8b3f0a6 merge master, clippy fixes 2021-08-03 04:00:15 -07:00
gluaxspeed
c8be870471 Compiles, still need to handle state and input eventually 2021-08-03 02:43:21 -07:00
Alessandro Coglio
bfc995be34
Merge pull request #1225 from AleoHQ/fix-1217-self-not-canonicalized 
[Fix] Adds Self canonicalization for static calls
 2021-08-02 16:35:55 -07:00
damirka
82f8e8a5ca clippy fixes 2021-08-03 01:46:18 +03:00
damirka
34f1c00da2 clippy & test fixes 2021-08-02 23:45:33 +03:00
damirka
a9a684ef2b adds self canonicalization for static calls 2021-08-02 18:25:12 +03:00
gluaxspeed
0eda3fcbb4 forgot to convert state errors 2021-07-31 00:03:32 -07:00
gluaxspeed
753039c4b4 code re-organization, dsl for errors 2021-07-31 00:01:23 -07:00
gluaxspeed
0012f9b37b Error refactoring thus far 2021-07-30 19:01:12 -07:00
Alessandro Coglio
15599c71ce
Merge pull request #1212 from AleoHQ/abnf 
[ABNF] Add a rule for lexemes (i.e. lexical units).
 2021-07-30 17:26:18 -07:00
Alessandro Coglio
f1ba77f9ed
Merge pull request #1207 from AleoHQ/fix/address-issue 
Fix the AssignmentMissing error involving non-constant addresses
 2021-07-30 13:46:50 -07:00
howardwu
c37d7bcd39 chore(leo): bump version for new release 2021-07-29 18:59:08 -07:00
gluaxspeed
39203492f8 add tests for fixes 2021-07-28 16:56:05 -07:00
Alessandro Coglio
70c6af11c5 [ABNF] Re-generated the markdown file. 2021-07-28 16:33:44 -07:00
Alessandro Coglio
6f03b9df26 [ABNF] Add a notion of lexeme. 
This is just for nomenclature. It does not change the language or anything.
 2021-07-28 16:33:14 -07:00
Alessandro Coglio
d2fe35c0b9
Merge pull request #1208 from AleoHQ/feature/console-refactor-and-outs 
[Bugfix]Fix recently merged tests failing
 2021-07-28 12:32:33 -07:00
gluaxspeed
72e2bb1fb6 Some test fixes 2021-07-28 11:53:45 -07:00
Alessandro Coglio
806e16f5bb
Merge pull request #1201 from AleoHQ/feature/console-refactor-and-outs 
[Feature Implmentation] Stderr and debug remove
 2021-07-28 11:44:36 -07:00
gluaxspeed
7d48c2fb75 merge master 2021-07-28 11:18:35 -07:00
weikeng
a3f5f5b71d fix the missing assignment issue 2021-07-28 11:10:02 -07:00
Alessandro Coglio
16947a2808
Merge pull request #1202 from AleoHQ/rfc-built-in-decls 
[RFC] Initial draft of RFC for built-in declarations.
 2021-07-28 11:07:41 -07:00
Alessandro Coglio
c655b636d3
Merge pull request #1187 from AleoHQ/rfc-type-aliases 
[RFC] Initial RFC for type aliases.
 2021-07-28 11:03:35 -07:00
Alessandro Coglio
07f7f65685
Merge pull request #1191 from AleoHQ/rfc-arrays-without-size 
[RFC] Expand discussion on length operator.
 2021-07-28 10:00:57 -07:00
Alessandro Coglio
5d4f943183
Merge pull request #1203 from AleoHQ/bug/variable-shadowing 
[Bugfix] Variable Shadowing
 2021-07-27 17:11:27 -07:00
gluaxspeed
745f6c2275 variable shadow error 2021-07-27 13:39:34 -07:00
Alessandro Coglio
542638baf9 [RFC] Initial draft of RFC for built-in declarations. 
This has been written to be more broad than type aliases, which were the initial
inspiration for this.
 2021-07-27 13:38:22 -07:00
gluaxspeed
9a53905a55 Merge branch 'master' of github.com:AleoHQ/leo into feature/console-refactor-and-outs 2021-07-27 12:33:37 -07:00
gluaxspeed
5cf185369d clippy fix/cleanup 2021-07-27 12:11:31 -07:00
Alessandro Coglio
070735fe9a
Merge pull request #1198 from AleoHQ/dependabot/cargo/snarkvm-dpc-0.7.5 
Bump snarkvm-dpc from 0.7.4 to 0.7.5
 2021-07-27 11:51:09 -07:00
Alessandro Coglio
21051eba2e
Merge pull request #1197 from AleoHQ/dependabot/cargo/snarkvm-gadgets-0.7.5 
Bump snarkvm-gadgets from 0.7.4 to 0.7.5
 2021-07-27 11:12:16 -07:00
Alessandro Coglio
5a369c5726
Merge pull request #1196 from AleoHQ/dependabot/cargo/snarkvm-r1cs-0.7.5 
Bump snarkvm-r1cs from 0.7.4 to 0.7.5
 2021-07-27 10:44:11 -07:00
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]
9934482ef9
Bump snarkvm-dpc from 0.7.4 to 0.7.5 
Bumps [snarkvm-dpc](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-dpc
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2021-07-27 10:19:19 +00:00
dependabot[bot]
0e0488bddc
Bump snarkvm-gadgets from 0.7.4 to 0.7.5 
Bumps [snarkvm-gadgets](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-gadgets
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2021-07-27 10:19:05 +00:00
dependabot[bot]
f99916d187
Bump snarkvm-r1cs from 0.7.4 to 0.7.5 
Bumps [snarkvm-r1cs](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-r1cs
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2021-07-27 10:18:52 +00: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
gluaxspeed
20d64970ab merge master, color only at cli as it breaks tests, remove debug 2021-07-26 16:49:33 -07:00