microproofs
|
3189a60bdb
|
fixes to how we sort dependencies.
Also update dependency path based on a functions path.
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
dcb3a9b45b
|
some type and expect fixes
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
960a15c4ec
|
checkpoint - fixing tests and stuff
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
72b6f0f847
|
all but six tests passing
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
6eeb282dee
|
Now code gen is finished and we just have testing
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
18ea44adb0
|
chore: rename unwrapData and wrapData
add validator cast function for extra validator params
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
55dd1a1a56
|
out with the old code and in with the air tree
|
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 |
|
microproofs
|
5e097d42ba
|
feat: add AirTree types and builder functions
|
2023-08-07 12:02:44 -04:00 |