microproofs
|
5a51764cff
|
remove some warnings
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
a099c01734
|
feat: add support for hoisting code gen functions
fix: code gen vars should be module functions
fix: missed a recursive call in do_find_air_tree_node under binop
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
62660e04b5
|
checkpoint;
Remaining work is on function hoisting. Functions have been defined and monomorphized
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
ae9de11e77
|
big checkpoint:
feat: add monomorphize and other useful tree function abstractions
feat: started testing function hositing result so far
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
947c118175
|
checkpoint
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
9704cafefe
|
a checkpoint for function hoisting start and type fix
|
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
|
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
|
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
|
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 |