microproofs 85901dc141 chore: update cost model with placeholders for new terms to pass tests		2023-09-03 11:52:49 -04:00
..
debruijn	fix issue with same names causing 0 index debruijn for var	2022-06-26 21:38:27 -04:00
machine	chore: update cost model with placeholders for new terms to pass tests	2023-09-03 11:52:49 -04:00
optimize	Cargo fmt + clippy, with latest rust	2023-08-07 19:00:39 -04:00
parser	feat(uplc): add Case and Const terms	2023-09-03 11:52:49 -04:00
tx	chore: cargo fmt	2023-08-16 22:56:22 -04:00
ast.rs	feat(uplc): add Case and Const terms	2023-09-03 11:52:49 -04:00
builder.rs	chore: rm unused pub function	2023-08-29 22:30:06 -04:00
builtins.rs	Add missing Plutus builtins to Aiken's lang.	2023-02-22 12:53:03 +01:00
debruijn.rs	feat(uplc): add Case and Const terms	2023-09-03 11:52:49 -04:00
flat.rs	feat(uplc): add Case and Const terms	2023-09-03 11:52:49 -04:00
lib.rs	feat(cli): rework uplc subcommands	2023-06-01 23:50:59 -04:00
machine.rs	add compute for the new terms constr and case	2023-09-03 11:52:49 -04:00
optimize.rs	fix: inline_direct_reduce now works properly	2023-04-21 16:01:54 -04:00
parser.rs	feat(uplc): add Case and Const terms	2023-09-03 11:52:49 -04:00
pretty.rs	feat(uplc): add Case and Const terms	2023-09-03 11:52:49 -04:00
tx.rs	set eval to public	2023-08-12 16:42:23 -04:00