package nuscr

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

Install

Dune Dependency

nuscr.github.io Edit opam file Versions (5)

Authors

  1. F
    Francisco Ferreira
  2. F
    Fangyi Zhou
  3. S
    Simon Castellan

Maintainers

  1. F
    Francisco Ferreira

Sources

nuscr-1.0.0.tbz
sha256=b2b78b2e7684d65c53d8d3aec7349147b860fc586e37bfcff9126d898e86f4d1
sha512=d39fdacdab56788fbdbeda0d5da6d1279881273e188f4437b182f128785bf547cd7ac91c9fcb60e93676385de4db759c6c3279e2748e717171c3749316102e80

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 Dec 2019

Dependencies (11)

  1. ppxlib >= "0.8.1" & < "0.9.0"
  2. js_of_ocaml-tyxml >= "3.5.0"
  3. js_of_ocaml-ppx >= "3.5.0"
  4. js_of_ocaml >= "3.5.0"
  5. ocamlgraph >= "1.8.8"
  6. ppx_sexp_conv >= "v0.12.0"
  7. stdio >= "v0.12.0"
  8. base >= "v0.12.0"
  9. dune >= "1.11.4"
  10. ppx_deriving >= "4.4"
  11. menhir build & >= "20190924"

Dev Dependencies (1)

  1. ppx_inline_test with-test

Used by

None

Conflicts

None