plutus

plutus copied to clipboard

[Migrated from PLT-121] [This was originally reported by mpj. I'm not sure if it's relevant any more since things have moved on since then.] In particular, check that they don't...

kwxm

Currently not much is exposed from the plutus-ir library / namespace (originally reported by welltyped’s edsko)

bezirg

Add builtin versioning infrastructure to metatheory

1

Similar to what we do in plutus-core with builtinsemanticsvariant.

bezirg

Fix failing cardano-constitution tests

3

Executing `cabal test cardano-constitution-test --test-option "-p /Golden/"` causes ten tests to fail: see the attached output. It's not immediately clear what the problem is, but many of the failures are...

kwxm

The idea is to avoid having to add pragmas by hand in the case of `asData`. Sometimes GHC renames the TH generated pattern synonyms or the functions from the TH...

ana-pantilie

See https://github.com/IntersectMBO/plutus/pull/6784#pullrequestreview-2542894007.

ana-pantilie

Optimization: chain of application to `Case` `Constr`

1

### Describe the feature you'd like `(((\a b c -> a + b + c) 10) 20) 30` is more expensive than `(case (constr 0 [10, 20, 30]) f)` given...

SeungheonOh

Value costing: insertCoin, unionValue, scaleValue

3

Fixes https://github.com/IntersectMBO/plutus-private/issues/1899 Fixes https://github.com/IntersectMBO/plutus-private/issues/1900

ana-pantilie

Docs for casing on constants

1

basetunnel

WIP: Preliminary ghc 9.14 support

1

* Currently using `ghc-9.14.0.20250908`. * This GHC has [a bug](https://gitlab.haskell.org/ghc/ghc/-/issues/26381) that needs to be fixed before the real 9.14 release. * This bug required the adding of a large number...

erikd