microproofs 1567e42875 chore: fill in machine todos and cost model for case and constr ...

This allows for several more tests to pass
**Had to remove case-7 since it was incorrectly passing before**

2023-11-17 19:52:03 -05:00

..

basic/integer

feat: new fmt command and pretty printing works

2022-06-18 22:54:26 -04:00

case_constr

add tests for case and constr

2023-09-03 11:52:49 -04:00

conformance/evaluation

chore: fill in machine todos and cost model for case and constr

2023-11-17 19:52:03 -05:00

fibonacci

feat: use Rc for more things, fib_iter runs almost 3 seconds faster now

2023-02-01 18:53:11 -05:00

jpg

feat: rename to aiken and add e2e tests for uplc

2022-06-11 23:22:24 -04:00