ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-28 04:35:33 +03:00
Code Issues Packages Projects Releases Wiki Activity
5,504 Commits 54 Branches 46 Tags 340 MiB
dc92ec36d2
Commit Graph

2027 Commits

Author SHA1 Message Date
d0cd
dc92ec36d2 Refactor tests to separate directory 2023-02-08 11:13:41 -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
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
d0cd
b17702e019 Fix graph init; regen expectations 2023-02-05 12:46:20 -08:00
d0cd
899c12d85a Implement post-order codegen for structs and records 2023-02-05 12:46:20 -08:00
d0cd
a4d76c644a Refactor AST 2023-02-05 12:46:20 -08:00
d0cd
d91233f06e Implement cycle detection for structs and records 2023-02-05 12:46:20 -08:00
d0cd
5e331bbf36 Cleanup 2023-02-05 12:46:20 -08:00
d0cd
dd33eb024d Add test 2023-02-05 12:46:20 -08:00
d0cd
940d357c5e Cleanup 2023-02-05 12:46:20 -08:00
d0cd
9edbf0a74e Add tests for graph 2023-02-05 12:46:20 -08:00
d0cd
8b8c7b5c0a Get cycle if toposort fails 2023-02-05 12:46:20 -08:00
d0cd
9fbcdfc9f3 Add graph data structure 2023-02-05 12:46:19 -08:00
d0cd
063cb15d97 Reorg common module 2023-02-05 12:46:19 -08:00
ljedrz
b20308f049
chore: update the license headers (#2252) 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2023-02-02 14:27:06 -08:00
d0cd
b044b002a7 Check that functions cannot output records 2023-01-18 12:33:04 -08:00
Alessandro Coglio
5c223460c1 [parser] Extend and update some documentation. 2023-01-13 20:12:47 -08:00
Alessandro Coglio
1cbea97f27 [span] Extend and improve some doc. 2023-01-13 20:07:49 -08:00
dependabot[bot]
6df6bb5ef9
Bump serde from 1.0.150 to 1.0.152 (#2221) 2023-01-03 19:26:07 -08:00
Collin Chin
5a7feb28f7
Improve testing infrastructure (#2227) 
* wip

* re-enable get_process call for test programs

* remove local tests

* clean up

* remove rust version from cargo.toml
 2023-01-03 17:51:13 -08:00
Collin Chin
52c29b23e0
clippy: remove useless .into_iter() (#2225) 2023-01-03 11:44:52 -08:00
collin
d7b1b9ca56 chore(leo): bump version for new release 2022-12-12 19:31:56 -05:00
d0cd
48a1f0590b
Rename console.assert* to assert*. (#2205) 
* Add assert statements to AST

* Add support in passes

* Add parser support

* Add tyc support

* Add support for assert statements in the remaining passes

* Fix examples, tests, and regen expectations

* Fmt

* Regen expectations
 2022-12-06 21:56:48 -08:00
collin
1e01a3a686 chore(leo): bump version for new release 2022-11-30 13:40:52 -08:00
Collin Chin
3f2df5389c
use cargo workspace for dependencies (#2195) 2022-11-30 13:31:33 -08:00
Collin Chin
23f5828804
bump aleo v0.3.1 snarkvm v0.9.8 (#2193) 2022-11-30 00:49:50 -08:00
dependabot[bot]
6413f3ecac
Bump serde from 1.0.147 to 1.0.148 (#2189) 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.147 to 1.0.148.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.147...v1.0.148)

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

Signed-off-by: dependabot[bot] <support@github.com>

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
 2022-11-29 16:37:19 -08:00
d0cd
23615c6858
Fixes code generation for ExpressionStatements (#2192) 
* Fix codegen for call instruction

* Cleanup
 2022-11-29 16:36:37 -08:00
d0cd
8986be33e8
Create common module; move pass data structures (#2173) 
Co-authored-by: collin <16715212+collinc97@users.noreply.github.com>
 2022-11-23 15:05:05 -05:00
collin
f6f286ac8a pull testnet3, regen tests 2022-11-23 02:37:57 -05:00
collin
9e28591589 pull testnet3, regen tests 2022-11-23 01:56:37 -05:00
collin
ac4c38d921 clippy 2022-11-23 01:28:33 -05:00
collin
801df56f9c pull testnet3, regen tests 2022-11-22 20:55:12 -05:00
Collin Chin
40e56f8613
Merge pull request #2100 from AleoHQ/feat/tuple 
Supports tuples.
 2022-11-22 20:49:25 -05:00
d0cd
a8a8086f18 Fmt 2022-11-16 10:24:29 -08:00
d0cd
9370c11a2b Implement fix 2022-11-16 10:24:29 -08:00
d0cd
ae329c521b Deprecate (async) finalize statements 2022-11-15 13:18:39 -08:00
collin
44bca58821 chore(leo): bump version for new release 2022-11-14 18:56:09 -08:00
collin
49786b3d79 bump snarkvm-v0.9.7 aleo-v0.3.0 2022-11-14 18:53:32 -08:00
d0cd
80d53ee908 Fmt 2022-11-12 16:36:26 -08:00
d0cd
d82fa641a2 Fix parser 2022-11-12 16:35:37 -08:00
d0cd
682b67e184 Fix flattening logic 2022-11-12 16:23:16 -08:00
d0cd
c6fd32c032 Fix flattening pass 2022-11-12 11:28:03 -08:00
d0cd
1f977e5c45 Fix tyc pass 2022-11-12 10:48:16 -08:00
d0cd
1a9c95ce05 Fix SSA pass 2022-11-12 10:21:36 -08:00