ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-09-11 05:45:30 +03:00
Code Issues Packages Projects Releases Wiki Activity
7,019 Commits 44 Branches 42 Tags 359 MiB
d725f37fdd
Commit Graph

7019 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
evan-schott
27ef7e5cd0 Add tests 2024-04-15 18:38:03 -07:00
evan-schott
c296f61f2f Refactor ST to account for fact that local records can have program None 2024-04-15 18:35:30 -07:00
evan-schott
0a4e5b3642 Prevent duplicate definitions of external structs from being written 2024-04-15 18:33:49 -07:00
evan-schott
e9c996f774 Refactor: all structs parsed as having None program 2024-04-15 18:32:12 -07:00
evan-schott
5f32d736ca Refactor: remove external 2024-04-15 18:31:10 -07:00
Pranav Gaddamadugu
d8216a4d6e Regen expectations 2024-04-13 10:49:32 -07:00
evan-schott
004484b58c refactor ntzseals 2024-04-11 14:19:08 -07:00
evan-schott
71c39b5c31 update expectations 2024-04-11 12:02:09 -07:00
evan-schott
e6ba5069dc Fix suggestions 2024-04-10 16:11:51 -07:00
evan-schott
17c35d11af Refactor all tests to get rid of finalize syntax 2024-04-10 15:56:30 -07:00
evan-schott
915ced57bd Switch explicit future typing syntax to match rust 2024-04-10 11:48:41 -07:00
d0cd
80568741ad
Merge pull request #27898 from AleoHQ/dependabot/cargo/testnet3/anyhow-1.0.82 
Bump anyhow from 1.0.81 to 1.0.82
 2024-04-10 10:33:13 -05:00
dependabot[bot]
098700f374
Bump anyhow from 1.0.81 to 1.0.82 
Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.81 to 1.0.82.
- [Release notes](https://github.com/dtolnay/anyhow/releases)
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.81...1.0.82)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-04-10 10:31:55 +00:00
evan-schott
ee9cbd912d write examples using new async syntax 2024-04-09 13:53:26 -07:00
evan-schott
e47ddb458e clippy 2024-04-09 11:52:19 -07:00
evan-schott
1ac7f7f67c fmt 2024-04-09 11:43:03 -07:00
evan-schott
00ce6eb045 explicit future tests 2024-04-09 11:38:57 -07:00
evan-schott
bf95c4966a parsing ambiguous explicit future types. Ex: Future<u32, Future<u32>> 2024-04-09 11:38:41 -07:00
evan-schott
5903635fa3 enable explicit typing for futures 2024-04-09 11:36:55 -07:00
evan-schott
a2fce7a968 misc revisions 2024-04-09 11:34:16 -07:00
d0cd
b7b58a1030
Merge pull request #27896 from AleoHQ/dependabot/cargo/testnet3/reqwest-0.12.3 
Bump reqwest from 0.12.2 to 0.12.3
 2024-04-09 13:00:07 -05:00
evan-schott
bf9484c975
Update errors/src/errors/type_checker/type_checker_error.rs 
Co-authored-by: d0cd <23022326+d0cd@users.noreply.github.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
 2024-04-08 11:47:06 -07:00
evan-schott
01788ac332
Update errors/src/errors/type_checker/type_checker_error.rs 
Co-authored-by: d0cd <23022326+d0cd@users.noreply.github.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
 2024-04-08 11:46:49 -07:00
evan-schott
84abefe764
Update errors/src/errors/type_checker/type_checker_error.rs 
Co-authored-by: d0cd <23022326+d0cd@users.noreply.github.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
 2024-04-08 11:46:39 -07:00
evan-schott
a09a6fae85
Update compiler/span/src/symbol.rs 
Co-authored-by: d0cd <23022326+d0cd@users.noreply.github.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
 2024-04-08 11:46:15 -07:00
evan-schott
62849540fe
Update errors/src/errors/type_checker/type_checker_error.rs 
Co-authored-by: d0cd <23022326+d0cd@users.noreply.github.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
 2024-04-08 11:45:34 -07:00
evan-schott
6ae10e5889
Update errors/src/errors/type_checker/type_checker_error.rs 
Co-authored-by: d0cd <23022326+d0cd@users.noreply.github.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
 2024-04-08 11:45:04 -07:00
