Alessandro Coglio
14f0163d2c
[ABNF] Move a rule and update some comments.
...
Move the rule for 'digit' just before the ones for 'octal-digit' and
'hexadecimal-digit'.
Update the comments accordingly.
No real change to the grammar here.
2021-08-02 17:56:47 -07:00
damirka
da9f65ba4a
bump all snarkvm dependencies to 0.7.6
2021-08-03 02:39:44 +03:00
damirka
fd7fcebe73
Merge remote-tracking branch 'origin/master' into bump-snarkvm-0.7.6
2021-08-03 02:36:28 +03: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
14a5fbb33e
bump snarkvm-dpc to 0.7.6
2021-08-03 02:16:51 +03:00
damirka
36423caaaf
bump snarkvm to 0.7.6
2021-08-03 02:05:38 +03: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
dependabot[bot]
80126aa5e2
Bump assert_cmd from 1.0.7 to 1.0.8
...
Bumps [assert_cmd](https://github.com/assert-rs/assert_cmd ) from 1.0.7 to 1.0.8.
- [Release notes](https://github.com/assert-rs/assert_cmd/releases )
- [Changelog](https://github.com/assert-rs/assert_cmd/blob/master/CHANGELOG.md )
- [Commits](https://github.com/assert-rs/assert_cmd/compare/v1.0.7...v1.0.8 )
---
updated-dependencies:
- dependency-name: assert_cmd
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2021-08-02 10:17:46 +00: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