ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-22 09:41:37 +03:00
Code Issues Packages Projects Releases Wiki Activity
3,484 Commits 54 Branches 46 Tags 340 MiB
cfb8720af7
Commit Graph

3484 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
gluaxspeed
cfb8720af7 fix scope shadowing, and importing global consts 2021-09-06 03:53:02 -07:00
gluaxspeed
a1f3108512 Merge branch 'master' of github.com:AleoHQ/leo into bug/shadowing-fixes 2021-09-06 00:07:44 -07:00
Alessandro Coglio
866066a8cf
Merge pull request #1313 from AleoHQ/arrays-without-size 
[Implementation] Arrays without size
 2021-09-03 09:21:07 -07:00
damirka
ab50d81473 changes abnf grammar 2021-09-03 14:36:55 +03:00
damirka
9bef8611e8 custom serializer for Type::Array 2021-09-02 18:27:20 +03:00
damirka
041faa28db adds tests 2021-09-02 15:53:54 +03:00
damirka
97981b43f4 adds arraywithoutsize type 2021-08-31 21:01:41 +03:00
damirka
e03d5c23b8 includes ast and asg changes 2021-08-31 20:18:21 +03:00
damirka
9951627c8c pulling parser changes from prev branch 2021-08-31 19:18:31 +03:00
Alessandro Coglio
a0cf3a0f58
Merge pull request #1310 from AleoHQ/dependabot/cargo/structopt-0.3.23 
Bump structopt from 0.3.22 to 0.3.23
 2021-08-31 08:42:01 -07:00
