Skip to content

Pull requests: IntersectMBO/formal-ledger-specifications

New pull request New
16 Open 729 Closed
16 Open 729 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

Optimize genErrors
#1320 opened Sep 10, 2026 by carlostome Collaborator • Draft
4 tasks
Close 1314 by renaming type in examples
#1319 opened Sep 10, 2026 by tferariu Collaborator Loading…
4 tasks done
1
Leios PParams
#1317 opened Sep 9, 2026 by ch1bo Collaborator • 1/3 Loading…
[doc/infra] update CONTRIBUTING; add devShell for formal-ledger-test (#1315)
#1316 opened Sep 8, 2026 by williamdemeo Member Loading…
4 tasks done
1
2
Add pool-vote witnesses for BLS-authorized SPO governance votes
#1309 opened Sep 3, 2026 by ch1bo Collaborator • 3/3 • Draft
4 tasks
1
[Dijkstra] Add starting account balance intervals era: dijkstra
#1308 opened Sep 3, 2026 by carlostome Collaborator Loading…
2 of 4 tasks
5
WIP -- [Leios] LLF1-3: the endorser block, its announcement, and the vote (#1301)
#1307 opened Sep 2, 2026 by williamdemeo Member • 3/3 • Draft
5
[Leios] LLF1-2: single-vote BLS verification and voting-crypto prose (#1298)
#1305 opened Sep 2, 2026 by williamdemeo Member • 2/3 Loading…
1
2
[Leios] BLS voting primitives in the core crypto structure
#1304 opened Sep 2, 2026 by williamdemeo Member • 1/3 Loading…
6
Leios Key registration, expiry and committee selection
#1300 opened Aug 31, 2026 by ch1bo Collaborator • 2/3 Loading…
4 tasks
1
[Leios] LLF1-1: the design note (#1296)
#1297 opened Aug 25, 2026 by williamdemeo Member Loading…
1 of 4 tasks
1
5
[Conway] Property : voteDelegs range lies in VDelegs of registered DReps (#1233) era: conway property Ledger property (tracked in the catalog)
#1290 opened Aug 6, 2026 by williamdemeo Member Loading…
1
8
Update agda-stdlib-meta 🛠️ infrastructure
#1286 opened Aug 3, 2026 by carlostome Collaborator Loading…
4 tasks
WIP -- [Dijkstra] CIP-159: Prove Gov preservation-of-value facts (#1276) era: dijkstra property Ledger property (tracked in the catalog)
#1278 opened Jul 29, 2026 by williamdemeo Member • 4/4 • Draft
4 tasks done
1
1
WIP -- [Dijkstra] CIP-159-11a: Prove CERTS preservation of value (#1185) era: dijkstra property Ledger property (tracked in the catalog)
#1210 opened May 28, 2026 by williamdemeo Member • 3/4 • Draft
4 tasks done
1
[Dijkstra] CIP-159-11b: Prove UTxO and UTxOW preservation of value (#1186) era: dijkstra property Ledger property (tracked in the catalog)
#1189 opened May 7, 2026 by williamdemeo Member • 2/4 Loading…
4 tasks done
1
@williamdemeo
6
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.