Repository navigation

Add an optional Nix flake: builds, analysis, fuzzing and VM tests - #24

Draft

randomizedcoder wants to merge 11 commits into

mainfrom

Draft

Add an optional Nix flake: builds, analysis, fuzzing and VM tests#24
randomizedcoder wants to merge 11 commits into
mainfrom
nix-pr

Commits on Oct 31, 2026
- nix: add a flake that builds Homa for many kernels and architectures
  
  randomizedcoder
  and
  claude
  committed
  20b65c8
- nix: tiered static analysis
  
  randomizedcoder
  and
  claude
  committed
  5e2648f
- nix: libFuzzer harnesses for the wire format and the receive path
  
  randomizedcoder
  and
  claude
  committed
  2b056d4
- nix: microVM tests: single VMs, lifecycles, VM pairs and a matrix
  
  randomizedcoder
  and
  claude
  committed
  1b4f183
- nix: README, design notes and status
  
  randomizedcoder
  and
  claude
  committed
  e43b70c
- nix/analysis: analysis-netdev, netdev's checks on the code as submitted
  
  randomizedcoder
  and
  claude
  committed
  a92dd75
- nix/build: homa-tests-coverage, unit-test coverage with gcov
  
  randomizedcoder
  and
  claude
  committed
  0876658
- nix/microvms/tcl: netem's drop rate may read as low as a quarter of the loss
  
  randomizedcoder
  and
  claude
  committed
  2d2ee5c
- nix/microvms: sanitizer VMs (KASAN/lockdep/UBSAN and KCSAN), smoke and pair lifecycle
  
  randomizedcoder
  and
  claude
  committed
  b3a3ab3
- nix/evidence: homa-evidence, one report of every check; docs and status
  
  randomizedcoder
  and
  claude
  committed
  7cac084
- nix/lib: drop a patch with no hunks in a source subset
  
  randomizedcoder
  and
  claude
  committed
  463d4c5