ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-22 13:25:30 +03:00
Code Issues Packages Projects Releases Wiki Activity
7,313 Commits 53 Branches 44 Tags 331 MiB
ec67f3d0cc
Commit Graph

7313 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Pranav Gaddamadugu
ec67f3d0cc Regen expectations 2024-11-14 16:11:30 -08:00
Pranav Gaddamadugu
87072d7958 Fix and pass tests 2024-11-14 15:19:41 -08:00
Pranav Gaddamadugu
f27d1573a2 Fix and regen some expectations 2024-11-14 07:23:34 -08:00
Pranav Gaddamadugu
d3b0780907 Add check for complex async call 2024-11-13 19:05:42 -08:00
Pranav Gaddamadugu
5501a405c2 Cleanup 2024-11-13 18:14:55 -08:00
Pranav Gaddamadugu
1379843a8f Add check for futures awaited out of order 2024-11-13 18:13:22 -08:00
Pranav Gaddamadugu
b87a79d991 Introduce StaticAnalyzer pass; move future await checking to this pass 2024-11-13 16:35:55 -08:00
d0cd
1e31a9045a
Merge pull request #28433 from ProvableHQ/shadowing 
Disallow local variables from shadowing functions, structs, mappings,…
 2024-11-06 18:54:50 -08:00
d0cd
333d3eb563
Merge pull request #28434 from ProvableHQ/long-ids 
Update MSRV; disallow long IDs
 2024-11-06 18:43:44 -08:00
d0cd
0178e67ca7
Merge pull request #28438 from ProvableHQ/fix/headers 
[Fix] Update HTTP headers in Leo CLI.
 2024-11-06 18:39:24 -08:00
Pranav Gaddamadugu
fe856e2cb9 Fix http headers 2024-11-06 13:50:16 -08:00
Michael Benfield
b66db0329e Parse error on identifiers that are too long. 
SnarkVM requires that identifiers fit in a field
element.
 2024-11-06 08:32:26 -08:00
Michael Benfield
003383762d Disallow local variables from shadowing functions, structs, mappings, etc. 2024-11-05 12:17:55 -08:00
Michael Benfield
4afc757216 Update MSRV in all the other crates to match. 2024-11-04 13:24:00 -08:00
d0cd
180bd99ddf
Merge pull request #28414 from ProvableHQ/ci/integration-tests-to-circle-ci 
[CI] Move integration tests to CircleCI
 2024-11-03 12:39:12 -08:00
Pranav Gaddamadugu
b85043a46b Fix codecov job 2024-11-01 15:59:24 -07:00
Pranav Gaddamadugu
9f5579cfdf More cleanup 2024-11-01 14:54:54 -07:00
Pranav Gaddamadugu
9ddb0301b6 More fixes 2024-11-01 14:51:42 -07:00
Pranav Gaddamadugu
1cbd975a92 Fix 2024-11-01 14:47:05 -07:00
Pranav Gaddamadugu
70ce600e2b More fix 2024-11-01 13:55:51 -07:00
Pranav Gaddamadugu
8123b2b052 Fix 2024-11-01 13:53:28 -07:00
Pranav Gaddamadugu
3f0f274dba Fix 2024-11-01 13:52:43 -07:00
Pranav Gaddamadugu
2dd93adfa0 Fix 2024-11-01 13:31:01 -07:00
Pranav Gaddamadugu
3cafd3ec32 Move docs CI to circle 2024-11-01 13:25:02 -07:00
Pranav Gaddamadugu
cccd861e81 Tweak 2024-11-01 12:13:21 -07:00
Pranav Gaddamadugu
06b1d98f02 Remove verbosity 2024-11-01 09:39:31 -07:00
Pranav Gaddamadugu
819fa2f6d9 Merge branch 'mainnet' into ci/integration-tests-to-circle-ci 2024-11-01 09:35:37 -07:00
Pranav Gaddamadugu
86d909b7da Lock 2024-11-01 09:33:52 -07:00
Pranav Gaddamadugu
cb468d9112 Test release build in CI 2024-11-01 09:33:15 -07:00
d0cd
64649284b0
Merge pull request #28427 from ProvableHQ/dependabot/cargo/mainnet/serde-1.0.214 
Bump serde from 1.0.213 to 1.0.214
 2024-10-29 10:27:47 -07:00
d0cd
5a4e76cd4f
Merge pull request #28426 from ProvableHQ/dependabot/cargo/mainnet/reqwest-0.12.9 
Bump reqwest from 0.12.8 to 0.12.9
 2024-10-29 10:27:32 -07:00
