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
..
app	test: add all plutus conformance tests	2023-11-15 15:55:56 -05:00
argExpected	test: add all plutus conformance tests	2023-11-15 15:55:56 -05:00
case	chore: fill in machine todos and cost model for case and constr	2023-11-17 19:52:03 -05:00
closure	test: add all plutus conformance tests	2023-11-15 15:55:56 -05:00
constr	chore: fill in machine todos and cost model for case and constr	2023-11-17 19:52:03 -05:00
delay	test: add all plutus conformance tests	2023-11-15 15:55:56 -05:00
force	test: add all plutus conformance tests	2023-11-15 15:55:56 -05:00
lam	test: add all plutus conformance tests	2023-11-15 15:55:56 -05:00
nonFunctionalApplication	test: add all plutus conformance tests	2023-11-15 15:55:56 -05:00
unlifting-sat	test: add all plutus conformance tests	2023-11-15 15:55:56 -05:00
unlifting-unsat	feat: delay typemismatch errors in the machine runtime	2023-11-17 13:58:13 -05:00
var	test: add all plutus conformance tests	2023-11-15 15:55:56 -05:00