Skip to content

concurrency - #1762

Draft
daniel-noland wants to merge 21 commits into
pr/daniel-noland/pipeline-harnessfrom
pr/daniel-noland/model-checking
Draft

concurrency#1762
daniel-noland wants to merge 21 commits into
pr/daniel-noland/pipeline-harnessfrom
pr/daniel-noland/model-checking

style(dataplane,dpdk,flow-filter,tracectl): Settle the sync facade fo…

12dca4e
Select commit
Loading
Failed to load commit list.
DCO-2 / DCO succeeded Aug 28, 2026 in 0s

Check passed!

All commits are signed off, the check passed.

Summary


Sha Message Pass or fail reason
🟢 3a1e9ff test(dataplane): Establish what the model checker ... Valid sign-off found
🟢 7a238dd fix(dpdk): Let the acl registry lock survive a mod... Valid sign-off found
🟢 7550418 docs(concurrency): Warn that OnceLock does not res... Valid sign-off found
🟢 9437ec8 feat(routing): Publish reader factories from the t... Valid sign-off found
🟢 2ee22af refactor(dataplane): Split the fuzz fabric into fl... Valid sign-off found
🟢 5709899 test(dataplane): Model-check two workers against o... Valid sign-off found
🟢 dd20068 fix(flow-filter): Make the acl table-name counter ... Valid sign-off found
🟢 c8ae794 test(dataplane): Draw the configuration for the mu... Valid sign-off found
🟢 3628f9e feat(tracectl): Capture trace evidence, and print ... Valid sign-off found
🟢 b7a6e53 test(dataplane): Split a flow's request and reply ... Valid sign-off found
🟢 5a86ac4 fix(nat): Do not hold a flow's read guard across t... Valid sign-off found
🟢 137453b test(dataplane): Republish routes while workers fo... Valid sign-off found
🟢 8d6e863 test(dataplane): Move a next hop while workers for... Valid sign-off found
🟢 ea2752b test(dataplane): Enact a configuration while worke... Valid sign-off found
🟢 6df4f90 test(config): Measure what the operation algebra c... Valid sign-off found
🟢 221351e test(dataplane): Change a configuration under the ... Valid sign-off found
🟢 d4603d5 test(dataplane): Model both of config-apply's gene... Valid sign-off found
🟢 fbeb668 fix(nix): Restore the sanitizer ABI check, and sta... Valid sign-off found
🟢 9bbbab1 test(dataplane): Sustain the traffic the enactment... Valid sign-off found
🟢 3e9ae01 test(dataplane): Explain the masquerade swap trans... Valid sign-off found
🟢 12dca4e style(dataplane,dpdk,flow-filter,tracectl): Settle... Valid sign-off found