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
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
gluax
41f4eed360
refactor proof options to theorem options
2021-07-02 15:26:13 -07: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
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
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
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
damirka
dcf3de40e9
update to snarkvm-0.6.0
2021-06-28 22:01:01 +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
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
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
gluax
068958a2f4
array type inference bugs
2021-06-23 07:08:32 -07:00
Alessandro Coglio
214c5b21c9
Merge pull request #1054 from AleoHQ/bugs/1040-1041-input-bugs
...
input bugs fixes
2021-06-22 15:07:28 -07:00
gluax
af1aca3d9f
parse returns leo error not rust error
2021-06-21 23:10:55 -07:00
gluax
b969774b85
check input integer types at all stages
2021-06-21 19:53:01 -07:00
howardwu
750c48ed3b
chore(leo): bump version for new release
2021-06-21 14:28:28 -07:00
gluax
b27cffed19
quick branch to fix merge conflicts
2021-06-18 09:14:38 -07:00
Alessandro Coglio
b414cde00d
Merge pull request #1043 from AleoHQ/bug/canonicalization-fixes
...
canonicalization fixes
2021-06-18 09:01:39 -07:00
Alessandro Coglio
23e9622212
Merge pull request #1036 from AleoHQ/bug/1012-scalar-values
...
Scalar, Non-Scalar, and Char Output file
2021-06-18 09:01:07 -07:00
gluax
a2850bbd02
Self bug fix, and string canonicalization fix
2021-06-17 12:47:19 -07:00
gluax
5cf5437281
char spans from string, proper col_start and stop
2021-06-16 13:35:40 -07:00
dependabot-preview[bot]
0fa4907273
Bump rand_core from 0.6.2 to 0.6.3
...
Bumps [rand_core](https://github.com/rust-random/rand ) from 0.6.2 to 0.6.3.
- [Release notes](https://github.com/rust-random/rand/releases )
- [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md )
- [Commits](https://github.com/rust-random/rand/compare/rand_core-0.6.2...rand_core-0.6.3 )
Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
2021-06-16 17:13:33 +00:00
gluax
1f35308f47
depend on improved tests branch
2021-06-15 11:44:20 -07:00
gluax
076aafa097
resolve merge conflicts
2021-06-15 11:32:46 -07:00
gluax
a6f4052dde
type inference char reducer fixed, outputs fixed
2021-06-15 11:23:08 -07:00
gluax
7d29ef0d5e
custom serializer/deserializer
2021-06-14 15:56:39 -07:00
gluax
d1ca1108fb
scalar chars refactor, some stuff got fixed, some stuff broke
2021-06-11 16:16:21 -07:00
Alessandro Coglio
04c809c0dc
Merge pull request #1027 from AleoHQ/bug/1025-assigning-slice-to-string
...
fix slice assignment for strings
2021-06-11 11:36:08 -07:00
gluax
d6266102c3
more tests, hex fix
2021-06-09 15:54:05 -07:00
howardwu
6f5c02ae6d
chore(leo): bump version for new release
2021-06-08 22:51:25 -07:00
gluax
77c3b9872a
fmt fix
2021-06-08 14:52:13 -07:00
Max Bruce
e4b88f3095
Update compiler/src/value/integer/integer.rs
...
Co-authored-by: Collin Chin <16715212+collinc97@users.noreply.github.com>
2021-06-08 14:52:12 -07:00
p
e816ae4ac3
fix array dyn mut
2021-06-08 14:52:12 -07:00
p
a8f687f904
fix treating inputs as constants in to_usize
2021-06-08 14:52:12 -07:00
gluax
d4cdd93d15
Merge branch 'feat/update-snarkvm-0.5.4' of github.com:AleoHQ/leo into bug/1025-assigning-slice-to-string
2021-06-08 13:44:22 -07:00
gluax
c9b565cbfb
fix slice assignment for strings
2021-06-08 12:29:49 -07:00
collin
04907c3e84
bump snarkvm module versions to 0.5.4
2021-06-08 10:25:41 -07:00
p
5cd05d7376
fix bounds check
2021-06-04 11:42:14 -07:00
Protryon
e6b7f0fce3
bounds check
2021-06-04 07:35:50 -07:00
Protryon
dc91b07e5c
clippy
2021-06-04 06:14:09 -07:00
Protryon
936a35ebd2
fmt
2021-06-04 06:14:09 -07:00
Protryon
f8c4139c3a
misc cleanup
2021-06-04 06:14:09 -07:00
Protryon
a0acc915e9
dynamic array index assignment
2021-06-04 06:14:09 -07:00
damirka
d979a06eac
fix output of characters in out file
2021-06-03 15:38:58 +03:00
howardwu
eaadb29448
chore(leo): bump version for new release
2021-05-31 19:53:31 -07:00
gluax
91f27bc046
explicit type resolves issue, will make bug for implict
2021-05-22 22:26:24 -04:00
gluax
7145a751d9
console.log refactor, concat test... has asg or TIPhase reducer bug
2021-05-22 21:15:07 -04:00
gluax
ca59ff3177
tests for now should be changed to use input strings when they are in
2021-05-20 14:30:12 -04:00
gluax
c4a1bd6955
merge and print strings like strings, rather than arrays
2021-05-20 12:50:49 -04:00
gluax
4fe91f0f39
string canonicalization to char array
2021-05-20 12:39:36 -04:00
gluax
b6479b754f
tests are passing interestingly but idk if they should be, == doesn't work for input on fields
2021-05-19 16:48:34 -04:00
Alessandro Coglio
7aa3fa3b1a
Merge pull request #920 from AleoHQ/compiler-tests
...
[Tests] Compiler tests
2021-05-19 12:56:18 -07:00
gluax
3cc3c7ab02
call the char methods
2021-05-19 14:24:57 -04:00
gluax
768a597e04
merge in field operator updates
2021-05-19 13:25:58 -04:00
collin
c4461f4ef4
bump snarkvm module versions to 0.3.1
2021-05-18 21:08:19 -07:00
collin
c936ca5f11
remove old field type code
2021-05-18 18:57:44 -07:00
collin
9c94422530
bump snarkvm module versions to 0.2.3
2021-05-18 18:53:07 -07:00
collin
2b1b2839b0
add field type refactor code
2021-05-18 18:35:54 -07:00
gluax
edf236158d
add unimplemented other comparators in fields so chars can call them
2021-05-18 12:29:01 -04:00
gluax
08022bb383
char eq operators in, they just call the field ones for now, so when those are in they will work
2021-05-18 12:04:58 -04:00
collin
abeb796cbb
use field eq method
2021-05-17 16:32:44 -07:00
collin
d24623d9d2
fix field subtraction
2021-05-17 16:16:42 -07:00
gluax
1377fc5d75
output file now does 'a', swapped to compiler tests, we fail char tests for now since no constraints
2021-05-14 15:34:39 -04:00
gluax
0435b7ce83
remove octal, fix ascii hex
2021-05-14 13:07:54 -04:00
damirka
c11ca98268
removed cwd arg from compiler tests
2021-05-14 16:42:20 +03:00
gluax
733bc90bbe
chars done, should merge in compiler tests
2021-05-13 17:25:33 -04:00
gluax
6e71c8ab4f
addex hex, octal, and direct unicode
2021-05-13 14:33:01 -04:00
damirka
17744f7f7d
removes import tests, fix ci, add constraint number check, more tests
2021-05-13 16:56:17 +03:00
gluax
29cd920075
input, output and compiler tests
2021-05-13 07:16:59 -04:00
gluax
0ef7ca3d8e
just need to fix input file parsing for chars to work
2021-05-12 18:56:27 -04:00
gluax
602300ea64
chars are implemented with no operations
2021-05-12 16:34:34 -04:00
gluax
10b97023ba
type inference test update - though I would like to wait for compilers test merge?
2021-05-12 15:42:41 -04:00
damirka
e2492ba9e4
more constraints checks
2021-05-12 20:47:03 +03:00
damirka
cb2bd62ea9
Merge branch 'master' into compiler-tests
2021-05-12 20:02:03 +03:00
damirka
17b59fe96f
remove otests folder
2021-05-12 19:45:01 +03:00
damirka
6138f8e719
removed old compiler tests
2021-05-12 19:39:27 +03:00
gluax
819fc9087f
char type added to ast and asg
2021-05-12 08:39:55 -04:00
Alessandro Coglio
2ddb474dce
Merge pull request #903 from AleoHQ/bug/abnf-circuit-grammar
...
Bug/abnf-circuit-grammar
2021-05-06 11:50:20 -07:00
damirka
ac57fe6410
test conflicts + clippy
2021-05-06 14:27:42 +03:00
damirka
6bb14425fd
Merge branch 'master' into compiler-tests
2021-05-06 14:15:03 +03:00
damirka
d5e8fb3718
imports
2021-05-05 19:31:25 +03:00
damirka
2ac3468d18
fixes constant tuples in inputs
2021-05-05 15:58:26 +03:00
damirka
dd4d909998
Merge branch 'master' into compiler-tests
2021-05-05 11:56:00 +03:00
gluax
ffb7cab142
bug fix 905, make sure values are constant when assign is constant
2021-05-03 15:32:11 -04:00
damirka
0b798dc950
console + definition + core
2021-05-03 16:47:33 +03:00
gluax
e0cf988261
hacky, but optional comma only allowed on last member variable
2021-04-29 15:22:17 -04:00
Collin Chin
aaa42bba4c
Merge pull request #705 from AleoHQ/feature/485-defines
...
Feature/485 global consts
2021-04-28 14:06:40 -07:00
Collin Chin
b4584399ef
Merge pull request #810 from AleoHQ/feature/opti-cli-flag
...
[CLI] Adds CompilerOptions flags to Leo CLI
2021-04-26 22:56:55 -07:00
gluax
e71c8d99e0
import global consts, clean up, test type inference on global consts
2021-04-26 17:51:19 -04:00
damirka
6ef9b86cc2
Merge branch 'feature/opti-cli-flag' of github.com:AleoHQ/leo into feature/opti-cli-flag
2021-04-26 23:42:57 +03:00
damirka
a1326d386e
Merge branch 'master' into feature/opti-cli-flag
2021-04-26 23:39:10 +03:00
Collin Chin
b6f6f051f0
Merge pull request #896 from AleoHQ/feature-relative-imports
...
[CLI] Makes import path relative to program directory
2021-04-26 13:37:19 -07:00
damirka
1676d12f66
makes import path relative to program directory
2021-04-26 23:02:35 +03:00
damirka
5d359f23f5
Merge branch 'master' into feature/input-kebab
2021-04-26 22:25:10 +03:00
gluax
438c20c14d
merge master, resolve conflicts, login test is failing
2021-04-26 14:43:21 -04:00
collin
de685928e2
rename stage -> phase
2021-04-21 15:22:20 -07:00
damirka
ad86b23c01
adds search for @test(custom) inputs path in kebab case
...
- in Leo test envs can only be snake_cased
- while we suggest naming inputs and folders in kebab-case
- this patch searches for both test_input and test-input options in inputs
2021-04-21 15:27:10 +03:00
Protryon
534f36a077
compiler tests
2021-04-19 18:08:14 -07:00
gluax
7031923921
clean up comments
2021-04-19 14:36:56 -04:00
gluax
8c497f0b7a
more test coverage
2021-04-19 13:53:49 -04:00
gluax
f7ec5de7c9
fix address in test
2021-04-15 17:08:30 -04:00
gluax
0016a1beaa
update to lastest master, with FormatString rename
2021-04-15 16:55:48 -04:00
howardwu
4eac040178
chore(leo): bump version for new release
2021-04-15 13:49:42 -07:00
Collin Chin
5f46ccc026
Merge pull request #869 from AleoHQ/bug/calling-mut-method-from-immutable-context
...
bug-fix-852
2021-04-15 11:51:11 -07:00
gluax
59f86c4b34
fix call for immutable context, add it to test
2021-04-15 14:34:22 -04:00
gluax
2f7ed99f76
pull max's required semi-colon branch to ensure sameness, MD file renamed to readme
2021-04-14 18:38:49 -04:00
Protryon
df60874da9
fix tests
2021-04-14 15:27:57 -07:00
Protryon
51920b5df7
require semicolons on return
2021-04-14 15:27:57 -07:00
gluax
6e595bd845
remove escaped double quote for now, address(...) removed
2021-04-14 17:43:02 -04:00
gluax
1803925b08
semi-colon after return statements are required
2021-04-14 16:59:07 -04:00
gluax
11c78da916
formatted string -> renamed format string
2021-04-14 16:15:27 -04:00