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
Documentation nuscr.dev Changelog GPL-3.0-or-later License Edit opam file
Published
19 Jul 2022
Authors
Maintainers
Sources
nuscr-2.1.1.tbz
sha256=c5a419fd1fdea78fb63b3a3c335b0e6b0f2b08d65b79870565bdcc0f997bc728 sha512=83ef593ed514eeef1b10069af54562833d617d1c338c5adaf82ee5c3ea7ec4569b3643fcbb237b3cb79ce2f579094cbd17217efa5f4e522bd20f67e1df3a7dbd
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"
ppx_deriving >= "5.2"
menhir >= "20190924"
ocaml >= "4.10"
Reverse Dependencies