Search results

extends the choreography synthesis to the asynchronous case

enhancementNew feature or requestNew feature or request

Status: Open.

#9 In contractautomataproject/ContractAutomataApp;

· davidebasile opened on Feb 6, 2022

add export .dot

enhancementNew feature or requestNew feature or request

Status: Open.

#8 In contractautomataproject/ContractAutomataApp;

· davidebasile opened on Jan 21, 2022

add option for synthesis and composition at once

enhancementNew feature or requestNew feature or request

Status: Open.

#5 In contractautomataproject/ContractAutomataApp;

· davidebasile opened on Dec 11, 2021

Add Selection Window for Composition

enhancementNew feature or requestNew feature or request

Status: Open.

#4 In contractautomataproject/ContractAutomataApp;

· davidebasile opened on Dec 11, 2021

Add Different Frames to the GUI

enhancementNew feature or requestNew feature or request

Status: Open.

#3 In contractautomataproject/ContractAutomataApp;

· davidebasile opened on Dec 11, 2021

Syntax checking and highlighting of states and transitions labels

enhancementNew feature or requestNew feature or request

Status: Open.

#1 In contractautomataproject/ContractAutomataApp;

· davidebasile opened on Dec 11, 2021