ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-24 07:48:04 +03:00
Code Issues Packages Projects Releases Wiki Activity
3,571 Commits 53 Branches 44 Tags 331 MiB
73ff1d85e0
Commit Graph

526 Commits

Author SHA1 Message Date
Pranav Gaddamadugu
5f22a21f47 Implemented option to remove from serialized AST 2021-09-20 19:21:52 -07:00
Alessandro Coglio
0e96bf8d7d
Merge pull request #1346 from AleoHQ/feature/count-untested-errors 
Feature/count untested errors
 2021-09-20 09:30:29 -07:00
dependabot[bot]
85a3dddd8c
Bump dirs from 3.0.2 to 4.0.0 (#1347) 
Bumps [dirs](https://github.com/soc/dirs-rs) from 3.0.2 to 4.0.0.
- [Release notes](https://github.com/soc/dirs-rs/releases)
- [Commits](https://github.com/soc/dirs-rs/commits)

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

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

Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: damirka <damirka.ru@gmail.com>
 2021-09-20 14:31:32 +03:00
dependabot[bot]
1eea668e4a
Bump tracing from 0.1.27 to 0.1.28 (#1355) 
Bumps [tracing](https://github.com/tokio-rs/tracing) from 0.1.27 to 0.1.28.
- [Release notes](https://github.com/tokio-rs/tracing/releases)
- [Commits](https://github.com/tokio-rs/tracing/compare/tracing-0.1.27...tracing-0.1.28)

---
updated-dependencies:
- dependency-name: tracing
  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>
 2021-09-20 14:03:34 +03:00
Pranav Gaddamadugu
dc98e94d7f errcov collects all error codes for errors generated by create_errors! macro 2021-09-15 15:23:26 -07:00
Pranav Gaddamadugu
02170e4201 Created errcov binary, lists error codes found in tests/exepectations 2021-09-15 15:23:26 -07:00
gluax
2cbf62ef0a
Merge pull request #1339 from AleoHQ/feature/built-ins 
[Feature] Leo stdlib & built-ins
 2021-09-14 22:04:02 -07:00
dependabot[bot]
3a004b5f23
Bump tracing from 0.1.26 to 0.1.27 (#1344) 
Bumps [tracing](https://github.com/tokio-rs/tracing) from 0.1.26 to 0.1.27.
- [Release notes](https://github.com/tokio-rs/tracing/releases)
- [Commits](https://github.com/tokio-rs/tracing/compare/tracing-0.1.26...tracing-0.1.27)

---
updated-dependencies:
- dependency-name: tracing
  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>
 2021-09-14 17:55:54 +03:00
dependabot[bot]
49a1ffbdff
Bump anyhow from 1.0.43 to 1.0.44 (#1340) 
Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.43 to 1.0.44.
- [Release notes](https://github.com/dtolnay/anyhow/releases)
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.43...1.0.44)

---
updated-dependencies:
- dependency-name: anyhow
  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>
 2021-09-13 14:06:32 +03:00
dependabot[bot]
041adf2b3b
Bump serde_yaml from 0.8.20 to 0.8.21 (#1341) 
Bumps [serde_yaml](https://github.com/dtolnay/serde-yaml) from 0.8.20 to 0.8.21.
- [Release notes](https://github.com/dtolnay/serde-yaml/releases)
- [Commits](https://github.com/dtolnay/serde-yaml/compare/0.8.20...0.8.21)

---
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>
 2021-09-13 14:05:58 +03:00
gluaxspeed
c1e9c72d2a merge master and resolve conflicts 2021-09-10 06:53:47 -07:00
gluaxspeed
64e88404d2 prelude stuff auto included 2021-09-10 05:55:07 -07:00
dependabot[bot]
c169e48a56
Bump sha2 from 0.9.6 to 0.9.8 (#1338) 
Bumps [sha2](https://github.com/RustCrypto/hashes) from 0.9.6 to 0.9.8.
- [Release notes](https://github.com/RustCrypto/hashes/releases)
- [Commits](https://github.com/RustCrypto/hashes/compare/sha2-v0.9.6...sha2-v0.9.8)

---
updated-dependencies:
- dependency-name: sha2
  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>
 2021-09-10 15:16:40 +03:00
dependabot[bot]
192270c49c
Bump assert_cmd from 2.0.0 to 2.0.1 (#1331) 
Bumps [assert_cmd](https://github.com/assert-rs/assert_cmd) from 2.0.0 to 2.0.1.
- [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/v2.0.0...v2.0.1)

---
updated-dependencies:
- dependency-name: assert_cmd
  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>
 2021-09-07 14:24:04 +03:00
dependabot[bot]
4e33780c12
Bump thiserror from 1.0.28 to 1.0.29 (#1325) 
Bumps [thiserror](https://github.com/dtolnay/thiserror) from 1.0.28 to 1.0.29.
- [Release notes](https://github.com/dtolnay/thiserror/releases)
- [Commits](https://github.com/dtolnay/thiserror/compare/1.0.28...1.0.29)

---
updated-dependencies:
- dependency-name: thiserror
  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>
 2021-09-06 13:48:16 +03:00
dependabot[bot]
79777e6701
Bump num-bigint from 0.4.1 to 0.4.2 (#1326) 
Bumps [num-bigint](https://github.com/rust-num/num-bigint) from 0.4.1 to 0.4.2.
- [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.1...num-bigint-0.4.2)

---
updated-dependencies:
- dependency-name: num-bigint
  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>
 2021-09-06 13:47:46 +03: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
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
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
gluaxspeed
5c6f2a43ca merge master, add clean for imports ast 2021-08-27 09:40:25 -07:00
gluaxspeed
649088905d standardize ast generation in ast and test runner 2021-08-27 07:28:02 -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
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
dependabot[bot]
695a949cff
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>
 2021-08-23 17:25:19 +03:00
dependabot[bot]
fd3d7d0624
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>
 2021-08-23 17:25:05 +03:00
damirka
c4fcccd33e Merge branch 'master' into feature-tgc-ci 2021-08-21 21:00:51 +03:00
damirka
a04249976e Merge branch 'master' into leo-manifest-dependencies 2021-08-19 18:04:05 +03:00
damirka
a8cf416a77 Merge branch 'master' into feature-tgc-ci 2021-08-19 10:58:22 +03:00
gluaxspeed
4fc6c5f586 core function imports 2021-08-18 18:52:56 -07:00
gluaxspeed
4e32efb9e3 Merge branch 'master' of github.com:AleoHQ/leo into feature/better-errors 2021-08-18 14:42:19 -07: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
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
Alessandro Coglio
8f7485977a
Merge pull request #1256 from AleoHQ/dependabot/cargo/snarkvm-curves-0.7.9 
Bump snarkvm-curves from 0.7.8 to 0.7.9
 2021-08-16 10:35:49 -07:00
damirka
e78975ba21 Merge branch 'master' into leo-manifest-dependencies 2021-08-16 18:32:30 +03:00
dependabot[bot]
957d2ef62d
Bump anyhow from 1.0.42 to 1.0.43 
Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.42 to 1.0.43.
- [Release notes](https://github.com/dtolnay/anyhow/releases)
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.42...1.0.43)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-16 10:19:17 +00:00
dependabot[bot]
1b34fa0538
Bump snarkvm-curves from 0.7.8 to 0.7.9 
Bumps [snarkvm-curves](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-curves
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-16 10:18:57 +00:00
gluaxspeed
478bb83f70 regen tests after removing dead errors, docs 2021-08-10 22:56:46 -07:00
damirka
cb5a5eb0f4 Adds structopt 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
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