plutus - 65 commits this week

Home / Input Output / plutus

Insights Pull Requests

Mar 21, 12-1 AM (0)

Mar 21, 1-2 AM (0)

Mar 21, 2-3 AM (0)

Mar 21, 3-4 AM (0)

Mar 21, 4-5 AM (0)

Mar 21, 5-6 AM (0)

Mar 21, 6-7 AM (0)

Mar 21, 7-8 AM (0)

Mar 21, 8-9 AM (0)

Mar 21, 9-10 AM (0)

Mar 21, 10-11 AM (0)

Mar 21, 11-12 PM (0)

Mar 21, 12-1 PM (0)

Mar 21, 1-2 PM (0)

Mar 21, 2-3 PM (0)

Mar 21, 3-4 PM (0)

Mar 21, 4-5 PM (0)

Mar 21, 5-6 PM (0)

Mar 21, 6-7 PM (0)

Mar 21, 7-8 PM (0)

Mar 21, 8-9 PM (0)

Mar 21, 9-10 PM (0)

Mar 21, 10-11 PM (0)

Mar 21, 11-12 AM (0)

Mar 22, 12-1 AM (0)

Mar 22, 1-2 AM (0)

Mar 22, 2-3 AM (0)

Mar 22, 3-4 AM (0)

Mar 22, 4-5 AM (0)

Mar 22, 5-6 AM (0)

Mar 22, 6-7 AM (0)

Mar 22, 7-8 AM (0)

Mar 22, 8-9 AM (0)

Mar 22, 9-10 AM (0)

Mar 22, 10-11 AM (0)

Mar 22, 11-12 PM (0)

Mar 22, 12-1 PM (0)

Mar 22, 1-2 PM (0)

Mar 22, 2-3 PM (0)

Mar 22, 3-4 PM (0)

Mar 22, 4-5 PM (0)

Mar 22, 5-6 PM (0)

Mar 22, 6-7 PM (0)

Mar 22, 7-8 PM (0)

Mar 22, 8-9 PM (0)

Mar 22, 9-10 PM (0)

Mar 22, 10-11 PM (0)

Mar 22, 11-12 AM (0)

Mar 23, 12-1 AM (0)

Mar 23, 1-2 AM (0)

Mar 23, 2-3 AM (0)

Mar 23, 3-4 AM (0)

Mar 23, 4-5 AM (0)

Mar 23, 5-6 AM (0)

Mar 23, 6-7 AM (0)

Mar 23, 7-8 AM (0)

Mar 23, 8-9 AM (0)

Mar 23, 9-10 AM (1)

Mar 23, 10-11 AM (0)

Mar 23, 11-12 PM (1)

Mar 23, 12-1 PM (1)

Mar 23, 1-2 PM (0)

Mar 23, 2-3 PM (1)

Mar 23, 3-4 PM (1)

Mar 23, 4-5 PM (0)

Mar 23, 5-6 PM (2)

Mar 23, 6-7 PM (0)

Mar 23, 7-8 PM (0)

Mar 23, 8-9 PM (0)

Mar 23, 9-10 PM (2)

Mar 23, 10-11 PM (0)

Mar 23, 11-12 AM (1)

Mar 24, 12-1 AM (1)

Mar 24, 1-2 AM (0)

Mar 24, 2-3 AM (2)

Mar 24, 3-4 AM (1)

Mar 24, 4-5 AM (1)

Mar 24, 5-6 AM (1)

Mar 24, 6-7 AM (0)

Mar 24, 7-8 AM (0)

Mar 24, 8-9 AM (0)

Mar 24, 9-10 AM (0)

Mar 24, 10-11 AM (2)

Mar 24, 11-12 PM (1)

Mar 24, 12-1 PM (0)

Mar 24, 1-2 PM (1)

Mar 24, 2-3 PM (0)

Mar 24, 3-4 PM (2)

Mar 24, 4-5 PM (0)

Mar 24, 5-6 PM (2)

Mar 24, 6-7 PM (2)

