Skip to content

Pull requests: IntersectMBO/plutus

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Add --cse-which-subterms flag
#7511 opened Jan 7, 2026 by basetunnel Loading…
Implement deriveEnumData
#7502 opened Dec 22, 2025 by bezirg Loading…
4 of 11 tasks
Refined memory/cpu cost models for ValueData and UnValueData Builtins Costing Anything relating to costs, fees, gas, etc.
#7500 opened Dec 20, 2025 by Unisay Loading…
Find Use BuiltinList in findDatumHash
#7494 opened Dec 18, 2025 by zeme-wana Loading…
Costing for improved integer/bytestring conversions
#7491 opened Dec 16, 2025 by kwxm Loading…
Improve UPLC parser error messages
#7489 opened Dec 15, 2025 by zeme-wana Loading…
Metatheory: use Fin instead of nested Maybe for representing variables No Changelog Required Add this to skip the Changelog Check
#7486 opened Dec 12, 2025 by basetunnel Loading…
Array data constructor and builtins
#7485 opened Dec 12, 2025 by Unisay Draft
6 tasks done
Plinth: Add Bounded typeclass and deriveBounded
#7482 opened Dec 9, 2025 by bezirg Loading…
11 tasks
refactor(cost-model): use linear costing for valueContains Builtins Costing Anything relating to costs, fees, gas, etc. No Changelog Required Add this to skip the Changelog Check
#7476 opened Dec 4, 2025 by Unisay Loading…
3 tasks done
Implements PlutusTx.deriveOrd
#7472 opened Dec 2, 2025 by bezirg Loading…
Agda module parametrization
#7471 opened Dec 2, 2025 by ana-pantilie Draft
11 tasks
Make Builtins.unsafeUncons use builtin list casing
#7467 opened Nov 28, 2025 by sohang3112 Loading…
11 tasks done
les exemples plutus pour devellopeurs
#7453 opened Nov 25, 2025 by Kev2547 Loading…
Update cabal.project file to run multiple Ghci sessions
#7447 opened Nov 23, 2025 by Savissy Loading…
11 tasks done
Value costing: insertCoin, unionValue, scaleValue Builtins Costing Anything relating to costs, fees, gas, etc.
#7435 opened Nov 19, 2025 by ana-pantilie Loading…
Add deriveEq for Plinth similar to deriving stock Eq
#7433 opened Nov 19, 2025 by bezirg Loading…
11 tasks
Add CaseApply optimization optimization
#7421 opened Nov 15, 2025 by SeungheonOh Loading…
ProTip! Adding no:label will show everything without a label.