-
Notifications
You must be signed in to change notification settings - Fork 463
Pull requests: IntersectMBO/plutus
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
[DRAFT] Minimal example of PIR simplifier memory consumption bug
#6184
opened Jun 6, 2024 by
koslambrou
•
Draft
11 tasks
[Errors] Preserve operational unlifting errors
Error handling
Evaluation
#6181
opened Jun 6, 2024 by
effectfully
•
Draft
Fix "un-rolling" a list type.
No Changelog Required
Add this to skip the Changelog Check
#6165
opened Jun 3, 2024 by
Unisay
Loading…
[Evaluation] Move stuff under Add this to skip the Changelog Check
Refactoring
enterComputeCek
Evaluation
No Changelog Required
#6156
opened May 30, 2024 by
effectfully
Loading…
Renamed to ASTSize, changed to Maybe CoverageIndex
#6081
opened May 22, 2024 by
bezirg
Loading…
11 tasks
All names are printed with their unique values by default.
#5972
opened May 10, 2024 by
Unisay
Loading…
2 tasks done
Experiment: print Agda-readable ASTs from UPLC simplifier
#5942
opened May 1, 2024 by
ana-pantilie
•
Draft
11 tasks
[Builtins] Replace 'EvaluationResult' with 'BuiltinResult'
Builtins
User experience
#5926
opened Apr 26, 2024 by
effectfully
•
Draft
Docs revamp
Documentation
#5866
opened Mar 28, 2024 by
joseph-fajen
•
Draft
Documentation Re-write (Plutus & PlutusTX)
5 of 14 tasks
Added PlutusTx.SortedMap
Do not merge
Don't look here yet
EXPERIMENT
Experiments that we probably don't want to merge
#5812
opened Feb 28, 2024 by
bezirg
Loading…
11 tasks
[Builtins] add 'constrTermFromConstrData'
Builtins
EXPERIMENT
Experiments that we probably don't want to merge
Performance
#5776
opened Feb 15, 2024 by
effectfully
•
Draft
[Builtins] Add 'ListToConstr' and 'DataToConstr'
Builtins
Do not merge
EXPERIMENT
Experiments that we probably don't want to merge
#5704
opened Jan 5, 2024 by
effectfully
Loading…
Previous Next
ProTip!
Adding no:label will show everything without a label.