Issues

• Release 2.2.0

  nuscr/nuscr#151 · Filter by author fangyi-zhou opened on Jul 29, 2023

• Update the curated list of examples

  nuscr/nuscr#145 · Filter by author fangyi-zhou opened on Jul 11, 2022
  

• Bad local type when not all participants in the recursion.

  nuscr/nuscr#141 · Filter by author fferreira opened on Sep 8, 2021
  2

• Show role name in Efsm graph name

  nuscr/nuscr#131 · Filter by author fangyi-zhou opened on Jan 29, 2021
  2

• Remove normalisation

  nuscr/nuscr#130 · Filter by author fangyi-zhou opened on Jan 20, 2021

• Add error message for parser

  nuscr/nuscr#126 · Filter by author fangyi-zhou opened on Jan 8, 2021

• Normalization of protocols can introduce clashes between recursive variables

  nuscr/nuscr#101 · Filter by author becharrens opened on Jun 1, 2020

• Nuscr pipeline does not normalize global protocol

  nuscr/nuscr#100 · Filter by author becharrens opened on Jun 1, 2020