ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-24 10:41:57 +03:00
Code Issues Packages Projects Releases Wiki Activity
3,060 Commits 54 Branches 46 Tags 340 MiB
baca9ca4a5
Commit Graph

3060 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
gluaxspeed
baca9ca4a5 Hash the ast in the .out file 2021-07-14 02:58:10 -07:00
gluaxspeed
650a729763 Add theorem generations to tests 2021-07-12 11:45:51 -07:00
Alessandro Coglio
a04a76305d
Merge pull request #1135 from AleoHQ/fix-typo-inital 
fix typo in name of initial ast file
 2021-07-11 23:19:47 -07:00
Eric McCarthy
a8840d5264
fix typo in name of initial ast file 
`inital_ast.json` --> `initial_ast.json`
 2021-07-11 21:29:50 -07:00
Alessandro Coglio
1e87368b03
Merge pull request #1101 from AleoHQ/dependabot/cargo/structopt-0.3.22 
Bump structopt from 0.3.21 to 0.3.22
 2021-07-09 16:05:48 -07:00
Alessandro Coglio
9202e7acc7
Merge pull request #1122 from detailyang/hotfix/ast-display 
hotfix:ast:conditional statement display method
 2021-07-09 15:22:24 -07:00
Alessandro Coglio
640c22c70c
Merge pull request #1133 from detailyang/hotfix/ast-formatstring-display 
hotfix:fix formatstring display trait
 2021-07-09 14:55:41 -07:00
detailyang
56aac82801 hotfix:fix formatstring display trait 2021-07-09 11:42:59 +08:00
Alessandro Coglio
0d3e53e754
Merge pull request #1067 from AleoHQ/backward-loops-rfc 
[RFC] Adds countdown loops RFC
 2021-07-08 14:20:57 -07:00
Alessandro Coglio
6b2292d20d
Merge pull request #1117 from AleoHQ/rfc-type-casts 
[RFC] Update the type casts RFC.
 2021-07-08 14:10:19 -07:00
Alessandro Coglio
cf290ed097
Merge pull request #1113 from AleoHQ/feature/circuit-constant-value 
Feature/circuit constant value
 2021-07-08 12:58:41 -07:00
gluaxspeed
dd016f46ad remove CARGO_NET_GIT_FETCH_WITH_CLI: true 2021-07-08 11:29:20 -07:00
gluaxspeed
b767dcd08f Merge branch 'master' of github.com:AleoHQ/leo into feature/circuit-constant-value 2021-07-08 04:14:32 -07:00
detailyang
85b47651a5 hotfix:ast:conditional statement display method 2021-07-08 16:15:46 +08:00
Alessandro Coglio
82a5527ea0 [RFC] Update the type casts RFC. 
Based on consensus within the Leo team, now the RFC prescribes the
value-preserving semantics. The discussion on value-changing semantics has been
moved to the 'Alternatives' section. Other text has been adapted and improved to
reflect the chosen approach (before, value-preserving and value-changing were
presented as two possible candidates for type casts).
 2021-07-06 16:12:37 -07:00
Alessandro Coglio
d6c3aec431
Merge pull request #1098 from AleoHQ/dependabot/cargo/thiserror-1.0.26 
Bump thiserror from 1.0.25 to 1.0.26
 2021-07-05 11:50:50 -07:00
Alessandro Coglio
4e696beb71
Merge pull request #1096 from AleoHQ/dependabot/cargo/assert_cmd-1.0.7 
Bump assert_cmd from 1.0.5 to 1.0.7
 2021-07-05 10:32:58 -07:00
damirka
d27375d9d6 fix another typo 2021-07-05 19:57:37 +03:00
damirka
cc47350322 fix typo in comment 2021-07-05 16:31:46 +03:00
damirka
d1f8e52eba rework example to shaker sort 2021-07-05 16:28:50 +03:00
damirka
5f840e3b1e fix example - syntax outdated 2021-07-05 15:58:10 +03:00
damirka
f4e270ffd2 post review fixes 2021-07-05 15:47:01 +03:00
dependabot[bot]
e152e90338
Bump structopt from 0.3.21 to 0.3.22 
Bumps [structopt](https://github.com/TeXitoi/structopt) from 0.3.21 to 0.3.22.
- [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.21...v0.3.22)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2021-07-05 10:18:37 +00:00
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
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
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