plutus - 87 commits this week

Home / Input Output / plutus

Insights Pull Requests

Mar 07, 11-12 PM (0)

Mar 07, 12-1 PM (0)

Mar 07, 1-2 PM (0)

Mar 07, 2-3 PM (0)

Mar 07, 3-4 PM (0)

Mar 07, 4-5 PM (1)

Mar 07, 5-6 PM (0)

Mar 07, 6-7 PM (0)

Mar 07, 7-8 PM (0)

Mar 07, 8-9 PM (0)

Mar 07, 9-10 PM (0)

Mar 07, 10-11 PM (0)

Mar 07, 11-12 AM (0)

Mar 08, 12-1 AM (0)

Mar 08, 1-2 AM (0)

Mar 08, 2-3 AM (0)

Mar 08, 3-4 AM (0)

Mar 08, 4-5 AM (0)

Mar 08, 5-6 AM (0)

Mar 08, 6-7 AM (0)

Mar 08, 7-8 AM (0)

Mar 08, 8-9 AM (0)

Mar 08, 9-10 AM (0)

Mar 08, 10-11 AM (0)

Mar 08, 11-12 PM (0)

Mar 08, 12-1 PM (0)

Mar 08, 1-2 PM (0)

Mar 08, 2-3 PM (0)

Mar 08, 3-4 PM (0)

Mar 08, 4-5 PM (0)

Mar 08, 5-6 PM (0)

Mar 08, 6-7 PM (0)

Mar 08, 7-8 PM (0)

Mar 08, 8-9 PM (0)

Mar 08, 9-10 PM (0)

Mar 08, 10-11 PM (0)

Mar 08, 11-12 AM (0)

Mar 09, 12-1 AM (0)

Mar 09, 1-2 AM (0)

Mar 09, 2-3 AM (0)

Mar 09, 3-4 AM (0)

Mar 09, 4-5 AM (0)

Mar 09, 5-6 AM (0)

Mar 09, 6-7 AM (0)

Mar 09, 7-8 AM (0)

Mar 09, 8-9 AM (0)

Mar 09, 9-10 AM (0)

Mar 09, 10-11 AM (0)

Mar 09, 11-12 PM (0)

Mar 09, 12-1 PM (1)

Mar 09, 1-2 PM (1)

Mar 09, 2-3 PM (0)

Mar 09, 3-4 PM (2)

Mar 09, 4-5 PM (1)

Mar 09, 5-6 PM (0)

Mar 09, 6-7 PM (1)

Mar 09, 7-8 PM (2)

Mar 09, 8-9 PM (3)

Mar 09, 9-10 PM (2)

Mar 09, 10-11 PM (2)

Mar 09, 11-12 AM (1)

Mar 10, 12-1 AM (2)

Mar 10, 1-2 AM (1)

Mar 10, 2-3 AM (1)

Mar 10, 3-4 AM (1)

Mar 10, 4-5 AM (1)

Mar 10, 5-6 AM (0)

Mar 10, 6-7 AM (0)

Mar 10, 7-8 AM (0)

Mar 10, 8-9 AM (1)

Mar 10, 9-10 AM (0)

Mar 10, 10-11 AM (0)

Mar 10, 11-12 PM (1)

Mar 10, 12-1 PM (0)

Mar 10, 1-2 PM (0)

Mar 10, 2-3 PM (0)

Mar 10, 3-4 PM (0)

Mar 10, 4-5 PM (3)

Mar 10, 5-6 PM (7)

Mar 10, 6-7 PM (0)

Mar 10, 7-8 PM (3)

Mar 10, 8-9 PM (2)

Mar 10, 9-10 PM (1)

Mar 10, 10-11 PM (1)

Mar 10, 11-12 AM (2)

Mar 11, 12-1 AM (2)

Mar 11, 1-2 AM (2)

Mar 11, 2-3 AM (1)

Mar 11, 3-4 AM (0)

Mar 11, 4-5 AM (0)

Mar 11, 5-6 AM (0)

Mar 11, 6-7 AM (2)

Mar 11, 7-8 AM (1)

Mar 11, 8-9 AM (1)

Mar 11, 9-10 AM (1)

Mar 11, 10-11 AM (2)

Mar 11, 11-12 PM (1)

Mar 11, 12-1 PM (0)

Mar 11, 1-2 PM (1)

