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