evan-schott
8905f73670
Update compiler/passes/src/symbol_table_creation/creator.rs 
Co-authored-by: d0cd <23022326+d0cd@users.noreply.github.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
 2024-04-08 11:44:22 -07:00
evan-schott
b1c56c1fa1
Update errors/src/errors/type_checker/type_checker_error.rs 
Co-authored-by: d0cd <23022326+d0cd@users.noreply.github.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
 2024-04-08 11:43:51 -07:00
evan-schott
59e7c6c35c
Update compiler/span/src/symbol.rs 
Co-authored-by: d0cd <23022326+d0cd@users.noreply.github.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
 2024-04-08 11:43:35 -07:00
evan-schott
295e304bcb
Update compiler/passes/src/flattening/flatten_program.rs 
Co-authored-by: d0cd <23022326+d0cd@users.noreply.github.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
 2024-04-08 11:43:13 -07:00
evan-schott
1c6b4403c7
Update compiler/passes/src/destructuring/destructure_statement.rs 
Co-authored-by: d0cd <23022326+d0cd@users.noreply.github.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
 2024-04-08 11:42:55 -07:00
evan-schott
0718d4dc33
Update errors/src/errors/type_checker/type_checker_warning.rs 
Co-authored-by: d0cd <23022326+d0cd@users.noreply.github.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
 2024-04-08 11:33:21 -07:00
evan-schott
b422657944 Forbit explicit inclusion of async function return type 2024-04-08 11:27:42 -07:00
evan-schott
5790124de4 test parity with snarkVM 2024-04-08 11:18:45 -07:00
evan-schott
14f08b4917 Fixed DCE bug 2024-04-08 11:17:33 -07:00
evan-schott
228a0ae9b7 Transform method calls into associated functions 2024-04-08 11:17:11 -07:00
evan-schott
0ed5cd6924 Retrieve external future locations during disassembling instead of in TYC 2024-04-08 11:15:48 -07:00
evan-schott
e99d7df699 Refactor FutureType to introduce location field to store which program/function the future comes from 2024-04-08 11:09:57 -07:00
dependabot[bot]
1ac824f69f
Bump reqwest from 0.12.2 to 0.12.3 
Bumps [reqwest](https://github.com/seanmonstar/reqwest) from 0.12.2 to 0.12.3.
- [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.2...v0.12.3)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-04-08 10:47:01 +00:00
d0cd
c78528ecbb
Merge pull request #27889 from AleoHQ/dependabot/cargo/h2-0.3.26 
Bump h2 from 0.3.25 to 0.3.26
 2024-04-05 14:56:53 -07:00
dependabot[bot]
50a2a0048e
Bump h2 from 0.3.25 to 0.3.26 
Bumps [h2](https://github.com/hyperium/h2) from 0.3.25 to 0.3.26.
- [Release notes](https://github.com/hyperium/h2/releases)
- [Changelog](https://github.com/hyperium/h2/blob/v0.3.26/CHANGELOG.md)
- [Commits](https://github.com/hyperium/h2/compare/v0.3.25...v0.3.26)

---
updated-dependencies:
- dependency-name: h2
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <support@github.com>
 2024-04-05 15:10:24 +00:00
evan-schott
9889aa01c5 Refactor Variant to account for asynchronous function variants 2024-04-03 17:00:03 -07:00
evan-schott
e7ac5e0bf1 running 2024-04-03 15:59:57 -07:00
evan-schott
abd5235091 merge 2024-04-03 14:37:05 -07:00
Pranav Gaddamadugu
e7ddc5240f Update CI 2024-04-02 10:46:00 -07:00
Pranav Gaddamadugu
26dba19d88 Clippy 2024-04-02 10:19:46 -07:00
Pranav Gaddamadugu
f6fde0d725 Merge branch 'testnet3' into mainnet 2024-04-02 09:49:25 -07:00
Pranav Gaddamadugu
b3c3714044 Regen expectations 2024-04-02 08:40:32 -07:00
d0cd
55fff52eea
Merge pull request #27869 from metavind/fix/tic-tac-toe 
fix: correct typos for win check in tic-tac-toe
 2024-04-01 17:06:34 -07:00