Commit Graph

3449 Commits

Author SHA1 Message Date
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
7d2ba89cae Merge branch 'master' into leo-manifest-dependencies 2021-08-02 18:51:01 +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
e8ad50446a errors are causing a dep cycle those need to be refactored first 2021-07-29 04:58:29 -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
damirka
fbb3364711 fix featureset 2021-07-28 17:38:24 +03:00
damirka
ede19e09c7 Merge branch 'master' into leo-manifest-dependencies 2021-07-28 16:37:30 +03: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