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 |