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

Install
Published
18 Feb 2020
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"
idds
!= "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