Skip to content

Pull requests: IntersectMBO/ouroboros-consensus

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
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Improve directory structure and dependencies of formal spec enhancement New feature or request formal-spec Changes related to formal specifications
#1691 opened Sep 23, 2025 by javierdiaz72 Draft
Canonical snapshots
#1664 opened Sep 4, 2025 by jasagredo Draft
Extract backends into separate sublibraries
#1653 opened Sep 1, 2025 by jasagredo Loading…
Use the real crypto in formal spec tests conformance Changes related to conformance testing enhancement New feature or request formal-spec Changes related to formal specifications
#1586 opened Jul 8, 2025 by javierdiaz72 Loading…
LedgerDB: implement predictable snapshotting
#1575 opened Jun 30, 2025 by amesgen Loading…
LSM trees initial integration
#1572 opened Jun 26, 2025 by jasagredo Loading…
Revert tie breaker change for small pools
#1548 opened Jun 3, 2025 by Cerkoryn Loading…
Reorganize our documentation
#1542 opened May 30, 2025 by dnadales Draft
TxSubmission Logic: integration
#1522 opened May 26, 2025 by coot Draft
Add NTC cddls
#1518 opened May 23, 2025 by jasagredo Loading…
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.