microproofs 42544af799 fix: safe encode bits to check for 2^num_bits <= byte we are encoding ... fix: I thought namedDeBruijn takes advantage of Binder for encoding and decoding. It does not... fix: Debruijn was being converted to NamedDeBruijn incorrectly		2023-06-30 23:06:38 -04:00
..
debruijn	fix issue with same names causing 0 index debruijn for var	2022-06-26 21:38:27 -04:00
machine	feat(tests): implement a way to express that tests can fail	2023-05-25 16:54:53 -04:00
optimize	chore: couple more identity tests in optimize step	2023-06-10 00:01:54 -04:00
parser	feat: use Rc for more things, fib_iter runs almost 3 seconds faster now	2023-02-01 18:53:11 -05:00
tx	fix: redeemers in the script context are sorted by redeemer ptr not data hash	2023-06-16 12:24:44 -04:00
ast.rs	fix(build): --uplc must use Program<Name> to pretty print	2023-06-07 16:25:59 -04:00
builder.rs	chore: fix up when tuple deconstruction test	2023-05-11 18:06:46 -04:00
builtins.rs	Add missing Plutus builtins to Aiken's lang.	2023-02-22 12:53:03 +01:00
debruijn.rs	fix: safe encode bits to check for 2^num_bits <= byte we are encoding	2023-06-30 23:06:38 -04:00
flat.rs	fix: safe encode bits to check for 2^num_bits <= byte we are encoding	2023-06-30 23:06:38 -04:00
lib.rs	feat(cli): rework uplc subcommands	2023-06-01 23:50:59 -04:00
machine.rs	feat	2023-04-13 01:28:27 -04:00
optimize.rs	fix: inline_direct_reduce now works properly	2023-04-21 16:01:54 -04:00
parser.rs	Add function to uplc::parser for string escape	2023-04-05 14:27:20 +02:00
pretty.rs	Fix dumping of builtin pairs	2023-05-25 18:03:24 -04:00
tx.rs	fix some typos	2023-04-07 16:51:18 -04:00