Issues

• Missing isParameterizedActivity helper method

  good first issuesynthesis
  TNO/SynthML#716 · Filter by author AndreaPuffo opened on Sep 29, 2026
  1

  

• Missing isShadowedCallBehavior helper method

  good first issuesynthesis
  TNO/SynthML#715 · Filter by author AndreaPuffo opened on Sep 23, 2026
  

• Discuss postconditions on final nodes of concrete activities

  for discussionsynthesis
  TNO/SynthML#711 · Filter by author AndreaPuffo opened on Sep 3, 2026
  7

  

• Discuss projecting away control nodes of concrete activities

  synthesis
  TNO/SynthML#709 · Filter by author AndreaPuffo opened on Sep 2, 2026
  

• Stored entry and exit guards should be simplified

  good first issuesynthesis
  TNO/SynthML#703 · Filter by author AndreaPuffo opened on Aug 21, 2026
  2

  

• Make the FIFO robot example part of our example/test set

  synthesis
  TNO/SynthML#685 · Filter by author wytseoortwijn opened on Apr 1, 2026
  1

• Add activity constraints

  enhancementformalismssynthesis
  TNO/SynthML#683 · Filter by author AndreaPuffo opened on Feb 10, 2026
  

• Discuss state space generation performance bottleneck

  synthesis
  TNO/SynthML#682 · Filter by author AndreaPuffo opened on Jan 23, 2026
  1

• Discuss what to do with the possible creation of invalid models

  industrialization
  TNO/SynthML#678 · Filter by author AndreaPuffo opened on Jan 7, 2026

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

  industrialization
  TNO/SynthML#661 · Filter by author 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 discussionindustrialization
  TNO/SynthML#651 · Filter by author AndreaPuffo opened on Dec 17, 2025
  1

• UML to CIF translation: add stereotype for occurrence constraints

  enhancementformalisms
  TNO/SynthML#650 · Filter by author AndreaPuffo opened on Dec 17, 2025
  1

  

• Scoped model does not contain stereotype information

  bugformalisms
  TNO/SynthML#640 · Filter by author darets97 opened on Nov 14, 2025

• Activity synthesis vertical scaling: top-level interface

  synthesis
  TNO/SynthML#639 · Filter by author dhendriks opened on Nov 13, 2025
  2

• Add usage tracking functionality

  formalisms
  TNO/SynthML#638 · Filter by author dhendriks opened on Nov 13, 2025
  1

• UML to CIF: Add parameterization support

  formalisms
  TNO/SynthML#635 · Filter by author darets97 opened on Nov 10, 2025
  4

  

• Model validation fails for elements without without a representation

  bugformalisms
  Bug

  TNO/SynthML#620 · Filter by author darets97 opened on Oct 17, 2025

• Investigate possible migration to GitLab

  industrialization
  TNO/SynthML#614 · Filter by author wytseoortwijn opened on Sep 25, 2025

• Parallel calls to concrete activity

  synthesis
  TNO/SynthML#610 · Filter by author AndreaPuffo opened on Sep 12, 2025

• Remove unused methods in the synthesis chain

  synthesis
  TNO/SynthML#594 · Filter by author AndreaPuffo opened on Aug 25, 2025

• Improve debugging of activity synthesis guard computation

  synthesis
  TNO/SynthML#582 · Filter by author dhendriks opened on Aug 12, 2025
  2

• [overview] Analysis tasks

  analysisoverview
  TNO/SynthML#574 · Filter by author wytseoortwijn opened on Jul 23, 2025
  1

• Support negative integers

  analysisformalismssynthesis
  TNO/SynthML#568 · Filter by author dhendriks opened on Jul 11, 2025

• Vertical scaling: generate postconditions for inlined concrete activities

  synthesis
  TNO/SynthML#562 · Filter by author AndreaPuffo opened on Jul 4, 2025
  

• Investigate Papyrus as alternative to UML Designer

  industrialization
  TNO/SynthML#560 · Filter by author dhendriks opened on Jul 4, 2025
  1