ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-24 07:48:04 +03:00
Code Issues Packages Projects Releases Wiki Activity
5,679 Commits 53 Branches 44 Tags 331 MiB
95a3deac94
Commit Graph

5679 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
d0cd
f6d043c1f0
Fixes issues with function inlining from imported programs. (#2271) 
* TYC for calls to external inline functions

* Fix issue in function inlining

* Fix issue in codegen

* Remove redundant reordering of functions

* Clippy

* Update compiler/passes/src/function_inlining/inline_program.rs

Signed-off-by: Collin Chin <collin@aleo.org>

---------

Signed-off-by: Collin Chin <collin@aleo.org>
Co-authored-by: Collin Chin <collin@aleo.org>
 2023-02-16 22:13:54 -08:00
d0cd
d8bdd355ee Fix exported variables in CI 2023-02-16 13:04:14 -08:00
d0cd
751e79a66e More fixes to example scripts 
WIP scripts

WIP alias leo

WIP alias leo

WIP alias leo
 2023-02-16 12:51:19 -08:00
d0cd
9ad7a0477c Update example scripts 2023-02-16 09:13:51 -08:00
d0cd
baf34e2ecc Check exit codes in scripts 2023-02-16 08:49:13 -08:00
d0cd
5ea40453c2 Update test-examples.sh and CI config 2023-02-16 07:40:29 -08:00
d0cd
37984be2e3 Update test-examples.sh 2023-02-16 07:37:26 -08:00
d0cd
03c7d226e8 Alias the built executable 2023-02-15 23:10:57 -08:00
d0cd
b4a8dc4498 Revert to old version of AleoSDK 2023-02-15 22:22:32 -08:00
d0cd
c00a1582d6 Fix and add logging for test-examples.sh 2023-02-15 22:02:27 -08:00
d0cd
6704b4c4ed Remove pipe to null in leo-new 2023-02-15 21:57:26 -08:00
d0cd
b83b82ff92
Update dependencies. (#2266) 
* Update dependencies

* Fix Cargo.lock
 2023-02-15 13:18:14 -08:00
d0cd
fa592d1d9e
Merge pull request #2267 from AleoHQ/dependabot/cargo/testnet3/snarkvm-0.9.13 
Bump snarkvm from 0.9.12 to 0.9.13
 2023-02-15 10:20:10 -08:00
dependabot[bot]
de50dd8858
Bump snarkvm from 0.9.12 to 0.9.13 
Bumps [snarkvm](https://github.com/AleoHQ/snarkVM) from 0.9.12 to 0.9.13.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.9.12...v0.9.13)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-02-15 10:59:18 +00:00
d0cd
067dadb12b
Merge pull request #2263 from AleoHQ/feat/record-visibility 
[Feature] Visibilities for record members.
 2023-02-14 16:38:54 -08:00
d0cd
b4f3568009
Merge pull request #2262 from AleoHQ/feat/function-inlining 
[Feature] Function Inlining
 2023-02-14 16:38:38 -08:00
d0cd
1dc0328ff0
Merge pull request #2259 from AleoHQ/dependabot/cargo/testnet3/anyhow-1.0.69 
Bump anyhow from 1.0.68 to 1.0.69
 2023-02-14 16:32:04 -08:00
d0cd
cf22bc75bb Address feedback 2023-02-14 16:30:12 -08:00
d0cd
b94d25c8d6
Merge pull request #2264 from AleoHQ/dependabot/cargo/testnet3/self_update-0.35.0 
Bump self_update from 0.34.0 to 0.35.0
 2023-02-13 09:23:26 -08:00
dependabot[bot]
dd52a7904b
Bump self_update from 0.34.0 to 0.35.0 
Bumps [self_update](https://github.com/jaemk/self_update) from 0.34.0 to 0.35.0.
- [Release notes](https://github.com/jaemk/self_update/releases)
- [Changelog](https://github.com/jaemk/self_update/blob/master/CHANGELOG.md)
- [Commits](https://github.com/jaemk/self_update/commits)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-02-13 11:04:11 +00:00
dependabot[bot]
fd0e3c70f0
Bump anyhow from 1.0.68 to 1.0.69 
Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.68 to 1.0.69.
- [Release notes](https://github.com/dtolnay/anyhow/releases)
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.68...1.0.69)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-02-11 14:29:49 +00:00
d0cd
72881936e5
Merge pull request #2258 from AleoHQ/dependabot/cargo/testnet3/snarkvm-0.9.12 
Bump snarkvm from 0.9.11 to 0.9.12
 2023-02-11 06:27:11 -08:00
d0cd
2158710d47 Update test 2023-02-10 23:07:22 -08:00
d0cd
a7f560e212 Regen expectations 2023-02-10 22:56:26 -08:00
d0cd
789bc52585 Add execution test 2023-02-10 22:56:14 -08:00
d0cd
ea1607ca81 Test framework removes group nonces 2023-02-10 22:55:59 -08:00
d0cd
4b28d81882 Regen other expectations 2023-02-10 21:51:54 -08:00
d0cd
f4a4a98d20 Add expectations for new tests 2023-02-10 21:50:57 -08:00
d0cd
ea077c83d5 Add compile tests for records and structs with visibilities 2023-02-10 21:44:30 -08:00
d0cd
cd21c1b01e Add parser tests for records and structs with visibilities 2023-02-10 21:38:38 -08:00
d0cd
f269a3c609 Add codegen support for records with visibilities 2023-02-10 21:35:37 -08:00
d0cd
a6663db934 Typechecking for structs with members 2023-02-10 21:31:10 -08:00
d0cd
5001f3abde Add parser support for visibilities on structs 2023-02-10 21:21:29 -08:00
d0cd
47fa89b012 Refactor mode 2023-02-10 21:21:06 -08:00
d0cd
05ffefbb79 Add mode to Member 2023-02-10 21:07:44 -08:00
d0cd
55bae5a71b Fmt 2023-02-10 17:44:01 -08:00
d0cd
1dd5887518 Clippy and cleanup 2023-02-10 16:50:59 -08:00
d0cd
bf49a0cc48 Generate expectations 2023-02-10 16:26:25 -08:00
d0cd
1612bcccba Add equivalence integration test for inlined functions 2023-02-10 16:25:32 -08:00
d0cd
0be98e30b7 Add compiler tests 2023-02-10 15:15:03 -08:00
d0cd
532ad7ea14 Add parser tests 2023-02-10 15:12:55 -08:00
d0cd
0afe0e12f9 Inliner uses AssignmentRenamer instead of SSA; address edge cases 2023-02-10 15:09:59 -08:00
d0cd
475a5b7870 Fix issue in flattening 2023-02-10 15:09:34 -08:00
d0cd
c70c018109 Refactor replacer 2023-02-10 15:08:23 -08:00
d0cd
a2ca077516 Introduce AssignmentRenamer 2023-02-10 15:07:58 -08:00
d0cd
c719489659 Fix parsing 2023-02-10 11:13:18 -08:00
d0cd
98c7825833 Regen expectations 2023-02-10 09:48:54 -08:00
d0cd
d2381767e9 Remove greedy inlining 2023-02-10 09:47:42 -08:00
d0cd
79bf13ff8e Integrate function inlining into test framework 2023-02-10 09:30:43 -08:00
d0cd
31592a9b02 Integrate function inlining into compiler 2023-02-10 09:30:28 -08:00