ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-25 19:22:01 +03:00
Code Issues Packages Projects Releases Wiki Activity
5,330 Commits 54 Branches 46 Tags 340 MiB
dee937c040
Commit Graph

5330 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
collin
dee937c040 update snarkvm v0.9.3 2022-11-07 19:01: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
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
d0cd
e07887e9c7 Cleanup 2022-10-24 22:44:43 -07:00
d0cd
df01360010 Clippy 2022-10-24 22:41:10 -07:00
d0cd
a11be415fa Add tests; regen expectations 2022-10-24 22:18:22 -07:00
d0cd
28eb05f56d Implement fix 2022-10-24 22:18:05 -07:00
d0cd
9e728554a2
Merge pull request #2139 from AleoHQ/dependabot/cargo/testnet3/serde-1.0.147 
Bump serde from 1.0.146 to 1.0.147
 2022-10-24 11:49:34 -07:00
d0cd
558097bba6
Merge pull request #2141 from AleoHQ/dependabot/cargo/testnet3/abnf-0.13.0 
Bump abnf from 0.12.0 to 0.13.0
 2022-10-24 11:48:51 -07:00
dependabot[bot]
c5dfd9278a
Bump abnf from 0.12.0 to 0.13.0 
Bumps [abnf](https://github.com/duesee/abnf) from 0.12.0 to 0.13.0.
- [Release notes](https://github.com/duesee/abnf/releases)
- [Changelog](https://github.com/duesee/abnf/blob/main/CHANGELOG.md)
- [Commits](https://github.com/duesee/abnf/commits/v0.13.0)

---
updated-dependencies:
- dependency-name: abnf
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-10-24 10:18:05 +00:00
dependabot[bot]
3af57cbfc5
Bump serde from 1.0.146 to 1.0.147 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.146 to 1.0.147.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.146...v1.0.147)

---
updated-dependencies:
- dependency-name: serde
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-10-24 10:17:51 +00:00
d0cd
f362da420b
Merge pull request #2135 from AleoHQ/dependabot/cargo/testnet3/assert_cmd-2.0.5 
Bump assert_cmd from 2.0.4 to 2.0.5
 2022-10-21 12:42:25 -07:00
d0cd
44722d1fbf
Merge pull request #2136 from AleoHQ/dependabot/cargo/testnet3/serde-1.0.146 
Bump serde from 1.0.145 to 1.0.146
 2022-10-21 12:40:28 -07:00