plutus icon indicating copy to clipboard operation
plutus copied to clipboard

The Plutus language implementation and tools

Results 407 plutus issues
Sort by recently updated
recently updated
newest added

[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...

Costing
status: triaged
Internal
tech debt

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

Plutus IR
status: triaged
Internal
tech debt

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

Builtins
Metatheory
status: triaged
Internal
tech debt

Executing `cabal test cardano-constituion-tests --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...

bug
Test
status: triaged
Internal
tech debt
Constitution

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...

bug
Plinth
status: triaged
Internal
tech debt

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

Test
Refactoring
Good first issue
status: triaged
Internal
tech debt
Constitution

### 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...

Low priority
Untyped Plutus Core
status: triaged
optimization