Search results

CIF events are removed even when referenced by multiple Petri net transitions

bugSomething isn't workingSomething isn't working

synthesisImprovements to synthesis capabilitiesImprovements to synthesis capabilities

Status: Open.

#670 In TNO/SynthML;

· AndreaPuffo opened on Dec 30, 2025

Setup configuration to automatically get a license header in new Java files.

industrializationImprovements after proof of conceptImprovements after proof of concept

Status: Open.

#661 In TNO/SynthML;

· dhendriks opened on Dec 18, 2025

UML to CIF translation: Discuss whether the current default activity-can-call-all-behaviors is helping or not

for discussionto be discussed in sprint / ccb meetingto be discussed in sprint / ccb meeting

industrializationImprovements after proof of conceptImprovements after proof of concept

Status: Open.

#651 In TNO/SynthML;

· AndreaPuffo opened on Dec 17, 2025

UML to CIF translation: add stereotype for occurrence constraints

enhancementNew feature or requestNew feature or request

formalismsImprovements to UML front-endsImprovements to UML front-ends

Status: Open.

#650 In TNO/SynthML;

· AndreaPuffo opened on Dec 17, 2025

UML to CIF translation: don't translate elements that cannot be called

enhancementNew feature or requestNew feature or request

formalismsImprovements to UML front-endsImprovements to UML front-ends

Status: Open.

#649 In TNO/SynthML;

· AndreaPuffo opened on Dec 17, 2025

Language equivalence is slow for models with many initial states

synthesisImprovements to synthesis capabilitiesImprovements to synthesis capabilities

Status: Open.

#648 In TNO/SynthML;

· dhendriks opened on Dec 11, 2025

Scoped model does not contain stereotype information

bugSomething isn't workingSomething isn't working

formalismsImprovements to UML front-endsImprovements to UML front-ends

Status: Open.

#640 In TNO/SynthML;

· darets97 opened on Nov 14, 2025

Activity synthesis vertical scaling: top-level interface

synthesisImprovements to synthesis capabilitiesImprovements to synthesis capabilities

Status: Open.

#639 In TNO/SynthML;

· dhendriks opened on Nov 13, 2025

Add usage tracking functionality

formalismsImprovements to UML front-endsImprovements to UML front-ends

Status: Open.

#638 In TNO/SynthML;

· dhendriks opened on Nov 13, 2025

UML to CIF: Add parameterization support

formalismsImprovements to UML front-endsImprovements to UML front-ends

Status: Open.

#635 In TNO/SynthML;

· darets97 opened on Nov 10, 2025

Vertical scaling: introduce fork and join nodes for concrete activity nodes

synthesisImprovements to synthesis capabilitiesImprovements to synthesis capabilities

Status: Open.

#632 In TNO/SynthML;

· AndreaPuffo opened on Nov 6, 2025

Vertical scaling: from finalized UML model to guard computation

synthesisImprovements to synthesis capabilitiesImprovements to synthesis capabilities

Status: Open.

#629 In TNO/SynthML;

· AndreaPuffo opened on Nov 5, 2025