dependabot[bot]
46340db689
Bump serde from 1.0.213 to 1.0.214 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.213 to 1.0.214.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.213...v1.0.214)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-10-29 10:45:36 +00:00
dependabot[bot]
27f7ba206d
Bump reqwest from 0.12.8 to 0.12.9 
Bumps [reqwest](https://github.com/seanmonstar/reqwest) from 0.12.8 to 0.12.9.
- [Release notes](https://github.com/seanmonstar/reqwest/releases)
- [Changelog](https://github.com/seanmonstar/reqwest/blob/master/CHANGELOG.md)
- [Commits](https://github.com/seanmonstar/reqwest/compare/v0.12.8...v0.12.9)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-10-29 10:45:03 +00:00
d0cd
185faa56f5
Merge pull request #28423 from ProvableHQ/dependabot/cargo/mainnet/regex-1.11.1 
Bump regex from 1.11.0 to 1.11.1
 2024-10-26 15:32:51 -07:00
dependabot[bot]
30607759c8
Bump regex from 1.11.0 to 1.11.1 
Bumps [regex](https://github.com/rust-lang/regex) from 1.11.0 to 1.11.1.
- [Release notes](https://github.com/rust-lang/regex/releases)
- [Changelog](https://github.com/rust-lang/regex/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-lang/regex/compare/1.11.0...1.11.1)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-10-25 11:04:46 +00:00
d0cd
5edcfa7426
Merge pull request #28422 from ProvableHQ/docs/fix-links 
[Docs] Fix broken links
 2024-10-24 11:37:30 -07:00
Pranav Gaddamadugu
4f1e38fdb3 Fix broken links 2024-10-23 22:16:52 -07:00
Pranav Gaddamadugu
2cd150039b More cleanup 2024-10-23 22:14:49 -07:00
d0cd
1a2e5d9473
Merge pull request #28421 from ProvableHQ/toml-output 
Don't panic when outputting TOML arrays in test failures.
 2024-10-23 16:51:04 -07:00
d0cd
c505dda482
Merge pull request #28417 from ProvableHQ/empty-closure 
Handle closures that are invalid for Aleo.
 2024-10-23 16:42:27 -07:00
Pranav Gaddamadugu
94dab70da8 Update deps 2024-10-23 13:30:50 -07:00
Pranav Gaddamadugu
2f275b797d Update cache keys 2024-10-23 12:19:42 -07:00
Michael Benfield
0a5a6985f1 Handle closures that are invalid for Aleo. 
In particular,

1. Insert a dummy instruction for empty closures
and finalizers. SnarkVM won't parse these with no instructions.

2. Give an error for Leo functions with
no parameters (rather than just generating
an invalid Aleo closure).

Fixes #28401
 2024-10-23 12:03:12 -07:00
dependabot[bot]
0cda2c20be Bump thiserror from 1.0.64 to 1.0.65 
Bumps [thiserror](https://github.com/dtolnay/thiserror) from 1.0.64 to 1.0.65.
- [Release notes](https://github.com/dtolnay/thiserror/releases)
- [Commits](https://github.com/dtolnay/thiserror/compare/1.0.64...1.0.65)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-10-23 11:15:33 -07:00
dependabot[bot]
f2d038e6b7 Bump serde from 1.0.211 to 1.0.213 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.211 to 1.0.213.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.211...v1.0.213)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-10-23 10:47:44 -07:00
dependabot[bot]
acfe23423b Bump anyhow from 1.0.90 to 1.0.91 
Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.90 to 1.0.91.
- [Release notes](https://github.com/dtolnay/anyhow/releases)
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.90...1.0.91)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-10-23 10:47:12 -07:00
Michael Benfield
322f2f7ce4 Don't panic when outputting TOML arrays in test failures. 
TOML can't serialize arrays as the top level type.
Some of our test cases have TOML arrays as expected output.
Thus sometimes failed tests will panic when trying to report
expected and found output. Instead, we now manually "serialize"
TOML arrays.
 2024-10-23 10:31:14 -07:00
d0cd
114e215777
Merge pull request #28413 from ProvableHQ/extra-lines 
Consistently make 1 empty line between output items in codegen.
 2024-10-22 18:20:18 -07:00
Pranav Gaddamadugu
aa644a01da More cleanup 2024-10-22 18:14:34 -07:00
Pranav Gaddamadugu
3a348db313 Clean up Codecov to use Rust cache 2024-10-22 18:13:33 -07:00