package nuscr

  1. Overview
  2. Docs
A tool to manipulate and validate Scribble-style multiparty protocols

Install

Dune Dependency

Authors

Maintainers

Sources

nuscr-web-2.0.0.tbz
sha256=fbd17793416c225702a93f52e200e48faa37721cab4d16c3d997500407c6fede
sha512=da005593f3ae30c2566121452535c2405508f197f26962ac25d402e40245b3c8344d5a654cd3e3069f85458b232a845bc4a0371bacc59741dfb067e88cd3d6d0

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: 05 Sep 2021

Dependencies (11)

  1. process >= "0.2.1"
  2. cmdliner >= "1.0.4"
  3. ppxlib >= "0.22.0"
  4. ocamlgraph >= "1.8.8"
  5. ppx_sexp_conv >= "v0.12.0"
  6. stdio >= "v0.12.0"
  7. base >= "v0.12.0" & < "v0.17"
  8. dune >= "2.8"
  9. ppx_deriving >= "5.2"
  10. menhir >= "20190924" & < "20211215"
  11. ocaml >= "4.08"

Dev Dependencies (2)

  1. odoc with-doc
  2. z3 with-test

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.