ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-10-26 15:13:13 +03:00
Code Issues Packages Projects Releases Wiki Activity
5,789 Commits 47 Branches 43 Tags 373 MiB
bump/snarkvm-v0.11.3
Commit Graph

5789 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
d0cd
ec91d5655b Prototype dead code elimination 2023-02-21 17:09:22 -08:00
d0cd
707cd3cfce AST cleanup 2023-02-21 17:09:22 -08:00
d0cd
4b3b4a83ff Initial scaffolding for dead code elimination 2023-02-21 17:09:22 -08:00
d0cd
c8f6089be3
[Fix] Excludes inline functions from produced bytecode. (#2277) 
* Remove codegen for inline functions

* Regen expectations
 2023-02-21 14:17:11 -08:00
d0cd
74bed98a80
Merge pull request #2276 from AleoHQ/dependabot/cargo/testnet3/self_update-0.36.0 
Bump self_update from 0.35.0 to 0.36.0
 2023-02-21 07:51:17 -08:00
dependabot[bot]
c25627bee1
Bump self_update from 0.35.0 to 0.36.0 
Bumps [self_update](https://github.com/jaemk/self_update) from 0.35.0 to 0.36.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-21 10:59:54 +00:00
Collin Chin
0a738d4994 chore(leo): bump version for new release 2023-02-17 22:30:17 -05:00
d0cd
0522c2a08f
Removes unused or deprecated keywords from the grammar. (#2273) 
* Remove unused/deprecated symbols

* Remove tokens

* Update parser

* Update tests

* Regen expectations
 2023-02-17 19:25:11 -08:00
Collin Chin
4a9e40190b
bump aleo v0.3.5 (#2274) 2023-02-17 19:24:07 -08:00
d0cd
cc23fb0bea
Merge pull request #2270 from AleoHQ/fix/circleci 
Fix CircleCI scripts.
 2023-02-16 23:51:11 -08:00
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