Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
30 commits
Select commit Hold shift + click to select a range
decd1e1
test(dataplane): exercise the complete overlay pipeline
daniel-noland Aug 22, 2026
0193e95
test(dataplane): verify pipeline ACL decisions
daniel-noland Aug 22, 2026
f6a7c66
build: lock the pipeline harness dependencies
daniel-noland Aug 22, 2026
a0123d8
feat(routing): expose forwarding-table fixtures for tests
daniel-noland Aug 22, 2026
a5279e2
test(dataplane): verify routed packet delivery
daniel-noland Aug 22, 2026
c8c7006
fix(fuzz): let pipeline generators use complete inputs
daniel-noland Aug 22, 2026
39a29a9
feat(fuzz): run campaigns across half the host
daniel-noland Aug 22, 2026
487d0df
fix(fuzz): isolate coverage corpora from unit tests
daniel-noland Aug 22, 2026
734ba7f
test(dataplane): round-trip replies through VXLAN
daniel-noland Aug 22, 2026
393b87a
test(dataplane): require stable per-flow translations
daniel-noland Aug 22, 2026
6980f9e
test(dataplane): verify destination selects the correct VPC
daniel-noland Aug 22, 2026
838e1e1
test(dataplane): compare burst and singleton behavior
daniel-noland Aug 22, 2026
365f25a
test(dataplane): catch duplicate allocation within a burst
daniel-noland Aug 22, 2026
99d1adc
test(dataplane): verify inbound port forwarding end to end
daniel-noland Aug 22, 2026
90a8e46
test(dataplane): assert contracts at stage boundaries
daniel-noland Aug 22, 2026
415f844
test(pipeline): reduce stage-count stack pressure
daniel-noland Aug 22, 2026
f8f32ae
test(dataplane): enforce one allocation per flow everywhere
daniel-noland Aug 22, 2026
b23dcee
test(dataplane): constrain rewritten sources to configured pools
daniel-noland Aug 22, 2026
80e5c97
test(dataplane): require deterministic pipeline replay
daniel-noland Aug 22, 2026
a1afbf7
test(dataplane): model traffic as stateful conversations
daniel-noland Aug 22, 2026
2ba3783
test(dataplane): verify interleaved conversations
daniel-noland Aug 22, 2026
1a1b6de
test(dataplane): add nonblocking burst traffic
daniel-noland Aug 22, 2026
b68c45d
test(dataplane): derive traffic from validated configuration
daniel-noland Aug 22, 2026
103188c
feat(config): generate overlays from operation sequences
daniel-noland Aug 23, 2026
159b3d0
test(dataplane): exercise generated overlays end to end
daniel-noland Aug 23, 2026
fe8087b
style(dataplane): remove unused harness imports
daniel-noland Aug 28, 2026
321c6ea
test(dataplane): fail when declared traffic is abandoned
daniel-noland Aug 28, 2026
41c4f9e
test(dataplane): make the VLAN control deterministic
daniel-noland Aug 28, 2026
e09f126
fix(dataplane,config): use model-aware synchronization
daniel-noland Aug 28, 2026
0b7b544
fix(config): move algebra counters to process globals
daniel-noland Sep 8, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .gitignore
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
**.profraw
**/__fuzz__/**
.fuzz-corpus/
# libfuzzer writes one of these per worker into the working directory when
# `just fuzz` is given -j; the corpus itself lives under __fuzz__.
fuzz-*.log
# qemu-user core dumps from SIGABRT under emulated tests.
**/qemu_*.core
Expand Down
3 changes: 3 additions & 0 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading
Loading