Skip to content

Pull requests: IntersectMBO/plutus

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

CIP-0133: Add BLS12-381 multi scalar
#7151 opened Jun 16, 2025 by perturbing Loading…
11 tasks
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…
filip(fix): apply EAA amends for docs site
#7135 opened Jun 6, 2025 by fstoqnov-iohk 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…
Add arrays to metatheory No Changelog Required Add this to skip the Changelog Check
#7127 opened May 30, 2025 by ramsay-t Draft
Cleanup ForceDelay Decision Procedure Metatheory No Changelog Required Add this to skip the Changelog Check
#7112 opened May 22, 2025 by ramsay-t Draft
Builtin Array example Do not merge No Changelog Required Add this to skip the Changelog Check
#7092 opened May 13, 2025 by Unisay Draft
Fix Certifier Inline Decision Procedure No Changelog Required Add this to skip the Changelog Check
#7052 opened Apr 17, 2025 by ramsay-t Draft
[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…
Costing for caseList and caseData Builtins Costing Anything relating to costs, fees, gas, etc. No Changelog Required Add this to skip the Changelog Check
#6929 opened Mar 9, 2025 by kwxm Draft
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…
Add flag to dump PIR ASTs for certifier
#6797 opened Jan 21, 2025 by jaccokrijnen 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
ProTip! Type g i on any issue or pull request to go back to the issue listing page.