AleoHQ/leo
1
1
Fork 0
mirror of https://github.com/AleoHQ/leo.git synced 2024-12-19 15:41:36 +03:00
Code Issues Packages Projects Releases Wiki Activity
3,580 Commits 54 Branches 46 Tags 340 MiB
a128d367ff
Commit Graph

1269 Commits

Author SHA1 Message Date
gluaxspeed
e69e81110e debug windows ci this time 2021-08-12 04:44:45 -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
f0de65835c regen tests, debug out a import test 2021-08-12 02:15:12 -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
402ad7aabb finish in code documentation, deny no doc comments 2021-08-10 14:10:27 -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
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
dependabot[bot]
6474daf791
Bump snarkvm-curves from 0.7.7 to 0.7.8 
Bumps [snarkvm-curves](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-curves
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-05 10:17:36 +00:00
damirka
c5687fa75b Merge remote-tracking branch 'origin/master' into leo-manifest-dependencies 2021-08-05 13:11:49 +03:00
Alessandro Coglio
55f110b6b6
Merge pull request #1235 from AleoHQ/return-import-tests 
[Feature] Getting import tests back
 2021-08-05 02:01:09 -07:00
gluaxspeed
003faed13a merge master, fix tests 2021-08-04 17:30:54 -07:00
gluaxspeed
b35375908b state errors migrated 2021-08-04 15:22:40 -07:00
gluaxspeed
2a99a87da7 colored backtrace reports, full and 1 for leo backtrace 2021-08-04 14:19:19 -07:00
damirka
eb0863cda9 closes #1183 2021-08-04 23:34:11 +03:00
damirka
315e8b0c92 Merge remote-tracking branch 'origin/master' into leo-manifest-dependencies 2021-08-04 23:04:56 +03:00
damirka
49c3d4b06f Merge branch 'master' into leo-manifest-dependencies 2021-08-04 23:04:37 +03:00
Alessandro Coglio
09b1fddd59
Merge pull request #1234 from AleoHQ/dependabot/cargo/snarkvm-gadgets-0.7.7 
Bump snarkvm-gadgets from 0.7.6 to 0.7.7
 2021-08-04 12:16:54 -07:00
Alessandro Coglio
5e3b54a9a3
Merge pull request #1233 from AleoHQ/dependabot/cargo/snarkvm-dpc-0.7.7 
Bump snarkvm-dpc from 0.7.6 to 0.7.7
 2021-08-04 12:16:24 -07:00
gluaxspeed
b1f93e95b3 dep clean up, clippy, leo result 2021-08-04 05:52:08 -07:00
gluaxspeed
6302bda18e cli errors, leo result type 2021-08-04 03:36:33 -07:00
dependabot[bot]
3af2e63dc0
Bump snarkvm-gadgets from 0.7.6 to 0.7.7 
Bumps [snarkvm-gadgets](https://github.com/AleoHQ/snarkVM) from 0.7.6 to 0.7.7.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.7.6...v0.7.7)

---
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-04 10:16:12 +00:00
dependabot[bot]
f0d0ea081b
Bump snarkvm-dpc from 0.7.6 to 0.7.7 
Bumps [snarkvm-dpc](https://github.com/AleoHQ/snarkVM) from 0.7.6 to 0.7.7.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.7.6...v0.7.7)

---
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-04 10:16:06 +00:00
dependabot[bot]
b3129b5bb4
Bump snarkvm-r1cs from 0.7.6 to 0.7.7 
Bumps [snarkvm-r1cs](https://github.com/AleoHQ/snarkVM) from 0.7.6 to 0.7.7.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.7.6...v0.7.7)

---
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-04 10:15:58 +00:00
gluaxspeed
162949185f code cleanup 2021-08-04 00:42:48 -07:00
Alessandro Coglio
ad6e27000d
Merge pull request #1229 from AleoHQ/dependabot/cargo/snarkvm-curves-0.7.7 
Bump snarkvm-curves from 0.7.6 to 0.7.7
 2021-08-03 16:13:06 -07:00
Alessandro Coglio
8e8e3fdf42
Merge pull request #1150 from AleoHQ/feature/remove-nightly-support 
[Feature] Deprecate Nightly + OS CIs
 2021-08-03 14:59:07 -07:00
dependabot[bot]
7f0c0f0b7a
Bump snarkvm-curves from 0.7.6 to 0.7.7 
Bumps [snarkvm-curves](https://github.com/AleoHQ/snarkVM) from 0.7.6 to 0.7.7.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/commits)

---
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-03 18:04:29 +00:00
dependabot[bot]
4373ce980d
Bump snarkvm-fields from 0.7.6 to 0.7.7 
Bumps [snarkvm-fields](https://github.com/AleoHQ/snarkVM) from 0.7.6 to 0.7.7.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/commits)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-03 18:04:19 +00:00
gluaxspeed
88e0e32317 formatting fixes, regen outs, still have a few things to do 2021-08-03 04:49:07 -07:00
gluaxspeed
76b8b3f0a6 merge master, clippy fixes 2021-08-03 04:00:15 -07:00
gluaxspeed
c8be870471 Compiles, still need to handle state and input eventually 2021-08-03 02:43:21 -07:00
damirka
da9f65ba4a bump all snarkvm dependencies to 0.7.6 2021-08-03 02:39:44 +03:00
damirka
fd7fcebe73 Merge remote-tracking branch 'origin/master' into bump-snarkvm-0.7.6 2021-08-03 02:36:28 +03:00
damirka
14a5fbb33e bump snarkvm-dpc to 0.7.6 2021-08-03 02:16:51 +03:00
damirka
36423caaaf bump snarkvm to 0.7.6 2021-08-03 02:05:38 +03:00
damirka
82f8e8a5ca clippy fixes 2021-08-03 01:46:18 +03:00
damirka
7d2ba89cae Merge branch 'master' into leo-manifest-dependencies 2021-08-02 18:51:01 +03:00
gluaxspeed
0012f9b37b Error refactoring thus far 2021-07-30 19:01:12 -07:00
Alessandro Coglio
f1ba77f9ed
Merge pull request #1207 from AleoHQ/fix/address-issue 
Fix the AssignmentMissing error involving non-constant addresses
 2021-07-30 13:46:50 -07:00
howardwu
c37d7bcd39 chore(leo): bump version for new release 2021-07-29 18:59:08 -07:00
gluaxspeed
e8ad50446a errors are causing a dep cycle those need to be refactored first 2021-07-29 04:58:29 -07:00
gluaxspeed
72e2bb1fb6 Some test fixes 2021-07-28 11:53:45 -07:00
weikeng
a3f5f5b71d fix the missing assignment issue 2021-07-28 11:10:02 -07:00
damirka
ede19e09c7 Merge branch 'master' into leo-manifest-dependencies 2021-07-28 16:37:30 +03:00
gluaxspeed
9a53905a55 Merge branch 'master' of github.com:AleoHQ/leo into feature/console-refactor-and-outs 2021-07-27 12:33:37 -07:00
Alessandro Coglio
070735fe9a
Merge pull request #1198 from AleoHQ/dependabot/cargo/snarkvm-dpc-0.7.5 
Bump snarkvm-dpc from 0.7.4 to 0.7.5
 2021-07-27 11:51:09 -07:00
Alessandro Coglio
21051eba2e
Merge pull request #1197 from AleoHQ/dependabot/cargo/snarkvm-gadgets-0.7.5 
Bump snarkvm-gadgets from 0.7.4 to 0.7.5
 2021-07-27 11:12:16 -07:00
Alessandro Coglio
5a369c5726
Merge pull request #1196 from AleoHQ/dependabot/cargo/snarkvm-r1cs-0.7.5 
Bump snarkvm-r1cs from 0.7.4 to 0.7.5
 2021-07-27 10:44:11 -07:00
dependabot[bot]
9934482ef9
Bump snarkvm-dpc from 0.7.4 to 0.7.5 
Bumps [snarkvm-dpc](https://github.com/AleoHQ/snarkVM) from 0.7.4 to 0.7.5.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.7.4...v0.7.5)

---
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-07-27 10:19:19 +00:00
dependabot[bot]
0e0488bddc
Bump snarkvm-gadgets from 0.7.4 to 0.7.5 
Bumps [snarkvm-gadgets](https://github.com/AleoHQ/snarkVM) from 0.7.4 to 0.7.5.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.7.4...v0.7.5)

---
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-07-27 10:19:05 +00:00
dependabot[bot]
f99916d187
Bump snarkvm-r1cs from 0.7.4 to 0.7.5 
Bumps [snarkvm-r1cs](https://github.com/AleoHQ/snarkVM) from 0.7.4 to 0.7.5.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.7.4...v0.7.5)

---
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-07-27 10:18:52 +00:00
gluaxspeed
3f890c9f30 fix reverse loop have to add range, which is always 1 for now 2021-07-26 17:22:05 -07:00
gluaxspeed
20d64970ab merge master, color only at cli as it breaks tests, remove debug 2021-07-26 16:49:33 -07:00
Alessandro Coglio
a73bc73750
Merge pull request #1189 from AleoHQ/dependabot/cargo/snarkvm-curves-0.7.5 
Bump snarkvm-curves from 0.7.4 to 0.7.5
 2021-07-26 12:43:12 -07:00
dependabot[bot]
81b15d7c62
Bump snarkvm-curves from 0.7.4 to 0.7.5 
Bumps [snarkvm-curves](https://github.com/AleoHQ/snarkVM) from 0.7.4 to 0.7.5.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.7.4...v0.7.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-07-26 10:17:09 +00:00
dependabot[bot]
fb8dd03e1c
Bump snarkvm-fields from 0.7.4 to 0.7.5 
Bumps [snarkvm-fields](https://github.com/AleoHQ/snarkVM) from 0.7.4 to 0.7.5.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.7.4...v0.7.5)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2021-07-26 10:16:55 +00:00
gluaxspeed
bfe83d3bc1 merge master 2021-07-25 22:33:34 -07:00
gluaxspeed
1d72107119 inclusive range 2021-07-23 15:14:37 -07:00
gluaxspeed
b69dd4e277 remove debug, realized it was crlf vs lf whoops 2021-07-23 00:34:52 -07:00
gluaxspeed
6d08e8920f debug json 2021-07-23 00:26:10 -07:00
gluaxspeed
4b4247427b debug ci differences 2021-07-23 00:13:35 -07:00
damirka
1ebd4fb741 always enable canonicalization 2021-07-23 10:04:55 +03:00
gluaxspeed
68fd0433b6 trying to debug why circleci and codecov fail 2021-07-22 23:04:13 -07:00
gluaxspeed
61253031b4 countdown loops 2021-07-22 22:17:33 -07:00
damirka
f245937ef9 fix incorrect argument parsing in leo build 2021-07-22 16:10:36 +03:00
damirka
6a2ebfc22e Merge branch 'master' into leo-manifest-dependencies 2021-07-22 15:13:44 +03:00
gluaxspeed
8028766cb4 Merge branch 'master' of github.com:AleoHQ/leo into bug/abnf-format-strings 2021-07-21 14:43:37 -07:00
gluaxspeed
b7a2626bc4 merge master 2021-07-21 12:05:17 -07:00
gluaxspeed
a9593971b9 format string and grammar changes 2021-07-20 14:52:35 -07:00
gluaxspeed
98d47ab32a Merge branch 'master' of github.com:AleoHQ/leo into feature/theorem-tests 2021-07-18 20:00:48 -07:00
gluaxspeed
b96609f839 merge master 2021-07-18 19:58:34 -07:00
damirka
2c58bf30a0 Merge branch 'master' into leo-manifest-dependencies 2021-07-19 01:15:32 +03:00
howardwu
546636152b Updates Leo to snarkVM v0.7.4 2021-07-17 00:42:24 -07:00
gluaxspeed
8b44cfa9c7 Merge branch 'master' of github.com:AleoHQ/leo into feature/theorem-tests 2021-07-16 03:28:37 -07:00
gluaxspeed
025f02e5f8 fmt and clippy 2021-07-16 03:28:06 -07:00
gluaxspeed
470a4075f8 refactor theorem to ast for out file hashes, migrate old tests 2021-07-16 03:20:36 -07:00
damirka
97b5c1b7c4 Merge branch 'master' into leo-manifest-dependencies 2021-07-15 13:00:55 +03:00
gluaxspeed
315dcebb34 fmt stable only features, test all the platforms, cc stable 2021-07-14 13:55:01 -07:00
gluaxspeed
8695b11ce0 Forgot to refactor in compiler tests 2021-07-14 05:04:09 -07:00
gluaxspeed
add64ae11a Refactor Proof/Theorem to Snapshots 2021-07-14 03:24:08 -07:00
gluaxspeed
2f000a971a digest is necessary 2021-07-14 03:09:44 -07:00
gluaxspeed
baca9ca4a5 Hash the ast in the .out file 2021-07-14 02:58:10 -07:00
gluaxspeed
c5c5bce2f0 Merge branch 'master' of github.com:AleoHQ/leo into bug/misc-bugs 2021-07-13 22:27:24 -07:00
gluaxspeed
650a729763 Add theorem generations to tests 2021-07-12 11:45:51 -07:00
gluaxspeed
a4575c8a00 cleaner output, and log writer 2021-07-11 23:42:14 -07:00
gluaxspeed
c0628a04c7 Merge branch 'master' of github.com:AleoHQ/leo into bug/misc-bugs 2021-07-11 22:55:29 -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
gluaxspeed
b767dcd08f Merge branch 'master' of github.com:AleoHQ/leo into feature/circuit-constant-value 2021-07-08 04:14:32 -07:00
gluaxspeed
0bd580e3d1 fmt fixes, realized they have to be in that format for outputs 2021-07-08 04:05:00 -07:00
damirka
bbc210d016 imports map, leo install 2021-07-07 17:15:03 +03: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