-
Notifications
You must be signed in to change notification settings - Fork 479
Pull requests: IntersectMBO/plutus
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Mark && and || OPAQUE
No Changelog Required
Add this to skip the Changelog Check
#6510
opened Sep 23, 2024 by
zliu41
Loading…
Remove the Plutus Platform page
No Changelog Required
Add this to skip the Changelog Check
#6506
opened Sep 19, 2024 by
zliu41
Loading…
[EXPERIMENT] [Builtins] 10x more builtins
Builtins
Do not merge
EXPERIMENT
Experiments that we probably don't want to merge
No Changelog Required
Add this to skip the Changelog Check
#6502
opened Sep 19, 2024 by
effectfully
•
Draft
Cost model overview document
Documentation
No Changelog Required
Add this to skip the Changelog Check
#6498
opened Sep 18, 2024 by
kwxm
Loading…
Translation relation and decision procedure for the Float-Delay
No Changelog Required
Add this to skip the Changelog Check
#6482
opened Sep 13, 2024 by
ramsay-t
Loading…
Make the auction example end-to-end
No Changelog Required
Add this to skip the Changelog Check
#6477
opened Sep 12, 2024 by
zliu41
Loading…
[Builtins] Add the 'dropList' builtin
Builtins
Do not merge
EXPERIMENT
Experiments that we probably don't want to merge
No Changelog Required
Add this to skip the Changelog Check
#6468
opened Sep 11, 2024 by
effectfully
•
Draft
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…
[Builtins] Make unlifting lazy again
Builtins
No Changelog Required
Add this to skip the Changelog Check
Performance
#6434
opened Sep 2, 2024 by
effectfully
Loading…
Kwxm/specification/bitwise
Builtins
No Changelog Required
Add this to skip the Changelog Check
Specification
#6426
opened Aug 20, 2024 by
kwxm
Loading…
[DRAFT] Minimal example of PIR simplifier memory consumption bug
#6184
opened Jun 6, 2024 by
koslambrou
•
Draft
11 tasks
Renamed to ASTSize, changed to Maybe CoverageIndex
#6081
opened May 22, 2024 by
bezirg
Loading…
11 tasks
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
plutus-tx: add red-black tree implementation for Maps, again
EXPERIMENT
Experiments that we probably don't want to merge
Implement dumping a compilation trace of the pir-pir pipeline for the Coq certifier
#5669
opened Dec 8, 2023 by
jaccokrijnen
Loading…
[Builtins] Add support for pattern matching builtins
Builtins
Do not merge
#5486
opened Aug 21, 2023 by
effectfully
•
Draft
PLT-4267: ADR: Plutus Tx's Evaluation Strategy, Compiler and Standard Library
No Changelog Required
Add this to skip the Changelog Check
#5270
opened Apr 26, 2023 by
zliu41
Loading…
Previous Next
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.