ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-20 00:32:35 +03:00
Code Issues Packages Projects Releases Wiki Activity
3,405 Commits 54 Branches 46 Tags 339 MiB
31786a9180
Commit Graph

3405 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
damirka
56ce8558df change action to a different one 2021-08-17 13:03:10 +03:00
damirka
031cc98077 test release fetcher 2021-08-17 10:44:44 +03:00