Mar 11, 2-3 PM (0)

Mar 11, 3-4 PM (1)

Mar 11, 4-5 PM (0)

Mar 11, 5-6 PM (0)

Mar 11, 6-7 PM (0)

Mar 11, 7-8 PM (0)

Mar 11, 8-9 PM (1)

Mar 11, 9-10 PM (1)

Mar 11, 10-11 PM (0)

Mar 11, 11-12 AM (3)

Mar 12, 12-1 AM (2)

Mar 12, 1-2 AM (1)

Mar 12, 2-3 AM (0)

Mar 12, 3-4 AM (1)

Mar 12, 4-5 AM (1)

Mar 12, 5-6 AM (0)

Mar 12, 6-7 AM (0)

Mar 12, 7-8 AM (0)

Mar 12, 8-9 AM (0)

Mar 12, 9-10 AM (0)

Mar 12, 10-11 AM (0)

Mar 12, 11-12 PM (0)

Mar 12, 12-1 PM (0)

Mar 12, 1-2 PM (4)

Mar 12, 2-3 PM (1)

Mar 12, 3-4 PM (0)

Mar 12, 4-5 PM (0)

Mar 12, 5-6 PM (0)

Mar 12, 6-7 PM (0)

Mar 12, 7-8 PM (0)

Mar 12, 8-9 PM (0)

Mar 12, 9-10 PM (0)

Mar 12, 10-11 PM (0)

Mar 12, 11-12 AM (0)

Mar 13, 12-1 AM (0)

Mar 13, 1-2 AM (2)

Mar 13, 2-3 AM (0)

Mar 13, 3-4 AM (0)

Mar 13, 4-5 AM (0)

Mar 13, 5-6 AM (0)

Mar 13, 6-7 AM (1)

Mar 13, 7-8 AM (0)

Mar 13, 8-9 AM (0)

Mar 13, 9-10 AM (1)

Mar 13, 10-11 AM (1)

Mar 13, 11-12 PM (1)

Mar 13, 12-1 PM (2)

Mar 13, 1-2 PM (1)

Mar 13, 2-3 PM (1)

Mar 13, 3-4 PM (0)

Mar 13, 4-5 PM (0)

Mar 13, 5-6 PM (0)

Mar 13, 6-7 PM (0)

Mar 13, 7-8 PM (1)

Mar 13, 8-9 PM (0)

Mar 13, 9-10 PM (0)

Mar 13, 10-11 PM (1)

Mar 13, 11-12 AM (1)

Mar 14, 12-1 AM (0)

Mar 14, 1-2 AM (0)

Mar 14, 2-3 AM (0)

Mar 14, 3-4 AM (0)

Mar 14, 4-5 AM (0)

Mar 14, 5-6 AM (0)

Mar 14, 6-7 AM (0)

Mar 14, 7-8 AM (0)

Mar 14, 8-9 AM (0)

Mar 14, 9-10 AM (0)

Mar 14, 10-11 AM (0)

Mar 14, 11-12 PM (0)

87 commits this week Mar 07, 2026 - Mar 14, 2026

zliu41 · Sat, 14 Mar 26 00:49:03 +0000 · plutus

Generate a destructor function for AsData

8c875015 · zliu41/asdata-destructor · 21/390 ++ 291 --

zliu41 · Fri, 13 Mar 26 23:55:39 +0000 · plutus

wip

1b44baaa · zliu41/asdata-destructor · 20/451 ++ 357 --

zliu41 · Fri, 13 Mar 26 20:44:51 +0000 · plutus

wip

9c588ed9 · zliu41/asdata-destructor · 2/126 ++ 6 --

Unisay · Fri, 13 Mar 26 15:17:27 +0000 · plutus

