package netkat

All checked builds fail
  1. Overview
  2. No Docs
A clean slate implementation of NetKAT

Install 

dune-project
 Dependency

github.com Edit opam file Versions (1)

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

Description

A clean slate implementation of NetKAT

Added to opam-repository:

Dependencies (15)

  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_deriving >= "4.3"
  6. idds != "0"
  7. nice_parser != "0"
  8. open >= "0"
  9. stdio >= "v0.12.0" & < "v0.14"
  10. core >= "v0.12.0" & < "v0.14"
  11. base >= "v0.12.0" & < "v0.14"
  12. menhir build & >= "20190626"
  13. dune >= "1.10"
  14. ocaml >= "4.07.0"
  15. async >= "v0.12.0" & < "v0.14"

Dev Dependencies (2)

  1. ppx_inline_test with-test & >= "v0.12.0" & < "v0.14"
  2. odoc with-doc

Optional Dependencies

None

Used by

None

Conflicts

None

Build status

Results of building netkat with each compiler on check.ci.ocaml.org, run of against opam-repository 8a77e58. All results for this package.

Each result links to its build log. To keep crawlers from overloading the site, build logs require a GitHub sign-in (see ocurrent/opam-health-check). On your first log, GitHub asks you to “Authorize opam-health-check”, the OCurrent app that runs these checks; it sees only your public profile, not your repositories. The sign-in lasts 30 days.

Version OCaml 4.11 OCaml 4.14 OCaml 5.2 OCaml 5.4 OCaml 5.5
0.1 (this version) bad n/a n/a n/a n/a
  • good Package successfully built
  • partial One of the dependencies failed to build
  • bad Package failed to build
  • n/a Package is not available in this environment
  • internal Internal failure