package nuscr
A tool to manipulate and validate Scribble-style multiparty protocols
Install
Dune Dependency
Authors
Maintainers
Sources
nuscr-web-1.1.0.tbz
sha256=c71f537d6eff636e6feee070f348543acefcc7da29f727cabad1fb45944ec8ab
sha512=340005de60705cd64ca580e6a9450c033f032b1ee2e75635cd5d35c0471cd4add2d501c87ad4877ba620ea01b801eb000053d3a21c34019e279c3d2a77aff556
Description
A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory. The toolkit provides means to define global protocols, project to local protocols, convert local protocols to a CFSM representation, and generate OCaml code for protocol implementations.
Published: 10 Jan 2020
Dependencies (8)
-
ppxlib
>= "0.9.0" & < "0.14.0" -
ocamlgraph
>= "1.8.8" -
ppx_sexp_conv
>= "v0.12.0" -
stdio
>= "v0.12.0" -
base
>= "v0.12.0" -
dune
>= "1.11.4" -
ppx_deriving
>= "4.4" -
menhir
build & >= "20190924"
Dev Dependencies (2)
-
odoc
with-doc -
ppx_inline_test
with-test
Used by
None
Conflicts
None
On This Page