package netkat
A clean slate implementation of NetKAT
Install
Dune Dependency
Authors
Maintainers
Sources
netkat-0.1.tbz
sha256=0f8f1be04daadd1bbff4eeebf709247b17024678943b1ede9ef44c6e76591882
sha512=cf005751fd86a9d8fa9aeb54277723edc443adae881881ce51f0735af4d288050f82f00e995f49f2ca1e6a76fae881f339f5124f2da5bd975e57359f32262b4d
Description
A clean slate implementation of NetKAT
Published: 18 Feb 2020
Dependencies (15)
-
mparser
>= "1.2.3" & < "1.3"
-
tyxml
>= "4.3.0"
-
printbox
>= "0.2"
-
ppx_jane
>= "v0.12.0" & < "v0.14"
-
ppx_deriving
>= "4.3"
-
idds
!= "0"
-
nice_parser
!= "0"
-
open
>= "0"
-
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"
Dev Dependencies (2)
-
ppx_inline_test
with-test & >= "v0.12.0" & < "v0.14"
-
odoc
with-doc
Used by
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page