microproofs
|
7d4e136467
|
checkpoint
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
fd83c9a739
|
feat: fix up generic type functions to work with the new air tree functions
chore: remove commented code
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
b3714ca9d0
|
fix: list clause guard for final clause needs to use list accessor
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
2c61ecd4bb
|
feat: finish up nested clauses
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
a3afb62861
|
chore: fixing nested clauses to match aiken stack air
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
95af421f95
|
feat: finish tuple conditions
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
05b6b2a97d
|
chore: rename some functions
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
c025073056
|
fix: List clauses were destructuring the next element unnecessarily
feat: finish nested constructor clauses
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
f6e163d16d
|
feat: start on nested clauses
chore: remove then field from list clause guard and clause guard
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
5bcc425f0f
|
feat: changed air expressions clause guard
and list clause guard to air statements
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
023be88bf6
|
chore: another checkpoint
fix: guard clause to properly check condition
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
f94c8213b6
|
checkpoint
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
0854d71836
|
chore: another checkpoint and renamed ClauseProperties fields
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
d731757123
|
feat: start on clauses in when conditions
**checkpoint**
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
96959011e9
|
feat: finish up build. just have helper methods
feat: Create an air and AirTree iterator.
This allows us to iterate forwards or backwards over the tree as a vec.
chore: moved around some functions
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
ba3265054c
|
chore: move tree to gen_uplc2 and create a duplicate air file without scope
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
7cee9a4d15
|
chore: move assignment_air_tree and expect_type to gen_uplc
feat: add is_primitive check to types
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
cd726b561e
|
feat: add removal of discard lets
chore: Name change for AirTree sequence
feat: finish up assignment constructor and list for airtree builder
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
59362e3d8c
|
feat: almost done assignment have tuple and constr left
feat: modified the AirTree structure to have statements, sequences, and expressions
feat: changed the hoist_over function to be universal
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
65bb7e48e2
|
feat: start on build assignment
feat: implement assignment hoisting
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
c359bd35d7
|
feat: update tree to allow for let hoisting
feat: start on build for when expressions
feat: add builder methods for AirTree
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
83ade9335f
|
feat: implement most of airtree build
|
2023-08-07 12:02:44 -04:00 |