Skip to content

(11) config - #1763

Merged
daniel-noland merged 19 commits into
pr/daniel-noland/model-checkingfrom
pr/daniel-noland/config-algebra
Sep 22, 2026
Merged

daniel-noland merged 19 commits into
pr/daniel-noland/model-checkingfrom
pr/daniel-noland/config-algebra

test(config): draw enough configurations to reach a one-rule ACL

0f77ac8
Select commit
Loading
Failed to load commit list.
DCO-2 / DCO succeeded Sep 22, 2026 in 1s

Check passed!

All commits are signed off, the check passed.

Summary


Sha Message Pass or fail reason
🟢 3c415ea fix(hardware): bind unclaimed NICs to vfio-pci Valid sign-off found
🟢 a0c7c83 test(dataplane): build replies from delivered addr... Valid sign-off found
🟢 a6e0138 fix(nat): retry burst flow lookup with the origina... Valid sign-off found
🟢 250541f feat(config): generate static NAT exposes Valid sign-off found
🟢 0cb3753 test(dataplane): use endpoint-owned addresses for ... Valid sign-off found
🟢 6622a4c feat(config): generate port-forwarding exposes Valid sign-off found
🟢 04b1e20 feat(config): generate peering ACLs Valid sign-off found
🟢 1d39b2e test(config): measure ACL schema coverage Valid sign-off found
🟢 877bf75 feat(config): generate stateful peering ACLs Valid sign-off found
🟢 0fc18e0 feat(config): generate overlapping ACL rules Valid sign-off found
🟢 1d96e08 feat(config): vary gateway groups, ACL logging, an... Valid sign-off found
🟢 f404c5d feat(config): narrow ACL rules by protocol, port, ... Valid sign-off found
🟢 7daa368 feat(config): vary port-forwarding protocols Valid sign-off found
🟢 96f7a38 feat(config): generate address exclusions Valid sign-off found
🟢 4fac88b feat(config): generate default-route exposes Valid sign-off found
🟢 02d3b8a test(dataplane): reject traffic to excluded addres... Valid sign-off found
🟢 dc341eb fix(config): make PermitByProtocol's exception nar... Valid sign-off found
🟢 ec2337c test(dataplane): use the shared fleet accessor in ... Valid sign-off found
🟢 0f77ac8 test(config): draw enough configurations to reach ... Valid sign-off found