nuscr

A tool to manipulate and validate Scribble-style multiparty protocols
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.

Install
Published
19 May 2022
Sources
nuscr-2.1.0.tbz
sha256=4798916862412a0ac4721f63b77c243d7d7327c8ff2d18d379eb2f4202d43e4d
sha512=8475f03a5e81fbde01fb6ddd90f2c07d8a327d5d71301a8da6e169c5c1c8a8f94f528296b2c2d2be7abfbe10fceee048834926abbf5e739a62274f904a8f0869
Dependencies
process
>= "0.2.1"
cmdliner
>= "1.1.0"
ppxlib
>= "0.22.0"
ocamlgraph
>= "1.8.8"
odoc
with-doc
z3
with-test
ppx_here
>= "v0.12.0"
ppx_sexp_conv
>= "v0.12.0"
stdio
>= "v0.12.0"
base
>= "v0.12.0"
dune
>= "2.8"
menhir
>= "20190924"
ocaml
>= "4.08"
Reverse Dependencies