Mar 24, 7-8 PM (1)

Mar 24, 8-9 PM (0)

Mar 24, 9-10 PM (2)

Mar 24, 10-11 PM (1)

Mar 24, 11-12 AM (1)

Mar 25, 12-1 AM (0)

Mar 25, 1-2 AM (1)

Mar 25, 2-3 AM (0)

Mar 25, 3-4 AM (0)

Mar 25, 4-5 AM (0)

Mar 25, 5-6 AM (0)

Mar 25, 6-7 AM (0)

Mar 25, 7-8 AM (0)

Mar 25, 8-9 AM (0)

Mar 25, 9-10 AM (2)

Mar 25, 10-11 AM (0)

Mar 25, 11-12 PM (0)

Mar 25, 12-1 PM (0)

Mar 25, 1-2 PM (1)

Mar 25, 2-3 PM (0)

Mar 25, 3-4 PM (0)

Mar 25, 4-5 PM (2)

Mar 25, 5-6 PM (2)

Mar 25, 6-7 PM (1)

Mar 25, 7-8 PM (0)

Mar 25, 8-9 PM (1)

Mar 25, 9-10 PM (1)

Mar 25, 10-11 PM (0)

Mar 25, 11-12 AM (0)

Mar 26, 12-1 AM (0)

Mar 26, 1-2 AM (0)

Mar 26, 2-3 AM (0)

Mar 26, 3-4 AM (0)

Mar 26, 4-5 AM (0)

Mar 26, 5-6 AM (0)

Mar 26, 6-7 AM (0)

Mar 26, 7-8 AM (0)

Mar 26, 8-9 AM (0)

Mar 26, 9-10 AM (0)

Mar 26, 10-11 AM (1)

Mar 26, 11-12 PM (7)

Mar 26, 12-1 PM (2)

Mar 26, 1-2 PM (3)

Mar 26, 2-3 PM (0)

Mar 26, 3-4 PM (0)

Mar 26, 4-5 PM (0)

Mar 26, 5-6 PM (2)

Mar 26, 6-7 PM (0)

Mar 26, 7-8 PM (0)

Mar 26, 8-9 PM (0)

Mar 26, 9-10 PM (0)

Mar 26, 10-11 PM (0)

Mar 26, 11-12 AM (0)

Mar 27, 12-1 AM (0)

Mar 27, 1-2 AM (0)

Mar 27, 2-3 AM (0)

Mar 27, 3-4 AM (0)

Mar 27, 4-5 AM (0)

Mar 27, 5-6 AM (0)

Mar 27, 6-7 AM (0)

Mar 27, 7-8 AM (0)

Mar 27, 8-9 AM (2)

Mar 27, 9-10 AM (0)

Mar 27, 10-11 AM (0)

Mar 27, 11-12 PM (0)

Mar 27, 12-1 PM (0)

Mar 27, 1-2 PM (0)

Mar 27, 2-3 PM (2)

Mar 27, 3-4 PM (2)

Mar 27, 4-5 PM (0)

Mar 27, 5-6 PM (0)

Mar 27, 6-7 PM (0)

Mar 27, 7-8 PM (1)

Mar 27, 8-9 PM (0)

Mar 27, 9-10 PM (0)

Mar 27, 10-11 PM (1)

Mar 27, 11-12 AM (0)

Mar 28, 12-1 AM (0)

65 commits this week Mar 21, 2026 - Mar 28, 2026

zliu41 · Fri, 27 Mar 26 23:52:29 +0000 · plutus

wip

33b03fe1 · zliu41/optimise-eval-uplc-executable · 7/256 ++ 21 --

zliu41 · Fri, 27 Mar 26 20:31:59 +0000 · plutus

wip

f04f09d6 · zliu41/optimise-eval-uplc-executable · 4/179 ++ 15 --

Unisay · Fri, 27 Mar 26 16:05:39 +0000 · plutus

chore: add changelog entry for caseInteger SoP fallback fix

