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
..
debruijn	fix issue with same names causing 0 index debruijn for var	2022-06-26 21:38:27 -04:00
machine	chore: fill in machine todos and cost model for case and constr	2023-11-17 19:52:03 -05:00
optimize	chore: remove unused code	2023-11-06 15:37:04 -05:00
parser	feat: uplc g1 and g2 literal parsing	2023-11-15 15:55:56 -05:00
tx	feat: uplc g1 and g2 literal parsing	2023-11-15 15:55:56 -05:00
ast.rs	feat: uplc g1 and g2 literal parsing	2023-11-15 15:55:56 -05:00
builder.rs	feat: implement bls primitives in code gen	2023-11-15 15:55:56 -05:00
builtins.rs	feat: uplc g1 and g2 literal parsing	2023-11-15 15:55:56 -05:00
debruijn.rs	feat(uplc): add Case and Const terms	2023-09-03 11:52:49 -04:00
flat.rs	feat: Implemented builtin semantic versioning	2023-11-15 15:55:56 -05:00
lib.rs	feat(cli): rework uplc subcommands	2023-06-01 23:50:59 -04:00
machine.rs	chore: fill in machine todos and cost model for case and constr	2023-11-17 19:52:03 -05:00
optimize.rs	fix: optmizer should never inline recursive functions	2023-09-29 17:47:39 -04:00
parser.rs	chore: fill in machine todos and cost model for case and constr	2023-11-17 19:52:03 -05:00
pretty.rs	feat(bls): pretty print mlresult type	2023-11-15 15:55:56 -05:00
tx.rs	set eval to public	2023-08-12 16:42:23 -04:00