IntersectMBO / plutus

The Plutus language implementation and tools

IntersectMBO/plutus Issues

Fix plutus-metatheory-site nix build script.
Updated 2 days ago1
Compiler certification
Updated 6 days ago
Create an efficient drop-in Data replacement for AssocMap.Map
Updated 9 days ago
Use data to encode ScriptContext
Updated 9 days ago
CaseOfCase kind mismatch error
Closed 12 days ago
Make `ToBuiltin` handle any kind of built-in list
Updated 13 days ago
Revisit the design of `AssocMap.Map`
Updated 14 days ago
Conformance tests should cover all of language and protocol versions
Updated 15 days ago
A way to turn off indentation in the pretty-printer
Updated 16 days ago
Agda translation relation for CaseOfCase UPLC phase
Updated 16 days ago
Investigate implementing the proof generation in Isabelle
Closed 19 days ago
Add a `Lazy` type that compiles to delay/force
Updated 19 days ago3
Understand how the Coq decision procedure approach works
Closed 20 days ago1
Plutus Relese 1.21.0.0 with plcVersion110 causing AlwaysPassValidator to fail
Closed 20 days ago7
Validation benchmark times vary with order/number of exports in `PlutusBenchmark.Common
Updated 20 days ago1
Some benchmarks are screwed
Updated 22 days ago1
Support datatypes mentioning type families
Updated 23 days ago18
There should be a plugin option for each behavior controlled by `conservative-optimisation`
Closed 25 days ago
Plutus-tx coredumps on XEON v2
Closed a month ago7
"Wrong" Flat serialization of CBOR encoded Data
Closed a month ago4
Provide expected result of compress and uncompress builtins for UPLC conformance
Updated a month ago5
Support data families
Closed 2 months ago7
nix develop github:IntersectMBO/plutus
Updated 2 months ago3
`plutus-benchmark` is slower than `uplc` despite doing the same?
Updated 2 months ago
Variable name size can impact evaluation time? Or just drop the names
Updated 2 months ago
SOP lists aren't faster than built-in lists
Updated 2 months ago3
`hedgehog` builtins generators have horrible coverage
Updated 2 months ago
`builtinsAvailableIn` doesn't account for backports
Updated 2 months ago
Plutus Compilation Bug
Closed 2 months ago5
Add term mangling
Updated 2 months ago
A builtin converting the outer `Data.Constr` to a SOP for fast `case`?
Updated 2 months ago8
memoryUsage of empty ByteString is 1 instead of 0
Closed 2 months ago5
Getting the validator hash onchain
Closed 3 months ago2
Dependencies resolution fails for `cabal run uplc`
Closed 3 months ago1
You told me to report this so here it is
Closed 3 months ago1
Request for changes to the ScriptContext in PlutusV3
Updated 3 months ago42
`PlutusTx.Ratio.reduce` allows negative integer in the denominator
Closed 3 months ago1
Faster pattern matching for built-in types
Updated 3 months ago20
Error upon fresh import of plutus-metatheory into Agda project
Closed 3 months ago2
Compilation errors report do not point to the location
Closed 3 months ago4
Ledger API related features
Closed 4 months ago
`ImpossibleDeserialisationFailure` triggered
Closed 4 months ago3
One more change is needed for ScriptPurpose
Closed 4 months ago19
Change more types to Lovelace in PlutusV3 context
Closed 4 months ago
Haddock documentation link?
Closed 5 months ago1
test
Closed 5 months ago
Need Help Setting Up Local Plutus Playground: Seeking Documentation or Guidance
Closed 5 months ago1
Documentation about origin / state of indices of BuiltinFun / AST terms etc
Closed 5 months ago2
Redundant parameter in CostModel for divideInteger, modInteger, quotientInteger and remainderInteger
Closed 6 months ago4
Additions to plutus-ledger-api
Closed 6 months ago4