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

3407 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Eric McCarthy
d8c89f257d also update number of private variables and R1CS checksum expectations 2021-08-23 10:41:39 -07:00
Eric McCarthy
b516a8449d update ast checksum expectations 2021-08-23 10:32:21 -07:00
Eric McCarthy
76cb8f6ed7
Update nonprinting.leo 
Change duplicate 'in32' to 'in33'
 2021-08-21 17:53:34 -07:00
Alessandro Coglio
d609bb28d1
Merge pull request #1260 from AleoHQ/feature-tgc-ci 
[CI] ACL2 tgc CI
 2021-08-21 11:23:53 -07:00
damirka
63ac4b79a3 update implementation, follow recent changes in imports 2021-08-21 21:04:58 +03:00
damirka
c4fcccd33e Merge branch 'master' into feature-tgc-ci 2021-08-21 21:00:51 +03:00
damirka
05d04e2a43 disable type inference checks 2021-08-21 20:56:08 +03:00
Alessandro Coglio
92351d0fb3
Merge pull request #1119 from AleoHQ/leo-manifest-dependencies 
[Feature] Imports Stabilization
 2021-08-20 09:30:36 -07:00
damirka
9389e4f6ec improved directory naming and skip pattern now allows multiple 2021-08-19 20:50:48 +03:00
damirka
5453225b5d fix bash variables 2021-08-19 20:28:43 +03:00
damirka
529c06623b fix logging, print list of failures first 2021-08-19 20:21:59 +03:00
damirka
cddc0d62b1 skip access_all test 2021-08-19 20:10:15 +03:00
Alessandro Coglio
b3bcf1c6cf
Merge pull request #1270 from AleoHQ/feature-clean-ast-snapshots 
[Feature] Removes AST snapshots on leo clean
 2021-08-19 09:07:30 -07:00
damirka
a04249976e Merge branch 'master' into leo-manifest-dependencies 2021-08-19 18:04:05 +03:00
damirka
79fb41eac4 fmt 2021-08-19 17:03:12 +03:00
damirka
df0d129947 Merge branch 'master' into feature-clean-ast-snapshots 2021-08-19 13:37:20 +03:00
damirka
060513bffa cleanup and remove panic 2021-08-19 13:28:22 +03:00
damirka
35f56cd648 more intelligent system for printing out failures 2021-08-19 11:14:13 +03:00
damirka
a8cf416a77 Merge branch 'master' into feature-tgc-ci 2021-08-19 10:58:22 +03:00
damirka
2c7a2b804d adds type inference stage 2021-08-19 10:46:28 +03:00
Alessandro Coglio
235daa9ee4
Merge pull request #1242 from AleoHQ/feature/better-errors 
[WIP Implementation] Better Errors
 2021-08-18 16:08:24 -07:00
gluaxspeed
0feccf6353 m1 test was infinitely looping 2021-08-18 15:37:42 -07:00
gluaxspeed
4e32efb9e3 Merge branch 'master' of github.com:AleoHQ/leo into feature/better-errors 2021-08-18 14:42:19 -07:00
gluaxspeed
484ebd3467 clean up todos 2021-08-18 14:40:51 -07:00
Alessandro Coglio
0732ea15b6
Merge pull request #1248 from AleoHQ/rfc/primitive-types-as-circuits 
[RFC] Add an RFC for Scalar Methods
 2021-08-18 10:53:08 -07:00
Alessandro Coglio
9c3c57c9cd
Merge pull request #1252 from AleoHQ/rfc-native-functions 
[RFC] Initial proposal for better native functions.
 2021-08-18 10:18:09 -07:00
Alessandro Coglio
2dc02bc559
Merge pull request #1262 from AleoHQ/abnf-fix 
ABNF grammar fix
 2021-08-18 10:15:55 -07:00
Alessandro Coglio
fdde4e0158
Merge pull request #1268 from AleoHQ/dependabot/cargo/serde_yaml-0.8.18 
Bump serde_yaml from 0.8.17 to 0.8.18
 2021-08-18 09:04:22 -07:00
damirka
9caca65409 alphabetical in package/outputs/mod 2021-08-18 18:07:05 +03:00
damirka
52b2a4a3cb final cleanup 2021-08-18 17:51:50 +03:00
damirka
bc6ad13930 adds exit code and error printing 2021-08-18 14:53:18 +03:00
damirka
6f8443fdaf removes ast snapshots on leo clean 2021-08-18 14:41:27 +03:00
damirka
135ad2d167 Merge branch 'fix-recursive-imports' into leo-manifest-dependencies 2021-08-18 14:13:21 +03:00
dependabot[bot]
f258c5bde5
Bump serde_yaml from 0.8.17 to 0.8.18 
Bumps [serde_yaml](https://github.com/dtolnay/serde-yaml) from 0.8.17 to 0.8.18.
- [Release notes](https://github.com/dtolnay/serde-yaml/releases)
- [Commits](https://github.com/dtolnay/serde-yaml/compare/0.8.17...0.8.18)

---
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-18 10:17:46 +00:00
Alessandro Coglio
8ac669f71d
Merge pull request #1266 from AleoHQ/fix-recursive-imports 
[Fix] Recursive imports
 2021-08-17 10:26:46 -07:00
Alessandro Coglio
a15aba3c2d
Merge pull request #1231 from AleoHQ/rfc-bit-byte-conv 
[RFC] Add an RFC for bit and byte conversions.
 2021-08-17 10:07:17 -07:00
Alessandro Coglio
eb74e85e60
Merge pull request #1264 from AleoHQ/dependabot/cargo/snarkvm-dpc-0.7.9 
Bump snarkvm-dpc from 0.7.8 to 0.7.9
 2021-08-17 09:33:28 -07:00
yangvenli
b6d9db20be fixes recursive imports issue 2021-08-17 15:47:16 +03:00
damirka
a511638021 try to run it all together 2021-08-17 13:27:23 +03:00
dependabot[bot]
d2a4a14cf4
Bump snarkvm-dpc from 0.7.8 to 0.7.9 
Bumps [snarkvm-dpc](https://github.com/AleoHQ/snarkVM) from 0.7.8 to 0.7.9.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.7.8...v0.7.9)

---
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-08-17 10:18:37 +00:00
damirka
2ec1065c18 fix pipes, make oneliner 2021-08-17 13:16:05 +03:00
damirka
5a1bf7e26e adds mkdir tmp 2021-08-17 13:15:00 +03:00
damirka
a1cc026c58 use curl to fetch 2021-08-17 13:14:00 +03:00
damirka
7e8da8cc80 add echo outputs 2021-08-17 13:10:02 +03:00
damirka
775109f40c yet another change of version 2021-08-17 13:07:23 +03:00
damirka
b1cf6024d7 add v2 to action 2021-08-17 13:06:07 +03:00
damirka
e05cca47ff remove version from fetch-latest-release 2021-08-17 13:04:38 +03:00