package nuscr

Not available on OCaml 5.5
  1. Overview
  2. Docs
A tool to manipulate and validate Scribble-style multiparty protocols

Install 

dune-project
 Dependency

nuscr.dev Changelog Edit opam file Versions (4)

Authors

  1. F
    Francisco Ferreira
  2. F
    Fangyi Zhou
  3. S
    Simon Castellan
  4. B
    Benito Echarren

Maintainers

  1. F
    Francisco Ferreira

Sources

nuscr-2.1.1.tbz
sha256=c5a419fd1fdea78fb63b3a3c335b0e6b0f2b08d65b79870565bdcc0f997bc728
sha512=83ef593ed514eeef1b10069af54562833d617d1c338c5adaf82ee5c3ea7ec4569b3643fcbb237b3cb79ce2f579094cbd17217efa5f4e522bd20f67e1df3a7dbd

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.

Added to opam-repository:

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.10"

Dev Dependencies (2)

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

Optional Dependencies

None

Used by

None

Conflicts

None

Build status

Results of building nuscr with each compiler on check.ci.ocaml.org, run of against opam-repository 8a77e58. All results for this package.

Each result links to its build log. To keep crawlers from overloading the site, build logs require a GitHub sign-in (see ocurrent/opam-health-check). On your first log, GitHub asks you to “Authorize opam-health-check”, the OCurrent app that runs these checks; it sees only your public profile, not your repositories. The sign-in lasts 30 days.

Version OCaml 4.11 OCaml 4.14 OCaml 5.2 OCaml 5.4 OCaml 5.5
2.1.1 (this version) good good good n/a n/a
  • good Package successfully built
  • partial One of the dependencies failed to build
  • bad Package failed to build
  • n/a Package is not available in this environment
  • internal Internal failure