microproofs e8cf43d7ec Format fix

2024-09-20 13:52:09 -04:00

..

debruijn

fix issue with same names causing 0 index debruijn for var

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

machine

Update PlutusV1 cost model

2024-09-19 10:36:36 -04:00

optimize

Clippy fix

2024-09-20 13:47:56 -04:00

parser

update tests and fix final unique issues

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

tx

fix: Add wrap constructor to V1/V2 stake_credential when Purpose is Rewarding

2024-09-17 19:45:39 -06:00

ast.rs

Add PlutusV3 conformance tests and also control budgets

2024-08-14 02:42:04 +02:00

builder.rs

Ensure uniqueness of intermediate variables in expect_type_assign

2024-09-01 18:10:15 +02:00

builtins.rs

Rename mk_nil_data, mk_pair_data & mk_nil_pair_data builtins.

2024-08-23 10:39:37 +02:00

debruijn.rs

feat(uplc): add Case and Const terms

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

flat.rs

Format fix

2024-09-20 13:52:09 -04:00

lib.rs

Fix script context translations for withdrawals and validity intervals.

2024-08-13 23:43:47 +02:00

machine.rs

chore: minimal pallas dependencies

2024-05-30 15:09:05 +07:00

optimize.rs

When we find bls constants in UPLC convert them to their a hoisted compressed form with an uncompress call

2024-09-20 12:31:36 -04:00

parser.rs

Implement new costing function for {divide,quotient,mod,remainder}_integer

2024-08-14 02:50:05 +02:00

pretty.rs

Upgrade pallas to v0.0.29, and start support for simulating transactions carrying Plutus v3 scripts.

2024-08-13 10:55:22 +02:00

tx.rs

Provide default annotation to validators (incl. fallback)

2024-08-25 17:12:11 +02:00