ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-19 16:21:45 +03:00
Code Issues Packages Projects Releases Wiki Activity
3,353 Commits 54 Branches 46 Tags 339 MiB
529c06623b
Commit Graph

3353 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
gluaxspeed
54eb95c62d Change RFC based on discussion 2021-08-13 18:21:39 -07:00
gluaxspeed
0702be2a18 regen error tests 2021-08-13 16:12:54 -07:00
gluaxspeed
a3ef6a0342 more error message cleanup, and remove debug statement 2021-08-13 15:57:17 -07:00
gluaxspeed
04e8ccc9e6 error code fixes 2021-08-13 15:06:04 -07:00
Alessandro Coglio
f1384787ee [RFC] Initial proposal for native functions. 2021-08-13 12:00:19 -07:00
gluaxspeed
f65fff602f clippy fix, tyring to debug cli upadte on osx 2021-08-13 11:35:48 -07:00
gluaxspeed
8ca3ab465e circleci updated rust version 2021-08-13 10:48:38 -07:00
gluaxspeed
eaa4151f16 now its just mac release list failing 2021-08-12 09:51:00 -07:00
gluaxspeed
e9ffacda41 difference is CRLF vs LF somehow 2021-08-12 09:11:54 -07:00
gluaxspeed
e69e81110e debug windows ci this time 2021-08-12 04:44:45 -07:00
gluaxspeed
d0d1203381 use test all features again just pass --all 2021-08-12 04:11:16 -07:00
gluaxspeed
a09f6f0c83 serilization for span that's test dependent 2021-08-12 03:27:18 -07:00
gluaxspeed
ab5fcecae2 more debugging 2021-08-12 02:42:42 -07:00
gluaxspeed
bd0032e98b realized not all tests were being run with cargo test-all-features 2021-08-12 02:25:43 -07:00
gluaxspeed
f0de65835c regen tests, debug out a import test 2021-08-12 02:15:12 -07:00
gluaxspeed
fe3de3900e add rfc for primtive types as circuits 2021-08-12 01:30:24 -07:00
gluaxspeed
faa9054e88 add Error: word to start of formatted 2021-08-12 00:34:21 -07:00
gluaxspeed
ad5591d6fe disable including readmes in crates documetnation while circleci doesn't support 1.54 2021-08-11 00:18:27 -07:00
gluaxspeed
93d2871332 wasn't a caching issue, I'm not sure 2021-08-11 00:09:22 -07:00
gluaxspeed
a17b0ee888 typo fix 2021-08-10 23:57:19 -07:00
gluaxspeed
5ab562386a my only guess is caching is messing up code coverage 2021-08-10 23:54:24 -07:00
gluaxspeed
7d7671f126 fix clippy warning on not windows 2021-08-10 23:44:18 -07:00
gluaxspeed
62b26ad705 fix clippy warning on not windows 2021-08-10 23:37:00 -07:00
gluaxspeed
478bb83f70 regen tests after removing dead errors, docs 2021-08-10 22:56:46 -07:00
gluaxspeed
51e8ea49de no circle ci image for rustc 1.54.0 yet 2021-08-10 20:05:15 -07:00
gluaxspeed
622ff5a9c3 finish docs, setup ci to publish docs pages, test docs generation 2021-08-10 19:59:27 -07:00
gluaxspeed
2f045e13cc create docs job, update ciricle ci rust version 2021-08-10 14:35:30 -07:00
gluaxspeed
402ad7aabb finish in code documentation, deny no doc comments 2021-08-10 14:10:27 -07:00
damirka
4f13716e5b removed dbg 2021-08-09 21:57:15 -07:00
damirka
97645eb443 remove comments, update circleci to rust 1.54 2021-08-09 21:57:15 -07:00
damirka
1792ef4993 attmpt to fix 1217 (rebased) 2021-08-09 21:56:45 -07:00
damirka
cb5a5eb0f4 Adds structopt 2021-08-09 21:55:03 -07:00
damirka
98ee5af387 collect failures 2021-08-09 21:55:03 -07:00
damirka
d329829908 remove gitignore 2021-08-09 21:55:03 -07:00
damirka
3278474899 adds bin target 2021-08-09 21:55:03 -07:00
damirka
64e3432985 change to stable toolchain 2021-08-09 21:55:03 -07:00
damirka
595ae607f9 draft CI for acl2 -- without binaries 2021-08-09 21:51:54 -07:00
gluaxspeed
d9769b4c37 remove canonicalization from asg, merge master 2021-08-09 14:10:36 -07:00
gluaxspeed
c9345bbcc7 cleaning up duplicate errors by removing canonicalization from asg 2021-08-09 12:18:51 -07:00
Alessandro Coglio
2f9e315c78
Merge pull request #1245 from AleoHQ/dependabot/cargo/snarkvm-dpc-0.7.8 
Bump snarkvm-dpc from 0.7.7 to 0.7.8
 2021-08-06 16:10:38 -10:00
