Skip to content

(11) config - #1763

Draft
daniel-noland wants to merge 16 commits into
pr/daniel-noland/model-checkingfrom
pr/daniel-noland/config-algebra
Draft

(11) config#1763
daniel-noland wants to merge 16 commits into
pr/daniel-noland/model-checkingfrom
pr/daniel-noland/config-algebra

test(dataplane): Require an excluded address to be unreachable

334f87e
Select commit
Loading
Failed to load commit list.
DCO-2 / DCO succeeded Sep 3, 2026 in 0s

Check passed!

All commits are signed off, the check passed.

Summary


Sha Message Pass or fail reason
🟢 7384846 fix(hardware): Bind NICs whose kernel driver was n... Valid sign-off found
🟢 dade045 test(dataplane): Answer a request from where it la... Valid sign-off found
🟢 6959477 fix(nat): Find a burst's flow under the key it was... Valid sign-off found
🟢 5a1e40e feat(config): Let the algebra build a static-nat e... Valid sign-off found
🟢 d7ffbd1 test(dataplane): Give an inbound load addresses it... Valid sign-off found
🟢 1906fef feat(config): Let the algebra build a port-forward... Valid sign-off found
🟢 59b6002 feat(config): Let the algebra put an ACL on a peer... Valid sign-off found
🟢 131cf2d test(config): Take the census into the ACL schema Valid sign-off found
🟢 db4bf7b feat(config): Let the algebra permit a peering by ... Valid sign-off found
🟢 5533515 feat(config): Let one ACL rule name part of a peer... Valid sign-off found
🟢 36f6ca8 feat(config): Name a gateway group, a rule's loggi... Valid sign-off found
🟢 633608f feat(config): Narrow a rule by protocol, by port, ... Valid sign-off found
🟢 9028808 feat(config): Narrow a forwarded expose to one tra... Valid sign-off found
🟢 c9a0331 feat(config): Carve a slice out of the middle of a... Valid sign-off found
🟢 0ff33b2 feat(config): Let an expose stand for everything Valid sign-off found
🟢 334f87e test(dataplane): Require an excluded address to be... Valid sign-off found