Remove Generic-based Flat derivation machinery (#7542)

The internal flat library contained Generic-based Flat class derivation
via GHC.Generics that had a bug: deserializing large enum types (512+
constructors) consumed infinite memory. While not a security risk (UPLC
on-chain code uses only manual Flat instances), the buggy dead code was
distracting. This commit removes the entire Generic derivation machinery.

Changes:

1. Add manual Flat instances to all types that previously relied on
   Generic defaults: Maybe, Either, Complex, [], NonEmpty, tuples (2-7),
   Tree, Filler, PostAligned, PreAligned, SrcSpan, SrcSpans, and all PIR
   types (Recursivity, Strictness, Datatype, Binding, Program, Term).
   Manual encoding is bit-identical to the Generic encoding.

2. Add missing `size` methods to partial Flat instances in
   FlatInstances.hs (Name, Version, VarDecl, TyVarDecl, Program,
   NamedDeBruijn) and Value.hs (K, Quantity, Value) that previously
   relied on the Generic default for `size`.

3. Gut Class.hs: remove ~440 lines of GFlat*/GEncode*/GSize* classes,
   NumConstructors type family, all Generic default method implementations,
   and associated imports/pragmas/re-exports.

4. Remove ENUM_LARGE test infrastructure (E256/E258 types, Flat/Arbitrary
   instances, ~530 lines) and delete Core.hs inspection tests.

5. Fix transitive import breakage: files that got Generic from the
   PlutusCore.Flat re-export now import GHC.Generics directly.
   Remove `hiding (to)` from imports that no longer re-export Generics.

6. Strip Generic-specific doctests from Tutorial.hs.

All existing tests pass (5281 across 4 suites). Manual instances produce
bit-identical encoding verified by round-trip tests and golden files.

a8455102 · yura/issue-7542-remove-dead-flat-code · 24/616 ++ 1,490 --

Unisay · Fri, 13 Mar 26 14:49:40 +0000 · plutus

Remove Generic-based Flat derivation machinery (#7542)

The internal flat library contained Generic-based Flat class derivation
via GHC.Generics that had a bug: deserializing large enum types (512+
constructors) consumed infinite memory. While not a security risk (UPLC
on-chain code uses only manual Flat instances), the buggy dead code was
distracting. This commit removes the entire Generic derivation machinery.

Changes:

1. Add manual Flat instances to all types that previously relied on
   Generic defaults: Maybe, Either, Complex, [], NonEmpty, tuples (2-7),
   Tree, Filler, PostAligned, PreAligned, SrcSpan, SrcSpans, and all PIR
   types (Recursivity, Strictness, Datatype, Binding, Program, Term).
   Manual encoding is bit-identical to the Generic encoding.

2. Add missing `size` methods to partial Flat instances in
   FlatInstances.hs (Name, Version, VarDecl, TyVarDecl, Program,
   NamedDeBruijn) and Value.hs (K, Quantity, Value) that previously
   relied on the Generic default for `size`.

3. Gut Class.hs: remove ~440 lines of GFlat*/GEncode*/GSize* classes,
   NumConstructors type family, all Generic default method implementations,
   and associated imports/pragmas/re-exports.

4. Remove ENUM_LARGE test infrastructure (E256/E258 types, Flat/Arbitrary
   instances, ~530 lines) and delete Core.hs inspection tests.

5. Fix transitive import breakage: files that got Generic from the
   PlutusCore.Flat re-export now import GHC.Generics directly.
   Remove `hiding (to)` from imports that no longer re-export Generics.

6. Strip Generic-specific doctests from Tutorial.hs.

All existing tests pass (5281 across 4 suites). Manual instances produce
bit-identical encoding verified by round-trip tests and golden files.

409fb17c · yura/issue-7542-remove-dead-flat-code · 23/606 ++ 1,490 --

Unisay · Fri, 13 Mar 26 13:21:53 +0000 · plutus

Remove Generic-based Flat derivation machinery (#7542)

The internal flat library contained Generic-based Flat class derivation
via GHC.Generics that had a bug: deserializing large enum types (512+
constructors) consumed infinite memory. While not a security risk (UPLC
on-chain code uses only manual Flat instances), the buggy dead code was
distracting. This commit removes the entire Generic derivation machinery.

Changes:

1. Add manual Flat instances to all types that previously relied on
   Generic defaults: Maybe, Either, Complex, [], NonEmpty, tuples (2-7),
   Tree, Filler, PostAligned, PreAligned, SrcSpan, SrcSpans, and all PIR
   types (Recursivity, Strictness, Datatype, Binding, Program, Term).
   Manual encoding is bit-identical to the Generic encoding.

2. Add missing `size` methods to partial Flat instances in
   FlatInstances.hs (Name, Version, VarDecl, TyVarDecl, Program,
   NamedDeBruijn) and Value.hs (K, Quantity, Value) that previously
   relied on the Generic default for `size`.

3. Gut Class.hs: remove ~440 lines of GFlat*/GEncode*/GSize* classes,
   NumConstructors type family, all Generic default method implementations,
   and associated imports/pragmas/re-exports.

4. Remove ENUM_LARGE test infrastructure (E256/E258 types, Flat/Arbitrary
   instances, ~530 lines) and delete Core.hs inspection tests.

5. Fix transitive import breakage: files that got Generic from the
   PlutusCore.Flat re-export now import GHC.Generics directly.
   Remove `hiding (to)` from imports that no longer re-export Generics.

6. Strip Generic-specific doctests from Tutorial.hs.

All existing tests pass (5281 across 4 suites). Manual instances produce
bit-identical encoding verified by round-trip tests and golden files.

6825737d · yura/issue-7542-remove-dead-flat-code · 22/607 ++ 1,433 --

Unisay · Fri, 13 Mar 26 13:05:32 +0000 · plutus

Add budget consistency test across CEK evaluation paths (VariantC + VariantB)

Compare three evaluation paths (direct, benchmark, production) for both
VariantC (V3) and VariantB (V2). For each variant, compare CostModelParams
maps key-by-key in addition to ExBudget totals.

VariantB reveals a structural discrepancy: Path A/B has 332 params (full
cost model) while Path C has 206 params (V3-only builtins cleared). All
206 shared params have identical values and budgets match for V2 terms.

76b675a4 · yura/budget-consistency-experiment · 3/490 ++ 0 --

Unisay · Fri, 13 Mar 26 12:28:39 +0000 · plutus

Remove Generic-based Flat derivation machinery (#7542)

The internal flat library contained Generic-based Flat class derivation
via GHC.Generics that had a bug: deserializing large enum types (512+
constructors) consumed infinite memory. While not a security risk (UPLC
on-chain code uses only manual Flat instances), the buggy dead code was
distracting. This commit removes the entire Generic derivation machinery.

Changes:

1. Add manual Flat instances to all types that previously relied on
   Generic defaults: Maybe, Either, Complex, [], NonEmpty, tuples (2-7),
   Tree, Filler, PostAligned, PreAligned, SrcSpan, SrcSpans, and all PIR
   types (Recursivity, Strictness, Datatype, Binding, Program, Term).
   Manual encoding is bit-identical to the Generic encoding.

2. Add missing `size` methods to partial Flat instances in
   FlatInstances.hs (Name, Version, VarDecl, TyVarDecl, Program,
   NamedDeBruijn) and Value.hs (K, Quantity, Value) that previously
   relied on the Generic default for `size`.

3. Gut Class.hs: remove ~440 lines of GFlat*/GEncode*/GSize* classes,
   NumConstructors type family, all Generic default method implementations,
   and associated imports/pragmas/re-exports.

4. Remove ENUM_LARGE test infrastructure (E256/E258 types, Flat/Arbitrary
   instances, ~530 lines) and delete Core.hs inspection tests.

5. Fix transitive import breakage: files that got Generic from the
   PlutusCore.Flat re-export now import GHC.Generics directly.
   Remove `hiding (to)` from imports that no longer re-export Generics.

6. Strip Generic-specific doctests from Tutorial.hs.

All existing tests pass (5281 across 4 suites). Manual instances produce
bit-identical encoding verified by round-trip tests and golden files.

86ecb909 · yura/issue-7542-remove-dead-flat-code · 21/595 ++ 1,431 --

Unisay · Fri, 13 Mar 26 11:15:59 +0000 · plutus

Add budget consistency test across CEK evaluation paths (VariantC)

Tests that three CEK evaluation paths produce identical ExBudget for
the same term, using a kitchen-sink UPLC term that exercises 55 builtins
available at changPV (PV9, batch 1-4).

The three paths compared:
  A) defaultCekParametersForVariant (noinline, no JSON round-trip)
  B) mkDynEvaluationContext (inline, JSON round-trip)
  C) V3.mkEvaluationContext with [Int64] (production/node path)

f6d33d7d · yura/budget-consistency-experiment · 3/292 ++ 0 --

Unisay · Fri, 13 Mar 26 10:50:06 +0000 · plutus

Remove Generic-based Flat derivation machinery (#7542)

The internal flat library contained Generic-based Flat class derivation
via GHC.Generics that had a bug: deserializing large enum types (512+
constructors) consumed infinite memory. While not a security risk (UPLC
on-chain code uses only manual Flat instances), the buggy dead code was
distracting. This commit removes the entire Generic derivation machinery.

Changes:

1. Add manual Flat instances to all types that previously relied on
   Generic defaults: Maybe, Either, Complex, [], NonEmpty, tuples (2-7),
   Tree, Filler, PostAligned, PreAligned, SrcSpan, SrcSpans, and all PIR
   types (Recursivity, Strictness, Datatype, Binding, Program, Term).
   Manual encoding is bit-identical to the Generic encoding.

2. Add missing `size` methods to partial Flat instances in
   FlatInstances.hs (Name, Version, VarDecl, TyVarDecl, Program,
   NamedDeBruijn) and Value.hs (K, Quantity, Value) that previously
   relied on the Generic default for `size`.

3. Gut Class.hs: remove ~440 lines of GFlat*/GEncode*/GSize* classes,
   NumConstructors type family, all Generic default method implementations,
   and associated imports/pragmas/re-exports.

4. Remove ENUM_LARGE test infrastructure (E256/E258 types, Flat/Arbitrary
   instances, ~530 lines) and delete Core.hs inspection tests.

5. Fix transitive import breakage: files that got Generic from the
   PlutusCore.Flat re-export now import GHC.Generics directly.
   Remove `hiding (to)` from imports that no longer re-export Generics.

6. Strip Generic-specific doctests from Tutorial.hs.

All existing tests pass (5281 across 4 suites). Manual instances produce
bit-identical encoding verified by round-trip tests and golden files.

6c5ec456 · yura/issue-7542-remove-dead-flat-code · 20/574 ++ 1,431 --

basetunnel · Fri, 13 Mar 26 07:17:15 +0000 · plutus

Fix certifier tests

9d226ccd · basetunnel/cert-interface · 2/10 ++ 17 --

zliu41 · Fri, 13 Mar 26 02:12:52 +0000 · plutus

address comments

dd2bc450 · zliu41/unsupported · 2/3 ++ 2 --

zliu41 · Fri, 13 Mar 26 02:10:52 +0000 · plutus

Merge branch 'master' of github.com:IntersectMBO/plutus into zliu41/unsupported

8cb1de81 · zliu41/unsupported · 19/571 ++ 409 --

github · Thu, 12 Mar 26 15:52:42 +0000 · plutus

add Plutus Benchmarks (customSmallerIsBetter) benchmark result for b6d66c6721d960e9a94b4609995734c0571f1481

44caba58 · gh-pages · 1/2,025 ++ 1 --

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

Remove Generic-based Flat derivation machinery (#7542)

The internal flat library contained Generic-based Flat class derivation
via GHC.Generics that had a bug: deserializing large enum types (512+
constructors) consumed infinite memory. While not a security risk (UPLC
on-chain code uses only manual Flat instances), the buggy dead code was
distracting. This commit removes the entire Generic derivation machinery.

Changes:

1. Add manual Flat instances to all types that previously relied on
   Generic defaults: Maybe, Either, Complex, [], NonEmpty, tuples (2-7),
   Tree, Filler, PostAligned, PreAligned, SrcSpan, SrcSpans, and all PIR
   types (Recursivity, Strictness, Datatype, Binding, Program, Term).
   Manual encoding is bit-identical to the Generic encoding.

2. Add missing `size` methods to partial Flat instances in
   FlatInstances.hs (Name, Version, VarDecl, TyVarDecl, Program,
   NamedDeBruijn) and Value.hs (K, Quantity, Value) that previously
   relied on the Generic default for `size`.

3. Gut Class.hs: remove ~440 lines of GFlat*/GEncode*/GSize* classes,
   NumConstructors type family, all Generic default method implementations,
   and associated imports/pragmas/re-exports.

4. Remove ENUM_LARGE test infrastructure (E256/E258 types, Flat/Arbitrary
   instances, ~530 lines) and delete Core.hs inspection tests.

5. Fix transitive import breakage: files that got Generic from the
   PlutusCore.Flat re-export now import GHC.Generics directly.
   Remove `hiding (to)` from imports that no longer re-export Generics.

6. Strip Generic-specific doctests from Tutorial.hs.

All existing tests pass (5281 across 4 suites). Manual instances produce
bit-identical encoding verified by round-trip tests and golden files.

14b740be · yura/issue-7542-remove-dead-flat-code · 20/568 ++ 1,424 --