ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-27 04:01:47 +03:00
Code Issues Packages Projects Releases Wiki Activity
5,565 Commits 54 Branches 46 Tags 340 MiB
067dadb12b
Commit Graph

5565 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
d0cd
d1bf76e4aa
Merge pull request #2137 from AleoHQ/dependabot/cargo/testnet3/anyhow-1.0.66 
Bump anyhow from 1.0.65 to 1.0.66
 2022-10-21 12:39:32 -07:00
d0cd
e6bdf4436d
Merge pull request #2138 from HarukaMa/indexmap-ordering 
Preserve struct member order when reordering `owner` and `gates`
 2022-10-21 12:35:55 -07:00
Haruka
aab179c676 Preserve struct member order when reordering owner and gates 2022-10-22 02:46:22 +09:00
dependabot[bot]
a3e7b03066
Bump anyhow from 1.0.65 to 1.0.66 
Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.65 to 1.0.66.
- [Release notes](https://github.com/dtolnay/anyhow/releases)
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.65...1.0.66)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-10-21 10:56:44 +00:00
dependabot[bot]
22722ddde0
Bump serde from 1.0.145 to 1.0.146 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.145 to 1.0.146.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.145...v1.0.146)

---
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-21 10:56:37 +00:00
dependabot[bot]
67655ae760
Bump assert_cmd from 2.0.4 to 2.0.5 
Bumps [assert_cmd](https://github.com/assert-rs/assert_cmd) from 2.0.4 to 2.0.5.
- [Release notes](https://github.com/assert-rs/assert_cmd/releases)
- [Changelog](https://github.com/assert-rs/assert_cmd/blob/master/CHANGELOG.md)
- [Commits](https://github.com/assert-rs/assert_cmd/compare/v2.0.4...v2.0.5)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-10-21 10:56:29 +00:00
d0cd
3a8e11e278
Merge pull request #2120 from AleoHQ/feat/struct-init-order 
Supports initializing `struct`s and `record`s with its members out of order.
 2022-10-15 10:44:36 -07:00
d0cd
05ec1109db
Merge pull request #2128 from AleoHQ/fix/package-name-check 
Fix validation for package name.
 2022-10-15 10:38:23 -07:00
d0cd
977dcd37fd Update comments; clippy 2022-10-13 16:03:23 -05:00
d0cd
87252e4523 Fix validation check for package name 2022-10-13 14:21:13 -05:00
d0cd
1f9f1750fe Clippy; add compiler check 2022-10-12 00:22:55 -05:00
d0cd
264e60c6ee Update doc 2022-10-12 00:15:06 -05:00
Pranav Gaddamadugu
65f18fc7ea Regen expectations 2022-10-12 00:15:06 -05:00
Pranav Gaddamadugu
047575f9bf Fix failing case 2022-10-12 00:15:06 -05:00
Pranav Gaddamadugu
2354cc8b41 Add tests 2022-10-12 00:15:06 -05:00