ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-02 23:07:27 +03:00
Code Issues Packages Projects Releases Wiki Activity
6,796 Commits 53 Branches 44 Tags 331 MiB
65afb54a5b
Commit Graph

6796 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
evan-schott
7a741dbde4 Change symbol table usages (next time will just make change in ST so don't have to change everything) 2024-03-29 14:17:28 -07:00
evan-schott
1dde26baec Passing parser test 2024-03-29 14:17:28 -07:00
evan-schott
dd48b6e29c Modify parser 2024-03-29 14:17:28 -07:00
evan-schott
bc7e6c3fa2 Update AST 2024-03-29 14:17:28 -07:00
d0cd
4a3e89f877
Merge pull request #27865 from AleoHQ/fix/ci 
Fix CI
 2024-03-29 13:31:15 -07:00
Pranav Gaddamadugu
1c33fb86a9 Recache 2024-03-29 13:25:34 -07:00
Pranav Gaddamadugu
b8b1ab797c Cleanup 2024-03-29 13:22:36 -07:00
Pranav Gaddamadugu
1c87377878 Recache 2024-03-29 13:22:12 -07:00
Pranav Gaddamadugu
4fa480c16e Bump sccache 2024-03-29 13:06:51 -07:00
Pranav Gaddamadugu
baa9d00e18 Cleanup 2024-03-29 13:02:19 -07:00
Pranav Gaddamadugu
a5c649a138 Recache 2024-03-29 12:53:39 -07:00
Pranav Gaddamadugu
79e3564a6a Fmt 2024-03-29 12:38:30 -07:00
Pranav Gaddamadugu
3048dc1ffd More fix 2024-03-29 12:36:05 -07:00
Pranav Gaddamadugu
75867ac2ea Fix CI 2024-03-29 12:32:25 -07:00
d0cd
dd7caa03cf
Merge pull request #27848 from AleoHQ/tests/multi-program-tests 
[Testing] Support multi-program tests.
 2024-03-29 11:14:47 -07:00
d0cd
8c55ae403a
Merge pull request #27845 from AleoHQ/dependabot/cargo/testnet3/reqwest-0.12.2 
Bump reqwest from 0.11.24 to 0.12.2
 2024-03-29 11:12:52 -07:00
dependabot[bot]
3784bd204d
Bump reqwest from 0.11.24 to 0.12.2 
Bumps [reqwest](https://github.com/seanmonstar/reqwest) from 0.11.24 to 0.12.2.
- [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.11.24...v0.12.2)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-03-28 21:04:27 +00:00
d0cd
06c24bbef9
Merge pull request #27810 from AleoHQ/rename/disasm-retriever-crates 
[Refactor] Rename `disassembler` and `retriever` crates.
 2024-03-28 14:03:33 -07:00
Pranav Gaddamadugu
2db1c91abe Isolate namespace 2024-03-28 11:12:35 -07:00
Pranav Gaddamadugu
78ff747436 Fix CI config 2024-03-28 10:57:00 -07:00
Pranav Gaddamadugu
90fa030154 Enable caching 2024-03-28 10:48:47 -07:00
Pranav Gaddamadugu
acb5b612fe Attempt 2024-03-28 10:48:07 -07:00
Pranav Gaddamadugu
49ac49b5b1 Reenable caching 2024-03-28 10:35:32 -07:00
Pranav Gaddamadugu
02030fd60b Refresh CI cache 2024-03-28 10:34:35 -07:00
Pranav Gaddamadugu
bcf1615861 Improve reproducibility 2024-03-28 10:12:01 -07:00
Pranav Gaddamadugu
7c95d1302f Reformat expectations 2024-03-28 08:31:51 -07:00
Pranav Gaddamadugu
058d3bf79a Add complex finalization multi-program example; regen expectations 2024-03-27 20:15:24 -07:00
Pranav Gaddamadugu
4c750bc963 Support finalize execution in execute tests 2024-03-27 17:50:05 -07:00
Pranav Gaddamadugu
63dcec4d01 Fix 2024-03-26 16:26:45 -07:00
d0cd
8c70bbe394
Merge pull request #27662 from AleoHQ/dependabot/cargo/testnet3/serde-1.0.197 
Bump serde from 1.0.196 to 1.0.197
 2024-03-26 15:59:23 -07:00
Pranav Gaddamadugu
da624ba34e Regen expectations 2024-03-26 15:57:08 -07:00
Pranav Gaddamadugu
c17cdadf4f Add support for multi-file execute tests 2024-03-26 15:56:36 -07:00
Pranav Gaddamadugu
2213feb027 Directly use Process in compile tests 2024-03-26 13:10:50 -07:00
Pranav Gaddamadugu
f4af8a77d2 Add support for multi-file compile tests 2024-03-26 12:57:57 -07:00
Pranav Gaddamadugu
bcab1fc864 Rename crates 2024-03-26 10:35:55 -07:00
d0cd
8456096ac8
Merge pull request #27844 from AleoHQ/dependabot/cargo/testnet3/clap-4.5.4 
Bump clap from 4.5.2 to 4.5.4
 2024-03-26 10:27:14 -07:00
dependabot[bot]
926c37ba03
Bump clap from 4.5.2 to 4.5.4 
Bumps [clap](https://github.com/clap-rs/clap) from 4.5.2 to 4.5.4.
- [Release notes](https://github.com/clap-rs/clap/releases)
- [Changelog](https://github.com/clap-rs/clap/blob/master/CHANGELOG.md)
- [Commits](https://github.com/clap-rs/clap/compare/v4.5.2...v4.5.4)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-03-26 10:38:24 +00:00
d0cd
e351b3c043
Merge pull request #27837 from AleoHQ/dependabot/cargo/testnet3/regex-1.10.4 
Bump regex from 1.10.3 to 1.10.4
 2024-03-25 07:53:39 -07:00
d0cd
fdd05d727a
Merge pull request #27814 from AleoHQ/dependabot/cargo/testnet3/toml-0.8.12 
Bump toml from 0.8.11 to 0.8.12
 2024-03-25 07:53:19 -07:00
dependabot[bot]
aae31c7385
Bump regex from 1.10.3 to 1.10.4 
Bumps [regex](https://github.com/rust-lang/regex) from 1.10.3 to 1.10.4.
- [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.10.3...1.10.4)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-03-25 10:33:46 +00:00
dependabot[bot]
5fca6eb584
Bump toml from 0.8.11 to 0.8.12 
Bumps [toml](https://github.com/toml-rs/toml) from 0.8.11 to 0.8.12.
- [Commits](https://github.com/toml-rs/toml/compare/toml-v0.8.11...toml-v0.8.12)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-03-19 10:16:10 +00:00
dependabot[bot]
9ccbc82544
Bump serde from 1.0.196 to 1.0.197 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.196 to 1.0.197.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.196...v1.0.197)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-03-19 00:56:38 +00:00
d0cd
43f4a57a1c
Merge pull request #27677 from AleoHQ/dependabot/cargo/testnet3/tempfile-3.10.1 
Bump tempfile from 3.10.0 to 3.10.1
 2024-03-18 17:55:42 -07:00
d0cd
49d4e343be
Merge pull request #27648 from AleoHQ/dependabot/cargo/testnet3/ureq-2.9.6 
Bump ureq from 2.9.5 to 2.9.6
 2024-03-18 17:55:13 -07:00
d0cd
7109f8a1cf
Merge pull request #27776 from AleoHQ/dependabot/cargo/testnet3/walkdir-2.5.0 
Bump walkdir from 2.4.0 to 2.5.0
 2024-03-13 12:55:34 -07:00
d0cd
a26bad9d1d
Merge pull request #27636 from eltociear/patch-1 
Update mod.rs
 2024-03-13 12:21:33 -07:00
dependabot[bot]
acef83d5e3
Bump tempfile from 3.10.0 to 3.10.1 
Bumps [tempfile](https://github.com/Stebalien/tempfile) from 3.10.0 to 3.10.1.
- [Changelog](https://github.com/Stebalien/tempfile/blob/master/CHANGELOG.md)
- [Commits](https://github.com/Stebalien/tempfile/compare/v3.10.0...v3.10.1)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-03-13 19:19:30 +00:00
d0cd
9ed70d9d78
Merge pull request #27663 from AleoHQ/dependabot/cargo/testnet3/assert_cmd-2.0.14 
Bump assert_cmd from 2.0.13 to 2.0.14
 2024-03-13 12:16:37 -07:00
dependabot[bot]
24a23f5aed
Bump ureq from 2.9.5 to 2.9.6 
Bumps [ureq](https://github.com/algesten/ureq) from 2.9.5 to 2.9.6.
- [Changelog](https://github.com/algesten/ureq/blob/main/CHANGELOG.md)
- [Commits](https://github.com/algesten/ureq/compare/2.9.5...2.9.6)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-03-13 19:11:40 +00:00
dependabot[bot]
3136e8d532
Bump walkdir from 2.4.0 to 2.5.0 
Bumps [walkdir](https://github.com/BurntSushi/walkdir) from 2.4.0 to 2.5.0.
- [Commits](https://github.com/BurntSushi/walkdir/compare/2.4.0...2.5.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-03-13 19:11:01 +00:00