Skip to content

Pull requests: IntersectMBO/plutus

New pull request New
Clear current search query, filters, and sorts
28 Open 5,174 Closed
28 Open 5,174 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

Kwxm/specification/bitwise Builtins No Changelog Required Add this to skip the Changelog Check Specification
#6426 opened Aug 20, 2024 by kwxm Loading…
3
[Builtins] Add support for pattern matching builtins Builtins Do not merge
#5486 opened Aug 21, 2023 by effectfully • Draft
@effectfully
100
Implement dumping a compilation trace of the pir-pir pipeline for the Coq certifier
#5669 opened Dec 8, 2023 by jaccokrijnen Loading…
7
Improve beta reduction in callsite inliner for PIR
#5673 opened Dec 9, 2023 by zliu41 Loading…
19
Trial, no "automatic" plugin loading
#5675 opened Dec 10, 2023 by angerman • Draft
plutus-tx: add red-black tree implementation for Maps, again EXPERIMENT Experiments that we probably don't want to merge
#5697 opened Jan 3, 2024 by michaelpj • Draft
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
Docs revamp Documentation
#5866 opened Mar 28, 2024 by joseph-fajen • Draft
5 of 14 tasks
Documentation Re-write (Plutus & PlutusTX)
@joseph-fajen
21
review dev-onboarding-quick-setup.md
#5868 opened Mar 29, 2024 by nstanford5 Loading…
@joseph-fajen
3
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
[prototype] Support base's classes and methods in Plutus Tx Do not merge
#5219 opened Mar 20, 2023 by zliu41 Loading…
34
Use Agda generics for proof serialising
#6425 opened Aug 20, 2024 by ana-pantilie • Draft
11 tasks
1
checking exported ledger types to have Arbitrary instances
#6428 opened Aug 21, 2024 by aleeusgr • Draft
6 of 11 tasks
6
[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…
@effectfully
33
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
[Errors] Test that evaluation of a well-typed term doesn't fail with a structural error Errors Evaluation No Changelog Required Add this to skip the Changelog Check Test
#6443 opened Sep 4, 2024 by effectfully Loading…
1
@effectfully
6
[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
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…
33
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…
@ramsay-t
11
Cost model overview document Documentation No Changelog Required Add this to skip the Changelog Check
#6498 opened Sep 18, 2024 by kwxm Loading…
Add version select to haddock index page
#6499 opened Sep 18, 2024 by zeme-wana Loading…
@zeme-wana
[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
@effectfully
22
[Refactoring] Tweak 'PlutusTx.Data.AssocMap' No Changelog Required Add this to skip the Changelog Check Plinth Refactoring
#6509 opened Sep 19, 2024 by effectfully Loading…
@effectfully
9
ProTip! Follow long discussions with comments:>50.