ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-26 03:33:44 +03:00
Code Issues Packages Projects Releases Wiki Activity
3,451 Commits 54 Branches 46 Tags 340 MiB
a42b7f35c2
Commit Graph

3451 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Alessandro Coglio
a2919e9dd7 [ABNF] Re-generate the markdown. 2021-08-02 18:01:22 -07:00
Alessandro Coglio
33831779c7 [ABNF] Rename digit => decimal-digit. 
Since, with the introduction of (ASCII and Unicode escapes for) characters, we
now have digits in base 10, 8, and 16, it seems worth being more explicit in the
naming of decimal digits in the grammar.

Just a nonterminal name change, not a structural change to the grammar.
 2021-08-02 17:59:13 -07:00
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