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

7334 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Pranav Gaddamadugu
67e5b0e13e Fix Rust checkout for Linux musl 2024-11-19 16:19:08 -08:00
Pranav Gaddamadugu
cc121171b3 chore(leo): bump version for new release 2024-11-19 16:06:21 -08:00
d0cd
8d316932c6
Merge pull request #28450 from ProvableHQ/fix/ci 
[Fix] Minor fixes to Leo CI.
 2024-11-19 14:39:14 -08:00
Pranav Gaddamadugu
b16d9ac667 More granularity on tracked changes 2024-11-19 10:59:29 -08:00
Pranav Gaddamadugu
53319d93dc Make watched files in build script more granular 2024-11-19 10:54:14 -08:00
Pranav Gaddamadugu
4323c1e1ce Fix 2024-11-19 08:25:40 -08:00
Pranav Gaddamadugu
2d15fb58be Fix usage of cargo-mtime 2024-11-19 08:22:27 -08:00
Pranav Gaddamadugu
16b882be79 Minor tweaks 2024-11-19 08:18:06 -08:00
Pranav Gaddamadugu
c532c01e90 Attempt to sanitize mtimes 2024-11-19 08:10:07 -08:00
Pranav Gaddamadugu
216b52a570 Update examples 2024-11-19 07:53:35 -08:00
Pranav Gaddamadugu
82585fa7ce Update examples CI script 2024-11-18 19:35:26 -08:00
Pranav Gaddamadugu
2bf7bfa34f Update leo-executable CI 2024-11-18 19:32:21 -08:00
Pranav Gaddamadugu
b101f55106 Fix codecov CI 2024-11-18 19:27:16 -08:00
d0cd
bcdb1f57d2
Merge pull request #28443 from ProvableHQ/feat/analyzers 
[Fix] Introduce `StaticAnalysis` pass and add checks on usage of async code for safety.
 2024-11-18 08:13:30 -08:00
d0cd
166a3c32e6
Merge pull request #28440 from ProvableHQ/feat/cli-new-version-notification 
[Feature] CLI Update Notification.
 2024-11-15 07:23:58 -08:00
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
Pranav Gaddamadugu
bc848efba2 Address comments in review 2024-11-08 13:32:11 -08:00
Pranav Gaddamadugu
27630b8d37 Merge remote-tracking branch 'ungaro/alp/new-version-notification' into feat/cli-new-version-notification 2024-11-08 13:31:54 -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