3f451f2c · yura/fix-caseInteger-sop-equalsInteger · 1/6 ++ 0 --

Unisay · Fri, 27 Mar 26 16:05:39 +0000 · plutus

fix(Compiler/Expr): replace caseInteger list-indexing fallback with equalsInteger chain

When compiling caseInteger in non-BuiltinCasing mode (SumsOfProducts),
the fallback used PlutusTx.List.!! which built a linked list of branches
at runtime and indexed into it with a Y-combinator. This caused a 3-5x
execution cost regression for unsafeFromBuiltinData on multi-constructor
types (reported by the Hydra team, see #7691).

Replace the fallback with mkEqualsIntegerChain, which generates a flat
chain of equalsInteger/ifThenElse comparisons in PIR. This produces UPLC
equivalent to the pre-caseInteger code path with no runtime allocation.

See Note [caseInteger non-BuiltinCasing fallback] in Expr.hs.

21ac2e3c · yura/fix-caseInteger-sop-equalsInteger · 79/1,344 ++ 601 --

Unisay · Fri, 27 Mar 26 15:25:53 +0000 · plutus

chore: add changelog entry for caseInteger SoP fallback fix

759d2f5c · yura/fix-caseInteger-sop-equalsInteger · 1/6 ++ 0 --

Unisay · Fri, 27 Mar 26 15:25:53 +0000 · plutus

fix(Compiler/Expr): replace caseInteger list-indexing fallback with equalsInteger chain

When compiling caseInteger in non-BuiltinCasing mode (SumsOfProducts),
the fallback used PlutusTx.List.!! which built a linked list of branches
at runtime and indexed into it with a Y-combinator. This caused a 3-5x
execution cost regression for unsafeFromBuiltinData on multi-constructor
types (reported by the Hydra team, see #7691).

Replace the fallback with mkEqualsIntegerChain, which generates a flat
chain of equalsInteger/ifThenElse comparisons in PIR. This produces UPLC
equivalent to the pre-caseInteger code path with no runtime allocation.

See Note [caseInteger non-BuiltinCasing fallback] in Expr.hs.

4499250c · yura/fix-caseInteger-sop-equalsInteger · 86/1,351 ++ 608 --

Unisay · Fri, 27 Mar 26 09:20:46 +0000 · plutus

fix(Compiler/Expr): replace caseInteger list-indexing fallback with equalsInteger chain

When compiling caseInteger in non-BuiltinCasing mode (SumsOfProducts),
the fallback used PlutusTx.List.!! which built a linked list of branches
at runtime and indexed into it with a Y-combinator. This caused a 3-5x
execution cost regression for unsafeFromBuiltinData on multi-constructor
types (reported by the Hydra team, see #7691).

Replace the fallback with mkEqualsIntegerChain, which generates a flat
chain of equalsInteger/ifThenElse comparisons in PIR. This produces UPLC
equivalent to the pre-caseInteger code path with no runtime allocation.

See Note [caseInteger non-BuiltinCasing fallback] in Expr.hs.

906b1907 · yura/fix-caseInteger-sop-equalsInteger · 43/597 ++ 601 --

Unisay · Fri, 27 Mar 26 09:20:46 +0000 · plutus

chore: add changelog entry for caseInteger SoP fallback fix

c3ddada7 · yura/fix-caseInteger-sop-equalsInteger · 1/6 ++ 0 --

Unisay · Thu, 26 Mar 26 18:41:17 +0000 · plutus

chore: add changelog entry for caseInteger SoP fallback fix

8a53491b · yura/fix-caseInteger-sop-equalsInteger · 1/6 ++ 0 --

Unisay · Thu, 26 Mar 26 18:41:17 +0000 · plutus

fix(Compiler/Expr): replace caseInteger list-indexing fallback with equalsInteger chain

When compiling caseInteger in non-BuiltinCasing mode (SumsOfProducts),
the fallback used PlutusTx.List.!! which built a linked list of branches
at runtime and indexed into it with a Y-combinator. This caused a 3-5x
execution cost regression for unsafeFromBuiltinData on multi-constructor
types (reported by the Hydra team, see #7691).

Replace the fallback with mkEqualsIntegerChain, which generates a flat
chain of equalsInteger/ifThenElse comparisons in PIR. This produces UPLC
equivalent to the pre-caseInteger code path with no runtime allocation.

See Note [caseInteger non-BuiltinCasing fallback] in Expr.hs.

1c91182a · yura/fix-caseInteger-sop-equalsInteger · 43/597 ++ 601 --

Unisay · Thu, 26 Mar 26 14:29:24 +0000 · plutus

chore: add changelog entry for caseInteger SoP fallback fix

f2f44242 · yura/fix-caseInteger-sop-equalsInteger · 1/6 ++ 0 --

Unisay · Thu, 26 Mar 26 14:29:24 +0000 · plutus

fix(Compiler/Expr): replace caseInteger list-indexing fallback with equalsInteger chain

When compiling caseInteger in non-BuiltinCasing mode (SumsOfProducts),
the fallback used PlutusTx.List.!! which built a linked list of branches
at runtime and indexed into it with a Y-combinator. This caused a 3-5x
execution cost regression for unsafeFromBuiltinData on multi-constructor
types (reported by the Hydra team, see #7691).

Replace the fallback with mkEqualsIntegerChain, which generates a flat
chain of equalsInteger/ifThenElse comparisons in PIR. This produces UPLC
equivalent to the pre-caseInteger code path with no runtime allocation.

See Note [caseInteger non-BuiltinCasing fallback] in Expr.hs.

b39ae3dd · yura/fix-caseInteger-sop-equalsInteger · 43/597 ++ 599 --

basetunnel · Thu, 26 Mar 26 14:26:27 +0000 · plutus

Add case-of-constant reduction to CaseReduce

f3015a55 · basetunnel/certifier-case-case · 4/244 ++ 10 --

basetunnel · Thu, 26 Mar 26 13:55:50 +0000 · plutus

Add normalising decision procedure for case-of-case

851c7450 · basetunnel/certifier-case-case · 4/183 ++ 8 --

Unisay · Thu, 26 Mar 26 13:03:46 +0000 · plutus

fix(Compiler/Expr): replace caseInteger list-indexing fallback with equalsInteger chain

When compiling caseInteger in non-BuiltinCasing mode (SumsOfProducts),
the fallback used PlutusTx.List.!! which built a linked list of branches
at runtime and indexed into it with a Y-combinator. This caused a 3-5x
execution cost regression for unsafeFromBuiltinData on multi-constructor
types (reported by the Hydra team, see #7691).

Replace the fallback with mkEqualsIntegerChain, which generates a flat
chain of equalsInteger/ifThenElse comparisons in PIR. This produces UPLC
equivalent to the pre-caseInteger code path with no runtime allocation.

See Note [caseInteger non-BuiltinCasing fallback] in Expr.hs.

e7bab160 · yura/fix-caseInteger-sop-equalsInteger · 13/286 ++ 332 --

Unisay · Thu, 26 Mar 26 12:57:09 +0000 · plutus

test(IsData/Budget): generate baseline golden files with caseInteger disabled

Temporarily set `if False` in unsafeFromDataClause to bypass caseInteger
and generate golden files from the old equalsInteger/ifThenElse code path.
These serve as the equivalence target for the Expr.hs fix.

0e9cac49 · yura/fix-caseInteger-sop-equalsInteger · 12/316 ++ 672 --

Unisay · Thu, 26 Mar 26 12:52:26 +0000 · plutus

test(IsData/Budget): add SoP mode budget test for unsafeFromBuiltinData

Adds a minimal test that compiles unsafeFromBuiltinData on a 3-constructor
type in the default SumsOfProducts mode (no BuiltinCasing pragma).
This captures the caseInteger fallback regression for comparison.

ff47d598 · yura/fix-caseInteger-sop-equalsInteger · 10/494 ++ 0 --