ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-26 03:33:44 +03:00
Code Issues Packages Projects Releases Wiki Activity
3,864 Commits 54 Branches 46 Tags 340 MiB
9730f90361
Commit Graph

1294 Commits

Author SHA1 Message Date
gluaxspeed
649088905d standardize ast generation in ast and test runner 2021-08-27 07:28:02 -07:00
gluaxspeed
1628e19658 alias resolution done during type inference 2021-08-24 22:58:59 -07:00
gluaxspeed
1576f776f3 resolve master conflicts 2021-08-24 03:00:08 -07:00
Alessandro Coglio
7a5979660b
Merge pull request #1272 from AleoHQ/feature/call-expressions-ast-store-type 
[Implmentation] Adds Type to Circuit Member Access Expressions
 2021-08-23 08:50:41 -07:00
damirka
a04249976e Merge branch 'master' into leo-manifest-dependencies 2021-08-19 18:04:05 +03:00
gluaxspeed
e90228b295 type aliases 2021-08-19 06:04:44 -07:00
gluaxspeed
4fc6c5f586 core function imports 2021-08-18 18:52:56 -07:00
gluaxspeed
d1350d7cd8 Merge branch 'master' of github.com:AleoHQ/leo into feature/type-aliases 2021-08-18 16:35:17 -07:00
gluaxspeed
88bd065d8a merge master, regen tests 2021-08-18 16:25:23 -07:00
gluaxspeed
4e32efb9e3 Merge branch 'master' of github.com:AleoHQ/leo into feature/better-errors 2021-08-18 14:42:19 -07:00
gluaxspeed
484ebd3467 clean up todos 2021-08-18 14:40:51 -07:00
gluaxspeed
56c66fa4ba testing and clean up 2021-08-18 14:31:06 -07:00
gluaxspeed
a91c8b9e6a Revert "type on call expression" 
This reverts commit cf5a23b38f.
 2021-08-18 13:38:50 -07:00
gluaxspeed
a75dbe38eb imports functioning, next is core imports 2021-08-18 06:23:23 -07:00
damirka
135ad2d167 Merge branch 'fix-recursive-imports' into leo-manifest-dependencies 2021-08-18 14:13:21 +03:00
gluaxspeed
14a1125d33 formatting 2021-08-18 02:46:40 -07:00
gluaxspeed
a66c123d17 merge better errors 2021-08-18 02:45:59 -07:00
gluaxspeed
e6948da23f merge master 2021-08-18 02:10:59 -07:00
gluaxspeed
cf5a23b38f type on call expression 2021-08-18 02:04:41 -07: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
damirka
e78975ba21 Merge branch 'master' into leo-manifest-dependencies 2021-08-16 18:32:30 +03: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
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
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