Search results

Release 2.2.0

Status: Open.

#151 In nuscr/nuscr;

· fangyi-zhou opened on Jul 29, 2023

Update the curated list of examples

Status: Open.

#145 In nuscr/nuscr;

· fangyi-zhou opened on Jul 11, 2022

Bad local type when not all participants in the recursion.

Status: Open.

#141 In nuscr/nuscr;

· fferreira opened on Sep 8, 2021

Merging across recursion

Status: Open.

#137 In nuscr/nuscr;

· zakcutner opened on Aug 18, 2021

Show role name in Efsm graph name

Status: Open.

#131 In nuscr/nuscr;

· fangyi-zhou opened on Jan 29, 2021

Remove normalisation

Status: Open.

#130 In nuscr/nuscr;

· fangyi-zhou opened on Jan 20, 2021

Add error message for parser

Status: Open.

#126 In nuscr/nuscr;

· fangyi-zhou opened on Jan 8, 2021

Normalization of protocols can introduce clashes between recursive variables

Status: Open.

#101 In nuscr/nuscr;

· becharrens opened on Jun 1, 2020

Nuscr pipeline does not normalize global protocol

Status: Open.

#100 In nuscr/nuscr;

· becharrens opened on Jun 1, 2020