package nuscr

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

Install

Dune Dependency

Authors

Maintainers

Sources

nuscr-2.1.0.tbz
sha256=4798916862412a0ac4721f63b77c243d7d7327c8ff2d18d379eb2f4202d43e4d
sha512=8475f03a5e81fbde01fb6ddd90f2c07d8a327d5d71301a8da6e169c5c1c8a8f94f528296b2c2d2be7abfbe10fceee048834926abbf5e739a62274f904a8f0869

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: 19 May 2022

Dependencies (12)

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

Dev Dependencies (2)

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

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.