d0cd
|
367dc8b536
|
Regen expectations
|
2022-11-08 15:49:47 -08:00 |
|
d0cd
|
c07e07d9d1
|
Fix tuple flattening
|
2022-11-08 15:49:47 -08:00 |
|
d0cd
|
295cd7c96f
|
Refactor tests
|
2022-11-08 15:49:47 -08:00 |
|
d0cd
|
c651da0581
|
wip tuples
|
2022-11-08 15:49:47 -08:00 |
|
d0cd
|
4963a11ee7
|
More tyc restricting nested tuples
|
2022-11-08 15:49:47 -08:00 |
|
d0cd
|
2839de13c6
|
Forbid tuples in input and output types
|
2022-11-08 15:49:47 -08:00 |
|
d0cd
|
29369b2a42
|
Better tyc for tuples in composite data types
|
2022-11-08 15:49:47 -08:00 |
|
d0cd
|
fdddb8054a
|
Remove flattening circuits and nested tuples
|
2022-11-08 15:49:47 -08:00 |
|
Pranav Gaddamadugu
|
6ae2d9727b
|
Cleanup
|
2022-11-08 15:49:47 -08:00 |
|
Pranav Gaddamadugu
|
605f675ff6
|
More tyc
|
2022-11-08 15:49:47 -08:00 |
|
Pranav Gaddamadugu
|
6d82f83c37
|
WIP
|
2022-11-08 15:49:46 -08:00 |
|
Pranav Gaddamadugu
|
b622d35d8f
|
Implement logic for flattening circuit definitions
|
2022-11-08 15:49:46 -08:00 |
|
Pranav Gaddamadugu
|
9994a0451f
|
wip: basic tyc for empty and singleton tuples
|
2022-11-08 15:49:46 -08:00 |
|
Pranav Gaddamadugu
|
8d204a898b
|
Add tests for tuples
|
2022-11-08 15:49:46 -08:00 |
|
Collin Chin
|
e05ff89406
|
Merge pull request #2161 from AleoHQ/update/interface-and-version
Update version.
|
2022-11-07 19:30:12 -08:00 |
|
collin
|
e91b52dc80
|
push cargo lock
|
2022-11-07 19:18:19 -08:00 |
|
collin
|
12267cd99d
|
merge snarkvm v0.9.3
|
2022-11-07 19:14:51 -08:00 |
|
collin
|
dee937c040
|
update snarkvm v0.9.3
|
2022-11-07 19:01:06 -08:00 |
|
d0cd
|
2341f293f6
|
Update snarkVM dependencies
|
2022-11-07 16:22:58 -08:00 |
|
d0cd
|
a05b7e6b70
|
Codegen uses struct instead of interface
|
2022-11-05 18:18:48 -07:00 |
|
Collin Chin
|
ca31716054
|
Merge pull request #2157 from AleoHQ/update/snarkvm-aleo-version
bump snarkvm to 0.9.1 bump aleo rev
|
2022-11-04 18:40:55 -07:00 |
|
collin
|
6f311e7602
|
bump snarkvm to 0.9.1 bump aleo rev
|
2022-11-04 18:31:59 -07:00 |
|
Collin Chin
|
0ec95c49d2
|
Merge pull request #2125 from AleoHQ/dependabot/cargo/testnet3/zip-0.6.3
Bump zip from 0.6.2 to 0.6.3
|
2022-11-04 13:01:06 -07:00 |
|
Collin Chin
|
f68b117907
|
Merge pull request #2153 from AleoHQ/dependabot/cargo/testnet3/scoped-tls-1.0.1
Bump scoped-tls from 1.0.0 to 1.0.1
|
2022-11-04 13:00:22 -07:00 |
|
Collin Chin
|
89d6599313
|
Merge pull request #2152 from AleoHQ/fix/disable-strings
Temporarily disable strings until they are supported in snarkVM.
|
2022-11-04 13:00:01 -07:00 |
|
dependabot[bot]
|
36b1c266cb
|
Bump zip from 0.6.2 to 0.6.3
Bumps [zip](https://github.com/zip-rs/zip) from 0.6.2 to 0.6.3.
- [Release notes](https://github.com/zip-rs/zip/releases)
- [Commits](https://github.com/zip-rs/zip/commits)
---
updated-dependencies:
- dependency-name: zip
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2022-11-04 19:51:05 +00:00 |
|
Collin Chin
|
273d46d9f0
|
Merge pull request #2155 from AleoHQ/doc/install
Update install docs to include troubleshooting guide.
|
2022-11-04 12:48:33 -07:00 |
|
collin
|
e6c3700945
|
merge testnet3
|
2022-11-04 12:46:32 -07:00 |
|
Collin Chin
|
d329181999
|
Merge pull request #2151 from AleoHQ/fix/span-for-function-call-tyc
Better error messages for mistyped function calls.
|
2022-11-04 12:34:08 -07:00 |
|
Collin Chin
|
1c7fefac53
|
Merge pull request #2150 from AleoHQ/fix/tyc-for-member-access
Fix type checking for member access.
|
2022-11-04 12:33:37 -07:00 |
|
collin
|
3226120503
|
fix clippy lints
|
2022-11-04 12:28:59 -07:00 |
|
Collin Chin
|
8e586fe7d4
|
Merge pull request #2119 from AleoHQ/fix/disallow-nested-imports
Disallows imports beyond one level of nesting.
|
2022-11-04 12:11:02 -07:00 |
|
d0cd
|
6621ba1bec
|
Update install docs to include troubleshooting guide
|
2022-11-02 21:44:32 -07:00 |
|
dependabot[bot]
|
33643f5be0
|
Bump scoped-tls from 1.0.0 to 1.0.1
Bumps [scoped-tls](https://github.com/alexcrichton/scoped-tls) from 1.0.0 to 1.0.1.
- [Release notes](https://github.com/alexcrichton/scoped-tls/releases)
- [Commits](https://github.com/alexcrichton/scoped-tls/compare/1.0.0...1.0.1)
---
updated-dependencies:
- dependency-name: scoped-tls
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2022-11-01 10:25:07 +00:00 |
|
d0cd
|
474355dde6
|
Regen expectations
|
2022-10-31 20:12:02 -07:00 |
|
Pranav Gaddamadugu
|
7e70da2326
|
Implement check for nested import
|
2022-10-31 18:05:46 -07:00 |
|
Pranav Gaddamadugu
|
41a8bc5a73
|
Add span associated with the import statement to ast
|
2022-10-31 18:05:14 -07:00 |
|
d0cd
|
b0fdb5cd69
|
Regen expectations
|
2022-10-31 18:01:04 -07:00 |
|
d0cd
|
43919a9644
|
Disable string type in type checker
|
2022-10-31 18:01:04 -07:00 |
|
d0cd
|
3c2da076ff
|
Merge pull request #2144 from AleoHQ/fix/conditional-assert
Fixes flattening for `console` statements.
|
2022-10-31 17:11:43 -07:00 |
|
d0cd
|
c4279e2a83
|
Merge pull request #2146 from AleoHQ/fix/tyc-for-loop-bounds
Fix/tyc for loop bounds
|
2022-10-31 17:11:19 -07:00 |
|
d0cd
|
160a89494f
|
Merge pull request #2142 from AleoHQ/fix/finalize-output
Fix output type for finalize block.
|
2022-10-31 17:02:27 -07:00 |
|
d0cd
|
691ceae4a1
|
Regen expectations
|
2022-10-31 13:53:56 -07:00 |
|
d0cd
|
0b7d5c4892
|
Implement fix
|
2022-10-31 13:53:40 -07:00 |
|
d0cd
|
ba84d0892c
|
Add tests
|
2022-10-31 13:53:02 -07:00 |
|
d0cd
|
b32bfba376
|
Fmt; clippy
|
2022-10-31 13:16:32 -07:00 |
|
d0cd
|
e2170e0d55
|
Regen expectations
|
2022-10-31 13:14:30 -07:00 |
|
d0cd
|
76d302dbad
|
Implement fix; fix span produced by parser
|
2022-10-31 13:14:15 -07:00 |
|
d0cd
|
f1ca580e5a
|
Add test case
|
2022-10-31 13:13:49 -07:00 |
|
d0cd
|
9907d89886
|
Implement fix
|
2022-10-27 20:21:18 -07:00 |
|