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

CHANGES.md.html

UNRELEASED

2.1.0 (2022-05-18)

Added

  • A new module LiteratureSyntax where global and local type constructors that similar to those used in literature (without extensions) are provided for the convenience of developers.

  • New command line options to output global and local types in the format of mpstk.

Changed

  • Following a change in cmdliner, user errors will result in an error code of 124 instead of 1

  • Improved documentation

Fixed

  • Fixed an issue that breaks parser generation with menhir

  • Unguarded recursions should be correctly reported as errors

2.0.0 (2021-09-03)

Added

  • A new pragma system for extensions: (*# PRAGMA #*) at the beginning of the input file can enable theory extensions.

  • Nested Protocol extension, via NestedProtocols pragma (by Benito Echarren Serrano)

  • Refinement Type extension, via RefinementTypes pragma (by Fangyi Zhou)

Changed

  • New, improved command line interface with cmdliner

  • Reorganise code layout

  • Recursions immediately after a choice is permitted under some circumstances

Fixed

  • Non-distinct choice prefixes now raise an error

  • Degenerate recursions in protocols will be removed

  • Catch an uncaught exception when user enters a non-existent protocol from CLI

  • Merging [end] and [\mu t.t] after projection is now possible

1.1.0 (2020-01-10)

Added

  • Export code generation APIs in Lib

Changed

  • Modernised Web Interface

  • Change signature of generate_fsm in Lib

  • Annotate signature of project_role, generate_fsm with names

  • Update ppxlib dependency version

  • Remove js_of_ocaml dependencies

Deprecated

Fixed

  • Fix usage in executable

  • Fix non-monadic code generation

Removed

Security

1.0.0 (2019-12-04)

Initial Release

OCaml

Innovation. Community. Security.