Search results

Cleanup ForceDelay Decision Procedure

Metatheory

No Changelog RequiredAdd this to skip the Changelog CheckAdd this to skip the Changelog Check

Status: Draft (not ready).

IntersectMBO/plutusnumber 7112

#7112 In IntersectMBO/plutus;

· ramsay-t opened on May 22, 2025

Fix memory usage in metatheory

CostingAnything relating to costs, fees, gas, etc.Anything relating to costs, fees, gas, etc.

Internal

Metatheory

status: triaged

Status: Open.

#6367 In IntersectMBO/plutus;

· kwxm opened on Aug 1, 2024

Adapt Behavioural proof Red-CC to SOPs in the metatheory

Internal

Metatheory

status: triaged

Status: Open.

#6107 In IntersectMBO/plutus;

· ana-pantilie opened on May 24, 2024

Adapt Behavioural proof CK-CEK to SOPs in the metatheory

Internal

Metatheory

status: triaged

Status: Open.

#6106 In IntersectMBO/plutus;

· ana-pantilie opened on May 24, 2024

Adapt Behavioural proof CC-CK to SOPs in the metatheory

Internal

Metatheory

status: triaged

Status: Open.

#6105 In IntersectMBO/plutus;

· ana-pantilie opened on May 24, 2024

Add builtin versioning infrastructure to metatheory

Builtins

Internal

Metatheory

status: triaged

tech debt

Status: Open.

#6054 In IntersectMBO/plutus;

· bezirg opened on May 17, 2024