Allow QuickCheck 2.18
Home /
Input Output /
ouroboros-network
Jun 05, 7-8 PM (0)
Jun 05, 8-9 PM (0)
Jun 05, 9-10 PM (0)
Jun 05, 10-11 PM (0)
Jun 05, 11-12 AM (0)
Jun 06, 12-1 AM (0)
Jun 06, 1-2 AM (0)
Jun 06, 2-3 AM (0)
Jun 06, 3-4 AM (0)
Jun 06, 4-5 AM (0)
Jun 06, 5-6 AM (0)
Jun 06, 6-7 AM (0)
Jun 06, 7-8 AM (0)
Jun 06, 8-9 AM (0)
Jun 06, 9-10 AM (0)
Jun 06, 10-11 AM (0)
Jun 06, 11-12 PM (0)
Jun 06, 12-1 PM (0)
Jun 06, 1-2 PM (0)
Jun 06, 2-3 PM (0)
Jun 06, 3-4 PM (0)
Jun 06, 4-5 PM (0)
Jun 06, 5-6 PM (0)
Jun 06, 6-7 PM (0)
Jun 06, 7-8 PM (0)
Jun 06, 8-9 PM (0)
Jun 06, 9-10 PM (0)
Jun 06, 10-11 PM (0)
Jun 06, 11-12 AM (0)
Jun 07, 12-1 AM (0)
Jun 07, 1-2 AM (0)
Jun 07, 2-3 AM (0)
Jun 07, 3-4 AM (0)
Jun 07, 4-5 AM (0)
Jun 07, 5-6 AM (0)
Jun 07, 6-7 AM (0)
Jun 07, 7-8 AM (0)
Jun 07, 8-9 AM (0)
Jun 07, 9-10 AM (0)
Jun 07, 10-11 AM (0)
Jun 07, 11-12 PM (0)
Jun 07, 12-1 PM (0)
Jun 07, 1-2 PM (0)
Jun 07, 2-3 PM (0)
Jun 07, 3-4 PM (0)
Jun 07, 4-5 PM (0)
Jun 07, 5-6 PM (0)
Jun 07, 6-7 PM (0)
Jun 07, 7-8 PM (0)
Jun 07, 8-9 PM (0)
Jun 07, 9-10 PM (0)
Jun 07, 10-11 PM (0)
Jun 07, 11-12 AM (0)
Jun 08, 12-1 AM (0)
Jun 08, 1-2 AM (0)
Jun 08, 2-3 AM (0)
Jun 08, 3-4 AM (0)
Jun 08, 4-5 AM (0)
Jun 08, 5-6 AM (0)
Jun 08, 6-7 AM (0)
Jun 08, 7-8 AM (0)
Jun 08, 8-9 AM (0)
Jun 08, 9-10 AM (1)
Jun 08, 10-11 AM (7)
Jun 08, 11-12 PM (0)
Jun 08, 12-1 PM (0)
Jun 08, 1-2 PM (0)
Jun 08, 2-3 PM (1)
Jun 08, 3-4 PM (0)
Jun 08, 4-5 PM (0)
Jun 08, 5-6 PM (0)
Jun 08, 6-7 PM (0)
Jun 08, 7-8 PM (0)
Jun 08, 8-9 PM (0)
Jun 08, 9-10 PM (0)
Jun 08, 10-11 PM (0)
Jun 08, 11-12 AM (0)
Jun 09, 12-1 AM (0)
Jun 09, 1-2 AM (0)
Jun 09, 2-3 AM (0)
Jun 09, 3-4 AM (0)
Jun 09, 4-5 AM (0)
Jun 09, 5-6 AM (0)
Jun 09, 6-7 AM (0)
Jun 09, 7-8 AM (0)
Jun 09, 8-9 AM (6)
Jun 09, 9-10 AM (21)
Jun 09, 10-11 AM (0)
Jun 09, 11-12 PM (0)
Jun 09, 12-1 PM (3)
Jun 09, 1-2 PM (0)
Jun 09, 2-3 PM (0)
Jun 09, 3-4 PM (0)
Jun 09, 4-5 PM (0)
Jun 09, 5-6 PM (0)
Jun 09, 6-7 PM (0)
Jun 09, 7-8 PM (0)
Jun 09, 8-9 PM (0)
Jun 09, 9-10 PM (0)
Jun 09, 10-11 PM (0)
Jun 09, 11-12 AM (0)
Jun 10, 12-1 AM (0)
Jun 10, 1-2 AM (0)
Jun 10, 2-3 AM (0)
Jun 10, 3-4 AM (0)
Jun 10, 4-5 AM (0)
Jun 10, 5-6 AM (0)
Jun 10, 6-7 AM (0)
Jun 10, 7-8 AM (0)
Jun 10, 8-9 AM (0)
Jun 10, 9-10 AM (2)
Jun 10, 10-11 AM (7)
Jun 10, 11-12 PM (0)
Jun 10, 12-1 PM (2)
Jun 10, 1-2 PM (0)
Jun 10, 2-3 PM (0)
Jun 10, 3-4 PM (0)
Jun 10, 4-5 PM (2)
Jun 10, 5-6 PM (0)
Jun 10, 6-7 PM (0)
Jun 10, 7-8 PM (0)
Jun 10, 8-9 PM (0)
Jun 10, 9-10 PM (0)
Jun 10, 10-11 PM (0)
Jun 10, 11-12 AM (0)
Jun 11, 12-1 AM (0)
Jun 11, 1-2 AM (0)
Jun 11, 2-3 AM (0)
Jun 11, 3-4 AM (0)
Jun 11, 4-5 AM (0)
Jun 11, 5-6 AM (0)
Jun 11, 6-7 AM (4)
Jun 11, 7-8 AM (0)
Jun 11, 8-9 AM (2)
Jun 11, 9-10 AM (0)
Jun 11, 10-11 AM (0)
Jun 11, 11-12 PM (0)
Jun 11, 12-1 PM (0)
Jun 11, 1-2 PM (0)
Jun 11, 2-3 PM (0)
Jun 11, 3-4 PM (0)
Jun 11, 4-5 PM (0)
Jun 11, 5-6 PM (0)
Jun 11, 6-7 PM (0)
Jun 11, 7-8 PM (0)
Jun 11, 8-9 PM (0)
Jun 11, 9-10 PM (0)
Jun 11, 10-11 PM (0)
Jun 11, 11-12 AM (0)
Jun 12, 12-1 AM (0)
Jun 12, 1-2 AM (0)
Jun 12, 2-3 AM (0)
Jun 12, 3-4 AM (0)
Jun 12, 4-5 AM (0)
Jun 12, 5-6 AM (3)
Jun 12, 6-7 AM (2)
Jun 12, 7-8 AM (2)
Jun 12, 8-9 AM (2)
Jun 12, 9-10 AM (2)
Jun 12, 10-11 AM (0)
Jun 12, 11-12 PM (1)
Jun 12, 12-1 PM (0)
Jun 12, 1-2 PM (1)
Jun 12, 2-3 PM (0)
Jun 12, 3-4 PM (0)
Jun 12, 4-5 PM (1)
Jun 12, 5-6 PM (0)
Jun 12, 6-7 PM (0)
Jun 12, 7-8 PM (0)
72 commits this week
Jun 05, 2026
-
Jun 12, 2026
window-stats: wip
Merge pull request #5381 from IntersectMBO/karknu/knownpeers
Efficient common case for setCurrentTime
experiment: mark branch as pre-May18-fixes CI test
Merge pull request #5381 from IntersectMBO/karknu/knownpeers
Efficient common case for setCurrentTime
Efficient common case for setCurrentTime
KnownPeers.setCurrentTime and EstablishedPeers.setCurrentTime run on every governor loop iteration. Add a fast path to KnownPeers for the common case where nothing is scheduled or the earliest scheduled time is still in the future; previously it always ran the general path, rebuilding the record and (with +asserts) checking the invariant. In EstablishedPeers use findMin instead of minView in the existing fast-path guard: an O(1) peek that avoids allocating the deletion of the minimum. The fast path now also covers the empty-queue case, which previously fell through to the general path.
fixup: restrict RawTxId law
We only need Eq.
Add --sha256 to SRP so haskell.nix/Hydra uses our contra-tracer
Fix SRP tag: correct full commit hash for runTracerA INLINE fix
Update contra-tracer SRP: inline runTracerA to fix Hydra OOM
Bumps the pinned tag to include the runTracerA INLINE fix. Without INLINE, every traceWith call with a nullTracer (Squelching constructor) allocates a fresh Kleisli wrapper via arr (const ()). In the network-mux bearer hot path this amounts to 5 such calls per SDU. With messages chunked into 1260-byte SDUs, a single 3 MB payload generates thousands of SDUs and therefore thousands of spurious Kleisli allocations per traceWith call, producing hundreds of MB of short-lived GC pressure that pushes the test suite past the 900 MB Hydra limit. With INLINE on runTracerA and the existing INLINE on traceWith, GHC reduces traceWith nullTracer x to pure () at the call site: zero allocation, no GC overhead.
Fix SRP: drop branch field, keep only tag
Pin contra-tracer to Russoul/contra-tracer@a498503 (strict Arrow instances)
Revert "nix: bumped heap limit"
This reverts commit 85d7de79ea8bda2dfa5daf2962a7de566c86d983.
Merge pull request #5205 from IntersectMBO/coot/cardano-ping
cardano ping implemented with ouroboros-network
Efficient common case for setCurrentTime
KnownPeers.setCurrentTime and EstablishedPeers.setCurrentTime run on every governor loop iteration. Add a fast path to KnownPeers for the common case where nothing is scheduled or the earliest scheduled time is still in the future; previously it always ran the general path, rebuilding the record and (with +asserts) checking the invariant. In EstablishedPeers use findMin instead of minView in the existing fast-path guard: an O(1) peek that avoids allocating the deletion of the minimum. The fast path now also covers the empty-queue case, which previously fell through to the general path.
cardano-ping - build staticlly linked executable
``` nix build .\#cardano-ping-static.x86_64-linux ```
cardano-diffusion:ping - output fixes
* Log stat header. * Formatting stat header & StatPoint. * Start logging ping statistics / tip / query results only when all clients are ready. This way we don't mix connection messages / warnings with other messages.
cardano-diffusion:ping - added --color auto|never|always option
Bold headers are printed when color output is enabled (always, or auto when stdout is a terminal). Co-Authored-By: Claude Sonnet 4.6 <[email protected]>
cardano-diffusion:ping - added --color auto|never|always option
Bold headers are printed when color output is enabled (always, or auto when stdout is a terminal). Co-Authored-By: Claude Sonnet 4.6 <[email protected]>
cardano-ping - build staticlly linked executable
``` nix build .\#cardano-ping-static.x86_64-linux ```
cardano-diffusion:ping - output fixes
* Log stat header. * Formatting stat header & StatPoint. * Start logging ping statistics / tip / query results only when all clients are ready. This way we don't mix connection messages / warnings with other messages.
fixup: matching loops with label for benchmark
fixup: benchmark fixes
Change the time for each call so that ghc is forced to run every loop itteration.
cardano-diffusion:ping - output fixes
* Log stat header. * Formatting stat header & StatPoint. * Start logging ping statistics only when all clients are ready. This way we don't mix connection messages / warnings with ping statistics.