nuscr / nuscr

A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.

https://nuscr.dev

nuscr/nuscr Issues

Release 2.2.0
Updated a year ago
Typo
Closed 2 years ago
Rewrite Gtype/Ltype show with proper boxes
Closed 2 years ago
Update the curated list of examples
Updated 2 years ago
Error given when do is not the last command
Closed 2 years ago1
Add interface files for those without one
Closed 3 years ago
Reflexive role error points only to the first role of the line
Closed 3 years ago
Bad local type when not all participants in the recursion.
Updated 3 years ago2
Add a pragma to mark negative test cases, so they can be anywhere
Closed 3 years ago1
Release 2.0.0
Closed 3 years ago
Merging loops where a participant is not involved
Closed 3 years ago
Merging across recursion
Updated 3 years ago
Extend the nuscr library with a function to get global types
Closed 3 years ago
branching with recursion not allowed
Closed 3 years ago1
Rebrand nuScr to Nu Script
Closed 3 years ago1
Simplify pragma parser/lexer
Closed 3 years ago1
Show role name in Efsm graph name
Updated 4 years ago2
Reconcile global_t_of_ast and global_t_of_module
Closed 4 years ago
Remove normalisation
Updated 4 years ago
Add error message for parser
Updated 4 years ago
Change the extension .scr to .nuscr
Closed 4 years ago
Use let syntax for monadic codegen
Closed 4 years ago
Add end-to-end test for code generation
Closed 4 years ago1
Add top level option to generate s-expressions of global types
Closed 4 years ago
New Cmdliner based user interface
Closed 4 years ago
monadic code generation option in the cmdline interface
Closed 4 years ago
Violations are bugs, not errors
Closed 4 years ago
Usage is not up to date
Closed 4 years ago
CI: OCaml build matrix
Closed 4 years ago1
Docker Image
Closed 4 years ago
Incompatibility with OCaml 4.11
Closed 4 years ago
List.find_exn: not found
Closed 4 years ago
Projection of nested recursive protocol may be broken
Closed 4 years ago1
Normalization of protocols can introduce clashes between recursive variables
Updated 4 years ago
Nuscr pipeline does not normalize global protocol
Updated 4 years ago
Deprecate qnames
Closed 4 years ago
Parser broken on master
Closed 5 years ago1
Add support for pragmas
Closed 5 years ago
nuscr doesn't detect some ambiguous protocols, allowing projection and generating the fsm and implementation
Closed 5 years ago
Running the tests should return the correct error to the OS (return 1 on failure)
Closed 5 years ago
bugfixes in the monadic code generation
Closed 5 years ago2
Move the web interface to its own repository
Closed 5 years ago1
Lib does not export Codegen functions
Closed 5 years ago
Tracking issue for v1.0 release
Closed 5 years ago1
Error message for inconsistent choices
Closed 5 years ago
Error message for mismatch arity for `do` instantiations
Closed 5 years ago
add the logo to the webpage
Closed 5 years ago
When compiling with ocaml 4.09 codegen fails
Closed 5 years ago1
Kill polymorphic equality
Closed 5 years ago1
when compiling with ocaml 4.09 mail.ml has a "Jane Street style problem"
Closed 5 years ago1