aiken

Files

microproofs c16bd06e97 make sure traverse_uplc_with_helper is always passing the arg to lambda before running the with function.

Breaks #945 again

2024-05-22 11:58:05 -04:00

debruijn

fix issue with same names causing 0 index debruijn for var

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

machine

fix: add v3 mapping for builtin semantics relates to #907

2024-05-21 17:06:18 -04:00

optimize

make sure traverse_uplc_with_helper is always passing the arg to lambda before running the with function.

2024-05-22 11:58:05 -04:00

parser

update tests and fix final unique issues

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

feat: add plutus version to aiken.toml

2024-05-21 17:02:20 -04:00

ast.rs

feat: use plutus version in address command

2024-05-21 17:04:25 -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: add plutus version to aiken.toml

2024-05-21 17:02:20 -04: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