dependabot[bot]
80a5028afa
Bump structopt from 0.3.22 to 0.3.23 
Bumps [structopt](https://github.com/TeXitoi/structopt) from 0.3.22 to 0.3.23.
- [Release notes](https://github.com/TeXitoi/structopt/releases)
- [Changelog](https://github.com/TeXitoi/structopt/blob/master/CHANGELOG.md)
- [Commits](https://github.com/TeXitoi/structopt/compare/v0.3.22...v0.3.23)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-31 10:18:27 +00:00
Alessandro Coglio
24e5c4d69e
Merge pull request #1306 from AleoHQ/dependabot/cargo/serde-1.0.130 
Bump serde from 1.0.128 to 1.0.130
 2021-08-30 14:38:17 -07:00
dependabot[bot]
87cc6edfc9
Bump serde from 1.0.128 to 1.0.130 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.128 to 1.0.130.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.128...v1.0.130)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-30 20:46:33 +00:00
Alessandro Coglio
64b9c34654
Merge pull request #1300 from AleoHQ/dependabot/cargo/serde_yaml-0.8.20 
Bump serde_yaml from 0.8.19 to 0.8.20
 2021-08-30 13:45:04 -07:00
Alessandro Coglio
8a753eaa64
Merge pull request #1305 from AleoHQ/dependabot/cargo/thiserror-1.0.28 
Bump thiserror from 1.0.26 to 1.0.28
 2021-08-30 10:31:57 -07:00
Alessandro Coglio
ae244bda76
Merge pull request #1307 from AleoHQ/dependabot/cargo/sha2-0.9.6 
Bump sha2 from 0.9.5 to 0.9.6
 2021-08-30 10:15:49 -07:00
Alessandro Coglio
e90c125c52
Merge pull request #1308 from AleoHQ/dependabot/cargo/num-bigint-0.4.1 
Bump num-bigint from 0.4.0 to 0.4.1
 2021-08-30 10:08:42 -07:00
dependabot[bot]
bd23781a94
Bump num-bigint from 0.4.0 to 0.4.1 
Bumps [num-bigint](https://github.com/rust-num/num-bigint) from 0.4.0 to 0.4.1.
- [Release notes](https://github.com/rust-num/num-bigint/releases)
- [Changelog](https://github.com/rust-num/num-bigint/blob/master/RELEASES.md)
- [Commits](https://github.com/rust-num/num-bigint/compare/num-bigint-0.4.0...num-bigint-0.4.1)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-30 10:18:22 +00:00
dependabot[bot]
3b72441230
Bump sha2 from 0.9.5 to 0.9.6 
Bumps [sha2](https://github.com/RustCrypto/hashes) from 0.9.5 to 0.9.6.
- [Release notes](https://github.com/RustCrypto/hashes/releases)
- [Commits](https://github.com/RustCrypto/hashes/compare/sha2-v0.9.5...sha2-v0.9.6)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-30 10:18:14 +00:00
dependabot[bot]
09d60932eb
Bump thiserror from 1.0.26 to 1.0.28 
Bumps [thiserror](https://github.com/dtolnay/thiserror) from 1.0.26 to 1.0.28.
- [Release notes](https://github.com/dtolnay/thiserror/releases)
- [Commits](https://github.com/dtolnay/thiserror/compare/1.0.26...1.0.28)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-30 10:17:53 +00:00
Alessandro Coglio
4ad9de07e8
Merge pull request #1302 from AleoHQ/true-false-fix 
Re-remove `true` and `false` from the keywords
 2021-08-28 10:44:57 -07:00
Alessandro Coglio
cbd52cea71
Merge pull request #1301 from AleoHQ/feature/test-ast-generation-standardized 
[Implementation] Test AST Generation Standardized
 2021-08-28 10:43:20 -07:00
gluaxspeed
8827bcdf05 add a inputfile so possible no constraints error doesn't happen 2021-08-27 22:08:48 -07:00
gluaxspeed
78e3b333e1 forgot to re-populate tests 2021-08-27 21:51:59 -07:00
gluaxspeed
48d3a445a0 type inference tgc hack 2021-08-27 21:49:17 -07:00
gluaxspeed
3b26e61050 refactor global consts should no longer allow shadowing 2021-08-27 11:42:20 -07:00
Alessandro Coglio
a42b7f35c2 [RFC] Update an ABNF rule fragment. 
This was referring to a previous version of the rule, and presumably it is the
reason why 'true' and 'false' were accidentally re-added to the keyword rule.
 2021-08-27 11:28:24 -07:00
Alessandro Coglio
f984a47b87 [ABNF] Re-generate markdown. 2021-08-27 11:19:50 -07:00
Alessandro Coglio
cdde46e2f3 [ABNF] Remove keywords 'true' and 'false' again. 
These were removed in a previous commit, because they are already classified as
(boolean) literals, but they were accidentally re-introduced, presumably due to
the type alias RFC referencing the previous version of the keyword grammar rule.
 2021-08-27 10:31:02 -07:00
gluaxspeed
1efd891a3f regen tests 2021-08-27 09:54:22 -07:00
gluaxspeed
5c6f2a43ca merge master, add clean for imports ast 2021-08-27 09:40:25 -07:00
Alessandro Coglio
fed3b1e16a
Merge pull request #1294 from AleoHQ/feature/type-aliases 
[Implementation] Type Aliases
 2021-08-27 09:29:11 -07:00
gluaxspeed
8509185e51 re-enable clippy and fmt checks, remove old errors 2021-08-27 08:54:53 -07:00
gluaxspeed
6a44e51da9 revert runner change, just make tgc remove the header lines as well 2021-08-27 07:57:25 -07:00
gluaxspeed
538dfe2709 re-enable compiler test cleanup 2021-08-27 07:30:37 -07:00
gluaxspeed
cedf2004ba reduce code bloat 2021-08-27 07:29:40 -07:00
gluaxspeed
649088905d standardize ast generation in ast and test runner 2021-08-27 07:28:02 -07:00
gluaxspeed
a4652829df update conflicting tests 2021-08-27 04:50:42 -07:00
dependabot[bot]
8711bb9c44
Bump serde_yaml from 0.8.19 to 0.8.20 
Bumps [serde_yaml](https://github.com/dtolnay/serde-yaml) from 0.8.19 to 0.8.20.
- [Release notes](https://github.com/dtolnay/serde-yaml/releases)
- [Commits](https://github.com/dtolnay/serde-yaml/compare/0.8.19...0.8.20)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-27 10:19:43 +00:00
Alessandro Coglio
438af6bf80
Merge pull request #1285 from AleoHQ/dup-param-var-name-patch-1 
Update circuit.leo
 2021-08-26 21:27:39 -07:00
Eric McCarthy
9d05b02ef3 update expectations based on results after merging master 2021-08-26 20:33:00 -07:00
Eric McCarthy
d7a948a5bd merge 2021-08-26 20:09:27 -07:00
Alessandro Coglio
062994e4fe
Merge pull request #1284 from AleoHQ/dup-in32-patch-1 
Update nonprinting.leo
 2021-08-26 19:55:54 -07:00
Alessandro Coglio
e5971b7f81
Merge pull request #1290 from AleoHQ/rfc-type-aliases 
Extend RFC for type aliases
 2021-08-26 11:22:17 -07:00
Eric McCarthy
06f44ac0e6 merge 2021-08-26 09:56:08 -07:00
gluaxspeed
abd2919891 include grammar changes from pr 1290, regenerate md 2021-08-25 08:05:48 -07:00
gluaxspeed
d100db7396 aliases tests, and some bug fixes, errors 2021-08-25 07:30:17 -07:00
gluaxspeed
2ecb10730e turn off leo-debug for test generation 2021-08-24 23:59:33 -07:00
gluaxspeed
1628e19658 alias resolution done during type inference 2021-08-24 22:58:59 -07:00
damirka
9579a430d7 attach theorem.lisp file 2021-08-24 22:34:00 +03:00