Commit Graph

3192 Commits

Author SHA1 Message Date
dependabot[bot]
22930c2b5f
Bump thiserror from 1.0.25 to 1.0.26
Bumps [thiserror](https://github.com/dtolnay/thiserror) from 1.0.25 to 1.0.26.
- [Release notes](https://github.com/dtolnay/thiserror/releases)
- [Commits](https://github.com/dtolnay/thiserror/compare/1.0.25...1.0.26)

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

Signed-off-by: dependabot[bot] <support@github.com>
2021-07-05 10:18:13 +00:00
dependabot[bot]
92b5bb4c44
Bump assert_cmd from 1.0.5 to 1.0.7
Bumps [assert_cmd](https://github.com/assert-rs/assert_cmd) from 1.0.5 to 1.0.7.
- [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.5...v1.0.7)

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

Signed-off-by: dependabot[bot] <support@github.com>
2021-07-05 10:17:55 +00:00
Alessandro Coglio
6d56aa9c81
Merge pull request #1090 from AleoHQ/feature/cli-generates-proofs
Ast Proof Generation In CLI
2021-07-03 14:40:07 -07:00
gluax
a496841563 the identifiers differ, change it to name 2021-07-02 18:29:48 -07:00
gluax
6022f42fa5 Merge branch 'master' of github.com:AleoHQ/leo into feature/circuit-constant-value 2021-07-02 17:33:31 -07:00
gluax
f650e12baf circuit cosnt_value 2021-07-02 17:32:37 -07:00
Alessandro Coglio
81d0a4c4e3
Merge pull request #1093 from AleoHQ/bugs/array-indexing
Array Indexing Fixes
2021-07-02 17:03:58 -07:00
gluax
9ace3243d2 forgot to regenerate tests 2021-07-02 15:29:50 -07:00
gluax
41f4eed360 refactor proof options to theorem options 2021-07-02 15:26:13 -07:00
gluax
376d713fb3 add test for missed case from fixed bugs 2021-07-02 15:13:38 -07:00
Alessandro Coglio
b10343ce7f
Merge pull request #1072 from AleoHQ/imports-stabilization
[RFC] Extending scope of the RFC to include proving system and curve
2021-07-02 09:45:13 -07:00
gluax
f4d39e58b7 fix asg tests 2021-07-01 14:10:04 -07:00
gluax
a0d9047faf validate that a package being published doesn't conflict with keywords 2021-07-01 13:59:56 -07:00
gluax
bcb50ae27f change equality_expressions 2021-07-01 13:40:29 -07:00
damirka
35660c851b grammar fixes 2021-07-01 19:14:06 +03:00
gluax
45f75ef33a fix tests running 2021-07-01 00:03:41 -07:00
gluax
026708d64d ast generation now in the compiler and has options 2021-06-30 23:47:20 -07:00
gluax
12a702896f clippy fix 2021-06-30 22:20:37 -07:00
gluax
eee9cfc1be fix parser to match abnf conditional 2021-06-30 22:20:06 -07:00
Alessandro Coglio
322518c196
Merge pull request #1056 from AleoHQ/rfc-type-casts
[RFC] Add initial RFC for type casts.
2021-06-30 22:04:28 -07:00
Alessandro Coglio
98b59566f1
Fix typo. 2021-06-30 14:47:34 -07:00
damirka
91078a4414 small edits 2021-06-30 22:14:36 +03:00
damirka
b371fecaea wrap up 2021-06-30 22:00:48 +03:00
Alessandro Coglio
d4aaac6577
Merge pull request #1081 from AleoHQ/dependabot/cargo/indexmap-1.7.0
Bump indexmap from 1.6.2 to 1.7.0
2021-06-30 10:17:46 -07:00
dependabot[bot]
4fd6cf5a14
Bump indexmap from 1.6.2 to 1.7.0
Bumps [indexmap](https://github.com/bluss/indexmap) from 1.6.2 to 1.7.0.
- [Release notes](https://github.com/bluss/indexmap/releases)
- [Commits](https://github.com/bluss/indexmap/compare/1.6.2...1.7.0)

---
updated-dependencies:
- dependency-name: indexmap
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
2021-06-30 10:21:58 +00:00
gluax
f35b120588 test cases for lest test 2021-06-29 21:12:24 -07:00
gluax
bb63e13edf fix all the bugs for the new array indexes 2021-06-29 20:55:48 -07:00
Alessandro Coglio
2e0dab122b
Merge pull request #1074 from AleoHQ/bug/ternery-and-canonicalization-fixes
Bug-Fix: Canonicalization, Array Init, Array Indexing
2021-06-29 11:12:49 -07:00
Alessandro Coglio
3413f608eb [RFC] Incorporate suggestions from Eric M. 2021-06-29 10:59:23 -07:00
gluax
5c3b48a25b slight rework to access to clean it up and fix other missed cases, added tests 2021-06-28 14:10:26 -07:00
Alessandro Coglio
32e938539c
Merge pull request #1073 from AleoHQ/update-to-snarkvm-0.6.0
Update to snarkvm 0.6.0
2021-06-28 13:50:51 -07:00
damirka
d79b49be84 bump to 1.52.1 in CI 2021-06-28 22:15:56 +03:00
damirka
dcf3de40e9 update to snarkvm-0.6.0 2021-06-28 22:01:01 +03:00
damirka
34777842e5 draft updates for ps and curves 2021-06-28 21:20:45 +03:00
damirka
ad823ae8eb count down to countdown 2021-06-28 20:37:25 +03:00
dependabot[bot]
2266a42e38
Bump snarkvm-fields from 0.5.5 to 0.6.0
Bumps [snarkvm-fields](https://github.com/AleoHQ/snarkVM) from 0.5.5 to 0.6.0.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.5.5...v0.6.0)

---
updated-dependencies:
- dependency-name: snarkvm-fields
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
2021-06-28 10:19:42 +00:00
damirka
f67c45774f adds countdown loops rfc 2021-06-27 20:18:07 +03:00
gluax
b96cc7b08c remove debug stmt 2021-06-26 20:46:54 -07:00
gluax
15402584c0 fix array indexing assigning 2021-06-26 20:44:48 -07:00
gluax
5ebea328fb const_value for array_init, and canonicalization fixes 2021-06-26 00:00:09 -07:00
Alessandro Coglio
d3aa50057a Merge pull request #1064 from AleoHQ/dependabot/cargo/snarkvm-curves-0.5.5
Bump snarkvm-curves from 0.5.4 to 0.5.5
2021-06-25 18:50:40 -07:00
Alessandro Coglio
b6065c34d4
Merge pull request #1060 from AleoHQ/bugs/array-type-inference-issues
array type inference bugs
2021-06-25 11:12:21 -07:00
Alessandro Coglio
87d6a31632
Merge pull request #1062 from AleoHQ/fix-imports
Fixes import bug found in Aleo Studio
2021-06-25 08:59:53 -07:00
dependabot[bot]
cf9efb1dc2
Bump snarkvm-curves from 0.5.4 to 0.5.5
Bumps [snarkvm-curves](https://github.com/AleoHQ/snarkVM) from 0.5.4 to 0.5.5.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.5.4...v0.5.5)

---
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-06-25 10:20:40 +00:00
Alessandro Coglio
ebce5d726e
Merge pull request #1059 from AleoHQ/fix-1044-tuple-index
Fixes tuple access
2021-06-24 20:21:50 -07:00
damirka
7205fbe22a fixed env variable 2021-06-24 20:13:18 +03:00
damirka
c229e41790 updates CI to check imports 2021-06-24 20:12:24 +03:00
damirka
40bc7aef8d fixes imports bug found in Aleo Studio 2021-06-24 18:40:46 +03:00
Alessandro Coglio
8b7c1dc6cd
Merge pull request #1055 from AleoHQ/imports-stabilization
[WIP] Import Stabilization RFC
2021-06-23 09:09:20 -07:00
gluax
068958a2f4 array type inference bugs 2021-06-23 07:08:32 -07:00