ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-25 11:12:48 +03:00
Code Issues Packages Projects Releases Wiki Activity
3,725 Commits 54 Branches 46 Tags 340 MiB
f513c30e14
Commit Graph

3725 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
aacbb991c0 regen test 2021-08-27 22:16:08 -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
a059e09ae2 merge master 2021-08-27 09:46:24 -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
gluaxspeed
c56a54c62e Merge branch 'master' of github.com:AleoHQ/leo into bug/canonicalization-Self-fixes 2021-08-27 04:40:06 -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
50233f5fe8 whoops forgot to remove the dbg statement 2021-08-25 11:00:24 -07:00
gluaxspeed
a5b6780c3b big self canonicalization fixes 2021-08-25 08:55:26 -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
damirka
034ef90e62 Revert "Squashed commit of the following:" 
This reverts commit dfa15b1a4f.
 2021-08-24 22:27:37 +03:00
damirka
dfa15b1a4f Squashed commit of the following: 
commit 7a5979660b
Merge: 695a949c 88bd065d
Author: Alessandro Coglio <acoglio@aleo.org>
Date:   Mon Aug 23 08:50:41 2021 -0700

    Merge pull request #1272 from AleoHQ/feature/call-expressions-ast-store-type

    [Implmentation] Adds Type to Circuit Member Access Expressions

commit 695a949cff
Author: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Date:   Mon Aug 23 17:25:19 2021 +0300

    Bump serde from 1.0.127 to 1.0.128 (#1288)

    Bumps [serde](https://github.com/serde-rs/serde) from 1.0.127 to 1.0.128.
    - [Release notes](https://github.com/serde-rs/serde/releases)
    - [Commits](https://github.com/serde-rs/serde/compare/v1.0.127...v1.0.128)

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

    Signed-off-by: dependabot[bot] <support@github.com>

    Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

commit fd3d7d0624
Author: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Date:   Mon Aug 23 17:25:05 2021 +0300

    Bump serde_yaml from 0.8.18 to 0.8.19 (#1289)

    Bumps [serde_yaml](https://github.com/dtolnay/serde-yaml) from 0.8.18 to 0.8.19.
    - [Release notes](https://github.com/dtolnay/serde-yaml/releases)
    - [Commits](https://github.com/dtolnay/serde-yaml/compare/0.8.18...0.8.19)

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

    Signed-off-by: dependabot[bot] <support@github.com>

    Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

commit 84e972c9ad
Merge: d609bb28 fbc3dfb4
Author: Alessandro Coglio <acoglio@aleo.org>
Date:   Sat Aug 21 18:44:39 2021 -0700

    Merge pull request #1267 from AleoHQ/bug/implicit-ternary-type-inference

    [Bugfix] Ternary Implicit and Explicit Unkown Type

commit 88bd065d8a
Merge: 56c66fa4 235daa9e
Author: gluaxspeed <jonathan.t.pavlik@gmail.com>
Date:   Wed Aug 18 16:25:23 2021 -0700

    merge master, regen tests

commit fbc3dfb4c9
Merge: 56996f98 235daa9e
Author: gluaxspeed <jonathan.t.pavlik@gmail.com>
Date:   Wed Aug 18 16:14:14 2021 -0700

    merge master, regen tests

commit 56c66fa4ba
Author: gluaxspeed <jonathan.t.pavlik@gmail.com>
Date:   Wed Aug 18 14:31:06 2021 -0700

    testing and clean up

commit a91c8b9e6a
Author: gluaxspeed <jonathan.t.pavlik@gmail.com>
Date:   Wed Aug 18 13:38:50 2021 -0700

    Revert "type on call expression"

    This reverts commit cf5a23b38f.

commit cf5a23b38f
Author: gluaxspeed <jonathan.t.pavlik@gmail.com>
Date:   Wed Aug 18 02:04:41 2021 -0700

    type on call expression

commit 56996f989e
Author: gluaxspeed <jonathan.t.pavlik@gmail.com>
Date:   Wed Aug 18 01:09:45 2021 -0700

    fix ternary bug
 2021-08-24 22:21:40 +03:00
damirka
e0c2f6470f Revert "try acl2 version v0.1.1" 
This reverts commit 31786a9180.
 2021-08-24 22:09:32 +03:00
damirka
31786a9180 try acl2 version v0.1.1 2021-08-24 21:57:50 +03:00
gluaxspeed
1576f776f3 resolve master conflicts 2021-08-24 03:00:08 -07:00
gluaxspeed
4d89d122d5 turn back to identifiers, looked into inlining imports in asg 2021-08-24 02:39:09 -07:00
Alessandro Coglio
378599afba [RFC] Add more proposed mods to ABNF grammar. 2021-08-23 14:39:59 -07:00
Alessandro Coglio
b2cce0e140 [RFC] Avoid repeated word. 2021-08-23 14:25:15 -07:00
Eric McCarthy
d8c89f257d also update number of private variables and R1CS checksum expectations 2021-08-23 10:41:39 -07:00