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-web-1.1.0.tbz
sha256=c71f537d6eff636e6feee070f348543acefcc7da29f727cabad1fb45944ec8ab
sha512=340005de60705cd64ca580e6a9450c033f032b1ee2e75635cd5d35c0471cd4add2d501c87ad4877ba620ea01b801eb000053d3a21c34019e279c3d2a77aff556

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: 10 Jan 2020

Dependencies (8)

  1. ppxlib >= "0.9.0" & < "0.14.0"
  2. ocamlgraph >= "1.8.8"
  3. ppx_sexp_conv >= "v0.12.0"
  4. stdio >= "v0.12.0"
  5. base >= "v0.12.0"
  6. dune >= "1.11.4"
  7. ppx_deriving >= "4.4"
  8. menhir build & >= "20190924"

Dev Dependencies (2)

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

Used by

None

Conflicts

None