-
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
[Evaluation] Add 'CekResult' and improve 'dischargeCekValue'
Evaluation
Refactoring
#7272
opened Aug 13, 2025 by
effectfully
Loading…
chore(deps): bump actions/checkout from 4.3.0 to 5.0.0
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#7270
opened Aug 13, 2025 by
dependabot
bot
Loading…
Update index.md
No Changelog Required
Add this to skip the Changelog Check
#7265
opened Aug 12, 2025 by
joseph-fajen
Loading…
Fix natural number flat encoding on the spec
No Changelog Required
Add this to skip the Changelog Check
Specification
#7263
opened Aug 8, 2025 by
SeungheonOh
Loading…
Make our repo buildable again with Add this to skip the Changelog Check
-O0
.
No Changelog Required
#7262
opened Aug 7, 2025 by
bezirg
Loading…
Benchmarking consistency
Benchmarks
Do not merge
EXPERIMENT
Experiments that we probably don't want to merge
No Changelog Required
Add this to skip the Changelog Check
#7253
opened Jul 31, 2025 by
kwxm
Loading…
Throw compilation error when unsupported extension is enabled
#7252
opened Jul 31, 2025 by
SeungheonOh
Loading…
Experiment with OPAQUE in Experiments that we probably don't want to merge
No Changelog Required
Add this to skip the Changelog Check
Plutus Ledger API
builtinsIntroducedIn
Do not merge
EXPERIMENT
#7241
opened Jul 28, 2025 by
kwxm
Loading…
Use Data backed ledger types for COOP
No Changelog Required
Add this to skip the Changelog Check
#7235
opened Jul 24, 2025 by
SeungheonOh
Loading…
builtinsAvailableIn: try to use TH to ensure maps computed at compile time
Do not merge
EXPERIMENT
Experiments that we probably don't want to merge
No Changelog Required
Add this to skip the Changelog Check
Plutus Ledger API
#7233
opened Jul 24, 2025 by
kwxm
Loading…
builtinsAvailableIn: revert from function to map
Do not merge
EXPERIMENT
Experiments that we probably don't want to merge
No Changelog Required
Add this to skip the Changelog Check
Plutus Ledger API
#7232
opened Jul 24, 2025 by
kwxm
Loading…
Update evaluating-plinth.md
No Changelog Required
Add this to skip the Changelog Check
#7230
opened Jul 22, 2025 by
Unisay
Loading…
[Builtins] Add constant casing for builtin unit and pair
Builtins
#7221
opened Jul 17, 2025 by
SeungheonOh
Loading…
[Builtin] Add "dumb" Add this to skip the Changelog Check
Data
matching
Don't look here yet
No Changelog Required
#7209
opened Jul 14, 2025 by
SeungheonOh
Loading…
chore(deps): bump slackapi/slack-github-action from 2.1.0 to 2.1.1
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
No Changelog Required
Add this to skip the Changelog Check
#7198
opened Jul 10, 2025 by
dependabot
bot
Loading…
Cleanup ForceDelay Decision Procedure
Metatheory
No Changelog Required
Add this to skip the Changelog Check
Previous Next
ProTip!
Mix and match filters to narrow down what you’re looking for.