microproofs 945a3f743b feat: builtin wrapper reduction optimization

2024-04-26 19:24:04 +02:00

..

debruijn

fix issue with same names causing 0 index debruijn for var

2022-06-26 21:38:27 -04:00

machine

Rework unit test report to leverage new reification

2024-03-07 01:20:40 +01:00

optimize

feat: builtin wrapper reduction optimization

2024-04-26 19:24:04 +02:00

parser

update tests and fix final unique issues

2024-03-04 10:52:56 -05:00

tx

chore: change how we depend on pallas

2024-01-24 21:26:48 -05:00

ast.rs

chore: add some docs to the uplc crate

2024-04-08 14:30:07 -04:00

builder.rs

checkpoint

2024-03-04 10:52:56 -05:00

builtins.rs

feat: impl serde on errythang

2024-03-08 19:19:07 -05:00

debruijn.rs

feat(uplc): add Case and Const terms

2023-09-03 11:52:49 -04:00

flat.rs

chore: add some docs to the uplc crate

2024-04-08 14:30:07 -04:00

lib.rs

chore: change how we depend on pallas

2024-01-24 21:26:48 -05:00

machine.rs

feat(machine): fix Value::Constr fields order

2024-02-20 13:05:28 -05:00

optimize.rs

step up the optimizations a bit more by inlining a small function

2024-03-08 00:12:44 -05:00

parser.rs

chore: change how we depend on pallas

2024-01-24 21:26:48 -05:00

pretty.rs

chore: change how we depend on pallas

2024-01-24 21:26:48 -05:00

tx.rs

chore: change how we depend on pallas

2024-01-24 21:26:48 -05:00