Skip to content

Pull requests: IntersectMBO/plutus

New pull request New
Clear current search query, filters, and sorts
64 Open 5,905 Closed
64 Open 5,905 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Add golden size tests for Marlowe validators No Changelog Required Add this to skip the Changelog Check
#5578 by zliu41 was merged Oct 9, 2023 Loading…
[WIP] Update Plutus for CSL purposes
#4 by neongreen was closed Jan 23, 2018 Loading…
Add a Quick Start guide to RTD (PLT-1383) No Changelog Required Add this to skip the Changelog Check
#5557 by zliu41 was merged Oct 6, 2023 Loading…
62
PLT-6543: Implement emitter tracing for debugger
#5575 by bezirg was merged Oct 6, 2023 Loading…
11 tasks
@bezirg
1
Fix onchain evaluation test No Changelog Required Add this to skip the Changelog Check
#5576 by kwxm was merged Oct 6, 2023 Loading…
Add id function to the demo program.
#6 by jmitchell was merged Jun 12, 2017 Loading…
Add openssl for nix build
#5 by jmitchell was merged Jun 12, 2017 Loading…
2
Case only core
#3 by BekaValentine was merged Apr 18, 2017 Loading…
Proof development experiment
#2 by BekaValentine was merged Mar 27, 2017 Loading…
Update instructions in README.md
#1 by palas was merged Dec 16, 2016 Loading…
1
[CSL-2125] Bump up 'base' upper bound
#7 by chshersh was merged Jan 23, 2018 Loading…
@chshersh
[WIP] Plutus core/cgp 205
#19 by vmchale was merged Jul 27, 2018 Loading…
11
[WIP] Deal with identifiers
#11 by vmchale was merged May 11, 2018 Loading…
10
[WIP] Plutus napkin/cgp 165
#10 by vmchale was merged May 5, 2018 Loading…
3
Fix ByteString literals
#14 by vmchale was merged Jun 4, 2018 Loading…
7
Implement type renamer
#16 by vmchale was merged Jun 29, 2018 Loading…
26
[Devops-890] nixify plutus
#17 by disassembler was merged Jun 29, 2018 Loading…
12
Fix canonical equality on Name
#13 by vmchale was merged May 17, 2018 Loading…
2
Plutus core/cgp 203
#15 by vmchale was merged Jun 6, 2018 Loading…
[CGP-349] Fixed the Eq instance for Type
#157 by effectfully was merged Oct 1, 2018 Loading…
2
[CGP-365] [Constants] Use 'BlockNum', remove 'BlockTime'
#176 by effectfully was merged Oct 6, 2018 Loading…
4
Revert "use NormalizedType in state"
#167 by vmchale was closed Oct 3, 2018 Loading…
fix cabal file
#164 by vmchale was merged Oct 3, 2018 Loading…
[CGP-356] Added type synthesis tests
#165 by effectfully was merged Oct 3, 2018 Loading…
4
Fixed the wrap case in the type checker
#169 by effectfully was merged Oct 3, 2018 Loading…
6
ProTip! no:milestone will show everything without a milestone.