Open
`dischargeCekValue` doesn't handle open terms correctly
Good first issuebugstatus: triaged
5 comments1 reaction1 assignee
Issues
Open
Data.AssocMap and Data.Value should use Data.List
Good first issueInternalPlinthPlutus Ledger APIstatus: triaged
0 comments0 reactions0 assignees
Open
Add golden tests for the validation benchmarks
BenchmarksGood first issueInternalTeststatus: triagedtech debt
1 comment0 reactions0 assignees
Open
Or-patternify the codebase
Good first issueInternalstatus: triagedtech debt
1 comment0 reactions1 assignee
Open
Reduce code duplication between regular and data-backed constitution tests
ConstitutionGood first issueInternalRefactoringTeststatus: triagedtech debt
1 comment0 reactions0 assignees
Open
Fix and add new tests for controlling distribution of generated values
Good first issueLow priorityTeststatus: triagedtech debt
0 comments0 reactions0 assignees
Open
Upscale `QuickCheck` tests in the nightly test suite
Good first issueInternalTeststatus: triagedtech debt
0 comments0 reactions1 assignee
Open
The evaluate-builtins optimization isn't conservative
Good first issueInternalPlutus IRbugoptimizationstatus: triagedtech debt
1 comment1 reaction0 assignees
Open
MultiApply and MultiAbs
Good first issueInternalstatus: triaged
0 comments0 reactions0 assignees
Open
Add benchmarks for compilation
BenchmarksGood first issueLow prioritystatus: triaged
2 comments0 reactions0 assignees
Open
Investigate if lambdas not annotated with types fail to compile in Plutus Tx
Good first issueInternalPlinthUser experiencestatus: triaged
2 comments0 reactions0 assignees
Open
Specify the exact meaning of "pure" in the PIR optimizer
Good first issueInternalPlutus IRstatus: triaged
0 comments0 reactions0 assignees
Open
Make the inliner perform marking/renaming
Good first issueInternalbugoptimizationstatus: triaged
0 comments0 reactions0 assignees
Open
Experiment: replace builtin type Strict Bytestring -> ShortByteString
Good first issueInternaloptimizationstatus: triaged
0 comments0 reactions0 assignees
Open
Use type-level Nats for `safeEncodeBits`
Good first issueInternalPlutus Corestatus: triaged
0 comments0 reactions0 assignees
Open
(DecodeU8 . EncodeU8) Rewrite Rule
BuiltinsGood first issueInternaloptimizationstatus: triaged
0 comments0 reactions1 assignee
Open
Move from asciidoc to Markdown
DocumentationGood first issueInternalstatus: triaged
2 comments0 reactions0 assignees
Open
A way to turn off indentation in the pretty-printer
Good first issueLow priorityTextual representationstatus: triaged
0 comments0 reactions0 assignees
Open
Provide expected result of compress and uncompress builtins for UPLC conformance
BuiltinsGood first issueLow prioritySpecificationstatus: triagedtech debt
5 comments0 reactions1 assignee
Open
Derivation of Ord type class
Good first issueLow prioritystatus: triaged
2 comments0 reactions0 assignees