Skip to content

Pull requests: IntersectMBO/formal-ledger-specifications

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

Fix duplication introduced by #659
#692 by WhatisRT was merged Feb 20, 2025 Loading…
4 tasks done
1
Bump the nix channel from 21.05 to 24.05
#690 by WhatisRT was merged Feb 17, 2025 Loading…
4 tasks done
408 document changes to fee calculation wr ref scripts
#685 by carlostome was merged Feb 12, 2025 Loading…
4 tasks done
1
2
Simplify isUnregisteredDRep
#684 by carlostome was merged Feb 19, 2025 Loading…
4 tasks done
1
Small typo on page 11
#676 by williamdemeo was merged Feb 4, 2025 Loading…
3 of 4 tasks
1
@williamdemeo
1
Moved action specific predicates to actionWellFormed and fix a conformance failure
#673 by Soupstraw was merged Feb 11, 2025 Loading…
4 tasks
6
Remove unused parameter in function stakeDistr
#670 by carlostome was closed Feb 5, 2025 • Draft
4 tasks done
@carlostome
1
Empty withdrawals condition fix
#669 by Soupstraw was merged Feb 4, 2025 Loading…
4 tasks
1
agda2vec introduces extra empty lines
#666 by williamdemeo was merged Feb 18, 2025 Loading…
3 of 4 tasks
1
@williamdemeo
8
641-incorporate-feedback-from-the-second-audit
#662 by carlostome was merged Feb 18, 2025 Loading…
25 tasks done
2
@carlostome
8
Disallow empty withdrawal proposals
#661 by Soupstraw was merged Jan 31, 2025 Loading…
4 tasks
1
7
Added some protocol parameters to the security group
#660 by Soupstraw was merged Jan 31, 2025 Loading…
4 tasks
1
Reference previous specifications & other material
#659 by williamdemeo was merged Feb 20, 2025 Loading…
3 of 4 tasks
1
@williamdemeo
46
Make the usage of field keyword consistent
#658 by williamdemeo was merged Feb 6, 2025 Loading…
3 of 4 tasks
1
@williamdemeo
11
Adding Structured Contracts Framework
#657 by polinavino was merged Jan 31, 2025 Loading…
4 tasks
@WhatisRT @Ali-Hill
11
652 remove superscripts from rec constr
#655 by carlostome was merged Feb 19, 2025 Loading…
3 of 4 tasks
1
@carlostome
36
Fix indentation of record fields in PDF
#651 by carlostome was merged Jan 24, 2025 Loading…
4 tasks done
2
Replace a call to error in our FFI with a safe alternative
#650 by WhatisRT was merged Feb 3, 2025 Loading…
4 tasks done
1
Eliminate Boolean properties
#649 by carlostome was merged Jan 31, 2025 Loading…
5 of 10 tasks
1
8
Add instructions to build without nix (#431)
#648 by carlostome was merged Jan 24, 2025 Loading…
4 tasks done
1
1
Behavior of Plutus V3 scripts without datum
#647 by williamdemeo was merged Jan 28, 2025 Loading…
3 of 4 tasks
1
@williamdemeo
15
prepare for garnix
#646 by dermetfan was closed Feb 17, 2025 • Draft
3 tasks done
1
Mark Ledger.Conway.Conformance.Equivalence safe
#645 by WhatisRT was merged Jan 15, 2025 Loading…
4 tasks done
1
Improve the error message when a file hasn't been type checked
#643 by WhatisRT was merged Feb 17, 2025 Loading…
4 tasks done
3
Allow legacy dereg certs
#638 by Soupstraw was merged Jan 14, 2025 Loading…
4 tasks
1
6
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.