Commit Graph

5667 Commits

Author SHA1 Message Date
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
d0cd
ccae285408 Minor refactors and cleaning 2023-02-10 09:07:14 -08:00
d0cd
53cbaa5f96 Initial impl of function inling 2023-02-10 09:06:26 -08:00
d0cd
3a1f66c6dd Introduce Replacer 2023-02-10 09:05:58 -08:00
d0cd
335fb6efcb Update doc to reflect function inlining occuring after flattening 2023-02-09 20:26:59 -08:00
d0cd
f7267b3daa Cleanup 2023-02-09 19:36:14 -08:00
d0cd
c934bb35b3 WIP function inlining 2023-02-09 19:36:01 -08:00
d0cd
b3ef6f79c3 Add typechecking for inline functions 2023-02-08 17:09:17 -08:00
d0cd
6a3039277e Regen exepectations 2023-02-08 16:41:32 -08:00
d0cd
b5c22e23ee Remove occurences of 'call_type' 2023-02-08 16:37:47 -08:00
d0cd
4e8cd3ce52 Add parser support for inline functions 2023-02-08 16:37:28 -08:00
d0cd
44e378b84b Rename CallType to Variant 2023-02-08 16:32:08 -08:00
d0cd
c71ed3429c Add inline keyword 2023-02-08 16:20:07 -08:00