aiken

Author	SHA1	Message	Date
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
rvcas	ed909055b5	chore: temp remove conformance tests that are failing	2023-11-15 15:55:56 -05:00
rvcas	b6f6064aaf	test: add all plutus conformance tests	2023-11-15 15:55:56 -05:00