Commit Graph

5340 Commits

Author SHA1 Message Date
collin
49786b3d79 bump snarkvm-v0.9.7 aleo-v0.3.0 2022-11-14 18:53:32 -08:00
d0cd
87bed1e766
Merge pull request #2156 from Tom-OriginStorage/testnet3
Add Fibonacci example
2022-11-11 21:05:56 -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
Tom-OriginStorage
0e00ed4eaf
Merge branch 'AleoHQ:testnet3' into testnet3 2022-11-05 15:25:58 +08:00
Tom-OriginStorage
64bd319f3d Fix issues highlighted in #2156 2022-11-05 15:25:06 +08: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
Tom-OriginStorage
e5d053e471 Add Fibonacci example 2022-11-04 18:57:55 +08: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
d0cd
adb382cb33 Add test 2022-10-27 20:17:00 -07:00
d0cd
462d3105a0 Update doc 2022-10-25 18:29:27 -07:00
d0cd
a904a1441a Add test; regen expectations 2022-10-25 16:22:47 -07:00
d0cd
9c44c38dc2 Fix logical formula 2022-10-25 16:21:57 -07:00
d0cd
fe28cabb72 Impl flattening for console statements 2022-10-25 15:54:45 -07:00
d0cd
52ff7b82c5 Refactor guard construction 2022-10-25 15:21:43 -07:00
d0cd
ebd06d292a
Merge pull request #2143 from AleoHQ/fix/ast-output
Prepend program name to AST output file.
2022-10-25 15:09:39 -07:00
d0cd
fe0266c1da Prepend program name to AST outfile 2022-10-25 10:40:23 -07:00
d0cd
8ae7c0da99 Fmt 2022-10-24 22:59:18 -07:00