Description

A clean slate implementation of NetKAT

Published: 18 Feb 2020

Dependencies (17)

  1. mparser >= "1.2.3" & < "1.3"
  2. tyxml >= "4.3.0"
  3. printbox >= "0.2"
  4. ppx_jane >= "v0.12.0" & < "v0.14"
  5. ppx_inline_test with-test & >= "v0.12.0" & < "v0.14"
  6. ppx_deriving >= "4.3"
  7. idds != "0"
  8. nice_parser != "0"
  9. open >= "0"
  10. odoc with-doc
  11. stdio >= "v0.12.0" & < "v0.14"
  12. core >= "v0.12.0" & < "v0.14"
  13. base >= "v0.12.0" & < "v0.14"
  14. menhir build & >= "20190626"
  15. dune >= "1.10"
  16. ocaml >= "4.07.0"
  17. async >= "v0.12.0" & < "v0.14"

Reverse Dependencies

    None

Conflicts

    None
A clean slate implementation of NetKAT

Install

Documentation failed to build. github.com Edit opam file

Authors

  1. C
    Caleb Koch <cak247@cornell.edu>
  2. S
    Steffen Smolka <smolka@cs.cornell.edu>
  3. N
    Nate Foster <jnfoster@cs.cornell.edu>

Maintainers

  1. S
    Steffen Smolka <smolka@cs.cornell.edu>

Sources

netkat-0.1.tbz
sha256=0f8f1be04daadd1bbff4eeebf709247b17024678943b1ede9ef44c6e76591882
sha512=cf005751fd86a9d8fa9aeb54277723edc443adae881881ce51f0735af4d288050f82f00e995f49f2ca1e6a76fae881f339f5124f2da5bd975e57359f32262b4d