Skip to content

Pull requests: IntersectMBO/plutus

New pull request New
Clear current search query, filters, and sorts
34 Open 5,522 Closed
34 Open 5,522 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Yet more benchmarking experiments Benchmarks Do not merge EXPERIMENT Experiments that we probably don't want to merge No Changelog Required Add this to skip the Changelog Check
#6783 opened Jan 10, 2025 by kwxm Loading…
105
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
@bezirg
1
Add Delay type and use it
#5910 opened Apr 17, 2024 by michaelpj Loading…
1
9
Renamed to ASTSize, changed to Maybe CoverageIndex
#6081 opened May 22, 2024 by bezirg Loading…
11 tasks
@bezirg
20
[DRAFT] Minimal example of PIR simplifier memory consumption bug
#6184 opened Jun 6, 2024 by koslambrou • Draft
11 tasks
Add a step for incrementing ledger package versions in the release process No Changelog Required Add this to skip the Changelog Check
#6442 opened Sep 4, 2024 by zliu41 Loading…
14
Introduce hashScriptWithPrefix which produces the ScriptHash corresponding to a SerialisedScript Plutus Ledger API tech debt User experience
#6527 opened Sep 30, 2024 by colll78 Loading…
10 tasks done
19
Add PlutusLedgerApi QuickCheck instances
#6624 opened Nov 1, 2024 by t4ccer Loading…
11 tasks
1
41
[Benchmark] Include 'mkTermToEvaluate' in 'benchmark-decode' Benchmarks Evaluation No Changelog Required Add this to skip the Changelog Check Performance
#6667 opened Nov 14, 2024 by effectfully • Draft
@effectfully
32
chore(deps): bump slackapi/slack-github-action from 1.27.0 to 2.0.0 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#6668 opened Nov 15, 2024 by dependabot bot Loading…
Add tasty-papi benchmarking No Changelog Required Add this to skip the Changelog Check
#6674 opened Nov 15, 2024 by papagvas Loading…
9
Benchmarking experiments Benchmarks Do not merge EXPERIMENT Experiments that we probably don't want to merge No Changelog Required Add this to skip the Changelog Check
#6754 opened Dec 17, 2024 by kwxm Loading…
108
[prototype] Support base's classes and methods in Plutus Tx Do not merge
#5219 opened Mar 20, 2023 by zliu41 Loading…
34
More benchmarking experiments Benchmarks Do not merge EXPERIMENT Experiments that we probably don't want to merge No Changelog Required Add this to skip the Changelog Check
#6769 opened Jan 1, 2025 by kwxm Loading…
175
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
@bezirg
[AST] Add 'Fix' AST Evaluation EXPERIMENT Experiments that we probably don't want to merge Performance
#6793 opened Jan 15, 2025 by effectfully Loading…
@kwxm @effectfully
75
Add flag to dump PIR ASTs for certifier
#6797 opened Jan 21, 2025 by jaccokrijnen Loading…
@jaccokrijnen
16
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…
@effectfully
17
Add SCCs to Profile PlutusTx Plugin Steps
#6843 opened Feb 13, 2025 by zeme-wana • Draft
pre-commit hooks: disable SH, enable fourmolu, remove disabled hooks. No Changelog Required Add this to skip the Changelog Check
#6875 opened Feb 25, 2025 by Unisay Loading…
@Unisay
1
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…
1
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
2
Experiment: branch for running decision procedures without TransMatch
#6944 opened Mar 12, 2025 by ana-pantilie • Draft
11 tasks
[Evaluation] [Performance] Use the strict 'List' for 'Constr' Evaluation Performance
#6947 opened Mar 12, 2025 by effectfully Loading…
@effectfully
29
Agda metatheory as an Agda library. Metatheory No Changelog Required Add this to skip the Changelog Check
#6985 opened Mar 27, 2025 by ramsay-t Loading…
ProTip! Exclude everything labeled bug with -label:bug.