ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-27 20:24:52 +03:00
Code Issues Packages Projects Releases Wiki Activity
5,892 Commits 54 Branches 46 Tags 340 MiB
db46d472b5
Commit Graph

5892 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
dependabot[bot]
6007e3e88e
Bump snarkvm from 0.9.11 to 0.9.12 
Bumps [snarkvm](https://github.com/AleoHQ/snarkVM) from 0.9.11 to 0.9.12.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.9.11...v0.9.12)

---
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-08 21:42:55 +00:00
d0cd
b70ce72305
Merge pull request #2256 from AleoHQ/feat/full-integration-tests 
Add support for full integration tests.
 2023-02-08 13:28:29 -08:00
d0cd
12de60e55d Update expectations 2023-02-08 12:16:02 -08:00
d0cd
afac7b55bc Add more test cases; fmt 2023-02-08 11:32:53 -08:00
d0cd
b921f959b4 Fmt & clippy 2023-02-08 11:32:53 -08:00
d0cd
641cbf251d Cleanup test files 2023-02-08 11:32:53 -08:00
d0cd
ef0e455e2b Add support for expected errors 2023-02-08 11:32:53 -08:00
d0cd
f0c7314e17 Regen expectations 2023-02-08 11:32:53 -08:00
d0cd
44eb8ad453 Cleanup; add bytecode to expected outputs 2023-02-08 11:27:29 -08:00
d0cd
04ba80f59a Reorganize tests files 2023-02-08 11:27:28 -08:00
d0cd
59915ed315 Initial implementation of Execute namespace; fmt 2023-02-08 11:21:20 -08:00
d0cd
789c2e6443 Remove input files from compiler tests 2023-02-08 11:18:40 -08:00
d0cd
085f8fbdae Factor out test helpers 2023-02-08 11:14:22 -08:00
d0cd
dc92ec36d2 Refactor tests to separate directory 2023-02-08 11:13:41 -08:00
d0cd
3bfd4c652e
Merge pull request #2261 from AleoHQ/dependabot/cargo/testnet3/toml-0.7.2 
Bump toml from 0.7.1 to 0.7.2
 2023-02-08 11:07:24 -08:00
dependabot[bot]
230d632145
Bump toml from 0.7.1 to 0.7.2 
Bumps [toml](https://github.com/toml-rs/toml) from 0.7.1 to 0.7.2.
- [Release notes](https://github.com/toml-rs/toml/releases)
- [Commits](https://github.com/toml-rs/toml/compare/toml-v0.7.1...toml-v0.7.2)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-02-08 10:04:35 +00:00
d0cd
86f83be9f0
Merge pull request #2178 from AleoHQ/feat/graph 
Add `DiGraph` data structure.
 2023-02-05 14:49:24 -08:00
d0cd
4bb6ceb5ea Update license and clippy 2023-02-05 13:43:10 -08:00
d0cd
0a8b41b025 Address feedback 2023-02-05 12:46:21 -08:00
d0cd
f65ad5dc69 Fmt 2023-02-05 12:46:21 -08:00
d0cd
5565150f30 Regen expectations 2023-02-05 12:46:21 -08:00
d0cd
74e358dde6 Add test for out of order functions 2023-02-05 12:46:21 -08:00
d0cd
498d4b698d Add tests for recursion 2023-02-05 12:46:21 -08:00
d0cd
e633c62b71 Implement post-ordering for functions during code-generation 2023-02-05 12:46:21 -08:00
d0cd
f06b83c7f4 Implement check for cyclic call graph 2023-02-05 12:46:20 -08:00