Back to search
Top Contributors
26
commits
20
commits
14
commits
13
commits
2
commits
1
commits
Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks
Stars
31
Forks
4
Watchers
31
Open Issues
10
Overall repository health assessment
No package.json found
This might not be a Node.js project
26
commits
20
commits
14
commits
13
commits
2
commits
1
commits
[NetKAT] Add an explain method to Counter Examples.
61c8ce6View on GitHub[NetKAT] Support generating counter examples in analysis_engine.
393b007View on GitHub[NetKAT] Add strict/unstrict comparisons in CheckInputProducesOutput.
28a8d2aView on GitHub[NetKAT] Make commands for updating golden files public.
d446e1aView on GitHub[NetKAT] Introduce proto interning in the BE to improve FE performance.
4862df9View on GitHub[NetKAT] Introduce packet_transformer and packet_set benchmarks.
e455da9View on GitHub[NetKAT] Add the ability to return the predicate that a table matches on.
24433edView on GitHub[NetKAT] Add support for asserting the condition of a packet post program traversal.
b8b1498View on GitHub[NetKAT] Provide a definition of "accepts packet" to AnalysisEngine.
4e3928eView on GitHubUpdate TernaryField to support the default spaceship op behavior.
24512e3View on GitHub