Alessandro Coglio
b35766d572
Merge pull request #1244 from AleoHQ/dependabot/cargo/snarkvm-gadgets-0.7.8 
Bump snarkvm-gadgets from 0.7.7 to 0.7.8
 2021-08-06 15:45:22 -10:00
Alessandro Coglio
f50851af79
Merge pull request #1246 from AleoHQ/dependabot/cargo/assert_cmd-2.0.0 
Bump assert_cmd from 1.0.8 to 2.0.0
 2021-08-06 15:40:05 -10:00
Alessandro Coglio
56c1bd4ebb
Merge pull request #1243 from AleoHQ/dependabot/cargo/snarkvm-r1cs-0.7.8 
Bump snarkvm-r1cs from 0.7.7 to 0.7.8
 2021-08-06 15:31:19 -10:00
dependabot[bot]
0dc4f68507
Bump assert_cmd from 1.0.8 to 2.0.0 
Bumps [assert_cmd](https://github.com/assert-rs/assert_cmd) from 1.0.8 to 2.0.0.
- [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.8...v2.0.0)

---
updated-dependencies:
- dependency-name: assert_cmd
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-06 10:21:24 +00:00
dependabot[bot]
8e18a9f3f8
Bump snarkvm-dpc from 0.7.7 to 0.7.8 
Bumps [snarkvm-dpc](https://github.com/AleoHQ/snarkVM) from 0.7.7 to 0.7.8.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.7.7...v0.7.8)

---
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-06 10:21:02 +00:00
dependabot[bot]
d230b4b64c
Bump snarkvm-gadgets from 0.7.7 to 0.7.8 
Bumps [snarkvm-gadgets](https://github.com/AleoHQ/snarkVM) from 0.7.7 to 0.7.8.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.7.7...v0.7.8)

---
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-08-06 10:20:46 +00:00
dependabot[bot]
2d7f2dfef3
Bump snarkvm-r1cs from 0.7.7 to 0.7.8 
Bumps [snarkvm-r1cs](https://github.com/AleoHQ/snarkVM) from 0.7.7 to 0.7.8.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.7.7...v0.7.8)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-06 10:20:30 +00:00
Alessandro Coglio
1667447d1a
Merge pull request #1240 from AleoHQ/fix-dashes-in-imports 
[Feature] Allow dashes in member access
 2021-08-05 20:36:22 -10:00
Alessandro Coglio
0bdf67eb92
Merge pull request #1236 from AleoHQ/dependabot/cargo/snarkvm-curves-0.7.8 
Bump snarkvm-curves from 0.7.7 to 0.7.8
 2021-08-05 20:34:40 -10:00
gluax
8d5bef02f0
Merge pull request #1241 from AleoHQ/add-compiler-phases-pdf 
[Feature] Adds compiler phases pdf
 2021-08-05 19:15:36 -07:00