Commit Graph

1381 Commits

Author SHA1 Message Date
collin
31f90a9032 deprecate blake2s 2022-01-25 13:31:02 -08:00
gluax
ea419a7891 migrate spans crate, which involves rust 2021 ed, and dep updates 2022-01-21 12:04:37 -08:00
collin
34a0b4e9b0 clippy 2022-01-17 16:30:08 -08:00
collin
6ccb8ef6b2 update snarkvm rev 2022-01-17 16:07:31 -08:00
collin
0425a92c2b feature: update to latest snarkvm rev 2022-01-11 16:22:34 -08:00
0rphon
849fa85a28 updated all dependencies to latest snarkvm version 2021-10-25 13:48:53 -07:00
damirka
e56a1aedaa fixes PartialEq use in circuit member assign 2021-10-19 10:43:19 +02:00
Eric McCarthy
e2ba64b79d
Merge pull request #1362 from AleoHQ/feature/remove-span-snapshot
Feature/remove span snapshot
2021-09-30 15:33:18 -07:00
Pranav Gaddamadugu
ffae3b39ff Fixed JSON order bug in AST on removal of values 2021-09-29 07:56:28 -07:00
damirka
a1aa5326ad fixes eq for arrays with unspecified size 2021-09-28 11:09:56 +03:00
Pranav Gaddamadugu
242e34279d Add default for build options 2021-09-24 18:03:23 -07:00
Pranav Gaddamadugu
a128d367ff Resolving conflicts with master 2021-09-24 17:40:07 -07:00
Pranav Gaddamadugu
f754f89c6e Updated test-framework/.../tgc.rs to remove spans from AST; changed compiler test options to disable spans 2021-09-23 09:11:09 -07:00
Mazdak Farrokhzad
3ad7d2fdb2 cleanup courtesy of clippy 2021-09-23 17:06:48 +02:00
Pranav Gaddamadugu
2edb794c8b Passing no-span serialization tests in parser 2021-09-22 11:54:58 -07:00
Pranav Gaddamadugu
1521a4a84d Refactored code so all filtering logic is in AST 2021-09-22 10:58:21 -07:00
Pranav Gaddamadugu
a9746cb756 Refactor to previous function name: 2021-09-21 09:32:31 -07:00
Pranav Gaddamadugu
798c3f0eb6 Refactored code to pull out JSON value serialization; preferring this option since it preserves test expectations 2021-09-20 20:48:16 -07:00
Pranav Gaddamadugu
074587f4d2 Added original code to verify that test expectations do not change 2021-09-20 20:28:52 -07:00
Pranav Gaddamadugu
3cc9367d09 Fixed unhandled case in 2021-09-20 20:00:07 -07:00
Pranav Gaddamadugu
5f22a21f47 Implemented option to remove from serialized AST 2021-09-20 19:21:52 -07:00
Pranav Gaddamadugu
991a658950 Added build option to leo build 2021-09-20 18:12:03 -07:00
Alessandro Coglio
a5f74195cf
Merge pull request #1333 from AleoHQ/array-len-function
[Feature] Adds .len() postfix to arrays
2021-09-15 10:10:32 -07:00
damirka
f12eafb957 replace sizeof with lengthof 2021-09-14 18:01:24 +03:00
damirka
4f41f09ef2 Merge branch 'master' into array-len-function 2021-09-13 14:26:38 +03:00
damirka
093517109b renaming, now .length() 2021-09-10 16:11:55 +03:00
gluaxspeed
64e88404d2 prelude stuff auto included 2021-09-10 05:55:07 -07:00
damirka
2942bf85fe staging commit for the sizeof operator 2021-09-07 19:33:02 +03:00
gluaxspeed
8a8b5ab757 resolve merge conflicts 2021-09-07 02:59:35 -07:00
gluax
81271c918f
Merge pull request #1327 from AleoHQ/abnf-ast-changes
[ABNF] CircuitOrAlias changed to Identifier
2021-09-06 22:23:52 -07:00
gluaxspeed
dcdb234637 fix imported circuit return from function in import 2021-09-06 06:12:58 -07:00
damirka
857ab9a2b6 change CircuitOrAlias to Identifier 2021-09-06 14:10:06 +03:00
damirka
e03d5c23b8 includes ast and asg changes 2021-08-31 20:18:21 +03:00
gluaxspeed
5c6f2a43ca merge master, add clean for imports ast 2021-08-27 09:40:25 -07:00
gluaxspeed
6a44e51da9 revert runner change, just make tgc remove the header lines as well 2021-08-27 07:57:25 -07:00
gluaxspeed
538dfe2709 re-enable compiler test cleanup 2021-08-27 07:30:37 -07:00
gluaxspeed
cedf2004ba reduce code bloat 2021-08-27 07:29:40 -07:00
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
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