-
Notifications
You must be signed in to change notification settings - Fork 485
Pull requests: IntersectMBO/plutus
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add a way to generate callstack trace message
Plinth Plugin
Plinth
User experience
#7148
opened Jun 16, 2025 by
SeungheonOh
Loading…
Kwxm/update triage instructions
Documentation
No Changelog Required
Add this to skip the Changelog Check
#7147
opened Jun 13, 2025 by
kwxm
Loading…
[Builtins] Make costing of 'equalsData' more accurate
Builtins
Costing
Anything relating to costs, fees, gas, etc.
Do not merge
EXPERIMENT
Experiments that we probably don't want to merge
#7138
opened Jun 11, 2025 by
effectfully
Loading…
Kwxm/test/extra integer property tests
Builtins
No Changelog Required
Add this to skip the Changelog Check
Test
#7134
opened Jun 5, 2025 by
kwxm
Loading…
Cleanup ForceDelay Decision Procedure
Metatheory
No Changelog Required
Add this to skip the Changelog Check
[Plinth] [Optimization] Tweak eta and strictness codegen
optimization
Plinth
#7082
opened May 9, 2025 by
effectfully
Loading…
[Builtins] Allow casing on booleans and integers
Builtins
Evaluation
Performance
#7029
opened Apr 10, 2025 by
effectfully
Loading…
[AST] [Performance] Use 'Array' instead of 'Vector'
AST
Evaluation
EXPERIMENT
Experiments that we probably don't want to merge
Performance
#7012
opened Apr 3, 2025 by
effectfully
Loading…
[Evaluation] Inline everything on the evaluation path
Evaluation
EXPERIMENT
Experiments that we probably don't want to merge
Performance
#7000
opened Apr 1, 2025 by
effectfully
Loading…
Add Project Code Coverage To CI
No Changelog Required
Add this to skip the Changelog Check
#6979
opened Mar 26, 2025 by
zeme-wana
Loading…
[Evaluation] [Performance] Use the strict 'List' for 'Constr'
Evaluation
Performance
#6947
opened Mar 12, 2025 by
effectfully
Loading…
Experiment: branch for running decision procedures without TransMatch
#6944
opened Mar 12, 2025 by
ana-pantilie
•
Draft
11 tasks
Costing for Anything relating to costs, fees, gas, etc.
No Changelog Required
Add this to skip the Changelog Check
caseList
and caseData
Builtins
Costing
filip(feat): apply new branding with regard to the new colouring/typography/logos discussed in branding guidelines
#6894
opened Mar 3, 2025 by
fstoqnov-iohk
Loading…
Effectfully/inline fix
Do not merge
EXPERIMENT
Experiments that we probably don't want to merge
No Changelog Required
Add this to skip the Changelog Check
optimization
#6842
opened Feb 13, 2025 by
effectfully
Loading…
plutus exe doc: add some extra extensions
No Changelog Required
Add this to skip the Changelog Check
#6789
opened Jan 14, 2025 by
bezirg
Loading…
11 tasks
Previous Next
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.