Skip to content

[NetKAT] Store decision nodes by field: per-field unique tables + level-packed handles#102

Closed
smolkaj wants to merge 2 commits into
google:mainfrom
smolkaj:level-packed-handles
Closed

[NetKAT] Store decision nodes by field: per-field unique tables + level-packed handles#102
smolkaj wants to merge 2 commits into
google:mainfrom
smolkaj:level-packed-handles

Commits

Commits on Jun 10, 2026