netkat
A clean slate implementation of NetKAT
README
A clean slate implementation of NetKAT.
Documentation
The API documentation is available online.
You can also generate it locally from scratch. You need to have OCaml's packet manager opam
and the packages dune
and odoc
installed:
opam install dune odoc
Then, from the root of the project:
dune build @doc
Then open _build/default/_doc/_html/index.html
.
References
NetKAT: Semantic Foundations for Networks. Anderson, C. J., Foster, N., Guha, A., Jeannin, J. B., Kozen, D., Schlesinger, C., & Walker, D. POPL 2014.
A Coalgebraic Decision Procedure for NetKAT. Foster, N., Kozen, D., Milano, M., Silva, A. and Thompson, L. POPL 2015.
A Fast Compiler for NetKAT. Smolka, S., Eliopoulos, S., Foster, N. and Guha, A. ICFP 2015.
Install
- Authors
-
- Maintainers
-
Sources
netkat-0.1.tbz
sha256=0f8f1be04daadd1bbff4eeebf709247b17024678943b1ede9ef44c6e76591882
sha512=cf005751fd86a9d8fa9aeb54277723edc443adae881881ce51f0735af4d288050f82f00e995f49f2ca1e6a76fae881f339f5124f2da5bd975e57359f32262b4d
Dependencies
mparser
>= "1.2.3" & < "1.3"
tyxml
>= "4.3.0"
printbox
>= "0.2"
ppx_jane
>= "v0.12.0" & < "v0.14"
ppx_inline_test
with-test & >= "v0.12.0" & < "v0.14"
ppx_deriving
>= "4.3"
idds
!= "0"
nice_parser
!= "0"
open
>= "0"
odoc
with-doc
stdio
>= "v0.12.0" & < "v0.14"
core
>= "v0.12.0" & < "v0.14"
base
>= "v0.12.0" & < "v0.14"
menhir
build & >= "20190626"
dune
>= "1.10"
ocaml
>= "4.07.0"
async
>= "v0.12.0" & < "v0.14"
Reverse Dependencies