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

Update quickcheck-dynamic
#1761 opened Nov 11, 2025 by geo2a Draft
Implement a randomized snapshot delay (wip)
#1749 opened Oct 31, 2025 by fraser-iohk Draft
2 tasks
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 Loading…
Canonical snapshots non-native-snapshots
#1664 opened Sep 4, 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…
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! What’s not been updated in a month: updated:<2025-10-15.