Increase version number

ftsrg · Apr 16, 2024 · 6a20801 · 6a20801
1 parent f700b9f
commit 6a20801
Show file tree

Hide file tree

Showing 100 changed files with 117 additions and 100 deletions.
diff --git a/README.md b/README.md
@@ -1,6 +1,6 @@
 # The Gamma Statechart Composition Framework
 
-*Version 2.10.0* - For the latest version, check out the [dev](https://github.com/ftsrg/gamma/tree/dev) branch.
+*Version 2.11.0* - For the latest version, check out the [dev](https://github.com/ftsrg/gamma/tree/dev) branch.
 
 The Gamma Statechart Composition Framework is a toolset to model, verify and generate code for component-based reactive systems. The framework builds on Yakindu, an open source statechart modeling tool and provides an additional modeling layer to instatiate a communicating network of statecharts. Compositionality is hierarchical, which facilitates the creation of reusable component libraries. Individual statecharts, as well as composite statechart networks can be validated and verified by an automated translation to
 - [UPPAAL](http://www.uppaal.org/), a model checker for timed automata,

diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md
@@ -276,4 +276,21 @@
 
 * Bugs related to system reset and time-dependent behavior have been fixed in the Java code generator.
 * Optimization regarding variable assignments and boolean expressions has been introduced in the XSTS mapping.
-* Optimization regarding semantic variation points in statecharts has been introduced in the statechart optimizer.
+* Optimization regarding semantic variation points in statecharts has been introduced in the statechart optimizer.
+
+## 2024.04.16. - Version 2.11.0
+
+### What is New
+
+* Gamma now supports an automated model-mutation based approach for test generation.
+* GSL and GCL support state and environment invariants.
+* Gamma now supports the automated checking of trace equivalence.
+* The Spin back-end now can be used in the context of a BMC approach.
+
+### Improvements
+
+* Bugs have been fixed related to handling internal event transmission as some events in statecharts contained by cascade composite components were not transmitted.
+* Bugs have been fixed related to initializing clock variables in asynchronous adapters as clock variables were not initialized to 0 in the initialization transition of XSTS.
+* Bugs related to optimizations in regard to removing unreachable states and subregions have been fixed.
+* Bugs been fixed related to the Theta back-annotator component of the framework as it contained faults that affected the parsing of "default" values in array literals.
+* Bugs been fixed related to the SSA conversion as it contained a fault in regard to assigning values to elements of array variables in different branches of an if-else statement.
diff --git a/plugins/c/hu.bme.mit.gamma.xsts.codegeneration.c.commandhandler/META-INF/MANIFEST.MF b/plugins/c/hu.bme.mit.gamma.xsts.codegeneration.c.commandhandler/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: C Code Generator Command Handler
 Bundle-SymbolicName: hu.bme.mit.gamma.xsts.codegeneration.c.commandhandler;singleton:=true
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Require-Bundle: org.eclipse.ui;bundle-version="3.202.0",
  org.eclipse.core.runtime;bundle-version="3.26.100",
  org.eclipse.core.resources;bundle-version="3.18.200",

diff --git a/plugins/c/hu.bme.mit.gamma.xsts.codegeneration.c/META-INF/MANIFEST.MF b/plugins/c/hu.bme.mit.gamma.xsts.codegeneration.c/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: C Code Generator
 Bundle-SymbolicName: hu.bme.mit.gamma.xsts.codegeneration.c;singleton:=true
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Automatic-Module-Name: hu.bme.mit.gamma.xsts.codegeneration.c
 Bundle-ActivationPolicy: lazy
 Bundle-RequiredExecutionEnvironment: JavaSE-17

diff --git a/plugins/core/hu.bme.mit.gamma.action.language.ide/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.action.language.ide/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Gamma Action Language IDE
 Bundle-Vendor: BME-FTSRG
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-SymbolicName: hu.bme.mit.gamma.action.language.ide; singleton:=true
 Bundle-ActivationPolicy: lazy
 Require-Bundle: hu.bme.mit.gamma.expression.language,

diff --git a/plugins/core/hu.bme.mit.gamma.action.language.ui/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.action.language.ui/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Gamma Action Language UI
 Bundle-Vendor: BME-FTSRG
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-SymbolicName: hu.bme.mit.gamma.action.language.ui; singleton:=true
 Bundle-ActivationPolicy: lazy
 Require-Bundle: hu.bme.mit.gamma.expression.language.ui,

diff --git a/plugins/core/hu.bme.mit.gamma.action.language/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.action.language/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Gamma Action Language
 Bundle-SymbolicName: hu.bme.mit.gamma.action.language; singleton:=true
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-Vendor: BME-FTSRG
 Export-Package: hu.bme.mit.gamma.action.language.generator,
  hu.bme.mit.gamma.action.language,

diff --git a/plugins/core/hu.bme.mit.gamma.action.model/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.action.model/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Gamma Action Language Metamodel
 Bundle-SymbolicName: hu.bme.mit.gamma.action.model;singleton:=true
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-ClassPath: .
 Bundle-Vendor: BME-FTSRG
 Bundle-Localization: plugin

diff --git a/plugins/core/hu.bme.mit.gamma.codegeneration.java.commandhandler/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.codegeneration.java.commandhandler/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Command Handler of Java Code Generator
 Bundle-SymbolicName: hu.bme.mit.gamma.codegeneration.java.commandhandler;singleton:=true
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-RequiredExecutionEnvironment: JavaSE-17
 Require-Bundle: org.eclipse.ui.workbench;bundle-version="3.107.1",
  org.eclipse.core.resources;bundle-version="3.10.1",

diff --git a/plugins/core/hu.bme.mit.gamma.codegeneration.java.util/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.codegeneration.java.util/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Java Code Generation Utility
 Bundle-SymbolicName: hu.bme.mit.gamma.codegeneration.java.util
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-Vendor: BME-FTSRG
 Automatic-Module-Name: hu.bme.mit.gamma.codegenerator.java.util
 Bundle-RequiredExecutionEnvironment: JavaSE-17

diff --git a/plugins/core/hu.bme.mit.gamma.codegeneration.java/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.codegeneration.java/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Java Code Generator
 Bundle-SymbolicName: hu.bme.mit.gamma.codegeneration.java;singleton:=true
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-Vendor: BME-FTSRG
 Export-Package: hu.bme.mit.gamma.codegeneration.java,
  hu.bme.mit.gamma.codegeneration.java.queries

diff --git a/plugins/core/hu.bme.mit.gamma.composition.xsts.uppaal.transformation/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.composition.xsts.uppaal.transformation/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Gamma Composition to XSTS to UPPAAL Transformer
 Bundle-SymbolicName: hu.bme.mit.gamma.composition.xsts.uppaal.transformation
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-Vendor: BME-FTSRG
 Automatic-Module-Name: hu.bme.mit.gamma.composition.xsts.uppaal.transformation
 Bundle-RequiredExecutionEnvironment: JavaSE-17

diff --git a/plugins/core/hu.bme.mit.gamma.dialog/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.dialog/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Gamma Dialog
 Bundle-SymbolicName: hu.bme.mit.gamma.dialog;singleton:=true
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-RequiredExecutionEnvironment: JavaSE-17
 Require-Bundle: org.eclipse.xtend.lib,
  org.eclipse.ui,

diff --git a/plugins/core/hu.bme.mit.gamma.eventpriority.transformation/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.eventpriority.transformation/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Event Priority Transformer
 Bundle-SymbolicName: hu.bme.mit.gamma.eventpriority.transformation
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-Vendor: BME-FTSRG
 Automatic-Module-Name: hu.bme.mit.gamma.eventpriority.transformation
 Bundle-RequiredExecutionEnvironment: JavaSE-17

diff --git a/plugins/core/hu.bme.mit.gamma.expression.language.ide/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.expression.language.ide/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Gamma Expression Language IDE
 Bundle-Vendor: BME-FTSRG
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-SymbolicName: hu.bme.mit.gamma.expression.language.ide; singleton:=true
 Bundle-ActivationPolicy: lazy
 Require-Bundle: hu.bme.mit.gamma.expression.language,

diff --git a/plugins/core/hu.bme.mit.gamma.expression.language.ui/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.expression.language.ui/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Gamma Expression Language UI
 Bundle-Vendor: BME-FTSRG
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-SymbolicName: hu.bme.mit.gamma.expression.language.ui; singleton:=true
 Bundle-ActivationPolicy: lazy
 Require-Bundle: hu.bme.mit.gamma.expression.language,

diff --git a/plugins/core/hu.bme.mit.gamma.expression.language/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.expression.language/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Gamma Expression Language
 Bundle-Vendor: BME-FTSRG
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-SymbolicName: hu.bme.mit.gamma.expression.language;singleton:=true
 Bundle-ActivationPolicy: lazy
 Require-Bundle: hu.bme.mit.gamma.expression.model,

diff --git a/plugins/core/hu.bme.mit.gamma.expression.model/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.expression.model/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Gamma Expression Language Metamodel
 Bundle-SymbolicName: hu.bme.mit.gamma.expression.model;singleton:=true
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-ClassPath: .
 Bundle-Vendor: BME-FTSRG
 Bundle-Localization: plugin

diff --git a/plugins/core/hu.bme.mit.gamma.genmodel.commandhandler/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.genmodel.commandhandler/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Command Handler of Gamma Generator Models
 Bundle-SymbolicName: hu.bme.mit.gamma.genmodel.commandhandler;singleton:=true
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-RequiredExecutionEnvironment: JavaSE-17
 Require-Bundle: org.eclipse.ui,
  org.eclipse.emf.ecore,

diff --git a/plugins/core/hu.bme.mit.gamma.genmodel.language.ide/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.genmodel.language.ide/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Genmodel Language IDE
 Bundle-Vendor: BME-FTSRG
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-SymbolicName: hu.bme.mit.gamma.genmodel.language.ide;singleton:=true
 Bundle-ActivationPolicy: lazy
 Require-Bundle: hu.bme.mit.gamma.expression.language,

diff --git a/plugins/core/hu.bme.mit.gamma.genmodel.language.ui/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.genmodel.language.ui/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Genmodel Language UI
 Bundle-Vendor: BME-FTSRG
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-SymbolicName: hu.bme.mit.gamma.genmodel.language.ui;singleton:=true
 Bundle-ActivationPolicy: lazy
 Require-Bundle: hu.bme.mit.gamma.expression.language.ui,

diff --git a/plugins/core/hu.bme.mit.gamma.genmodel.language/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.genmodel.language/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Textual Syntax of the Gamma Generator Model
 Bundle-Vendor: BME-FTSRG
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-SymbolicName: hu.bme.mit.gamma.genmodel.language;singleton:=true
 Bundle-ActivationPolicy: lazy
 Require-Bundle: hu.bme.mit.gamma.genmodel.model,

diff --git a/plugins/core/hu.bme.mit.gamma.genmodel.model/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.genmodel.model/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Gamma Genmodel Language Metamodel
 Bundle-SymbolicName: hu.bme.mit.gamma.genmodel.model;singleton:=true
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-ClassPath: .
 Bundle-Vendor: BME-FTSRG
 Bundle-Localization: plugin

diff --git a/plugins/core/hu.bme.mit.gamma.gui/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.gui/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Gamma Graphical User Interface
 Bundle-SymbolicName: hu.bme.mit.gamma.gui;singleton:=true
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Export-Package: hu.bme.mit.gamma.gui.perspectives,
  hu.bme.mit.gamma.gui.wizards
 Require-Bundle: org.eclipse.jface,

diff --git a/plugins/core/hu.bme.mit.gamma.language.util/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.language.util/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Utility Functions for the Gamma Languages
 Bundle-SymbolicName: hu.bme.mit.gamma.language.util
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-Vendor: BME-FTSRG
 Automatic-Module-Name: hu.bme.mit.gamma.language.util
 Bundle-RequiredExecutionEnvironment: JavaSE-17

diff --git a/plugins/core/hu.bme.mit.gamma.property.concretization.commandhandler/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.property.concretization.commandhandler/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Gamma Property Concretizer Commandhandler
 Bundle-SymbolicName: hu.bme.mit.gamma.property.concretization.commandhandler;singleton:=true
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-Vendor: BME-FTSRG
 Automatic-Module-Name: hu.bme.mit.gamma.serializer.commandhandler
 Bundle-RequiredExecutionEnvironment: JavaSE-17

diff --git a/plugins/core/hu.bme.mit.gamma.property.language.ide/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.property.language.ide/META-INF/MANIFEST.MF
@@ -3,7 +3,7 @@ Automatic-Module-Name: hu.bme.mit.gamma.property.language.ide
 Bundle-ManifestVersion: 2
 Bundle-Name: Gamma Property Language IDE
 Bundle-Vendor: BME-FTSRG
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-SymbolicName: hu.bme.mit.gamma.property.language.ide; singleton:=true
 Bundle-ActivationPolicy: lazy
 Require-Bundle: hu.bme.mit.gamma.property.model,

diff --git a/plugins/core/hu.bme.mit.gamma.property.language.ui/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.property.language.ui/META-INF/MANIFEST.MF
@@ -3,7 +3,7 @@ Automatic-Module-Name: hu.bme.mit.gamma.property.language.ui
 Bundle-ManifestVersion: 2
 Bundle-Name: Gamma Property Language UI
 Bundle-Vendor: BME-FTSRG
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-SymbolicName: hu.bme.mit.gamma.property.language.ui; singleton:=true
 Bundle-ActivationPolicy: lazy
 Require-Bundle: hu.bme.mit.gamma.property.model,

diff --git a/plugins/core/hu.bme.mit.gamma.property.language/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.property.language/META-INF/MANIFEST.MF
@@ -3,7 +3,7 @@ Automatic-Module-Name: hu.bme.mit.gamma.property.language
 Bundle-ManifestVersion: 2
 Bundle-Name: Gamma Property Language
 Bundle-Vendor: BME-FTSRG
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-SymbolicName: hu.bme.mit.gamma.property.language; singleton:=true
 Bundle-ActivationPolicy: lazy
 Require-Bundle: hu.bme.mit.gamma.property.model,

diff --git a/plugins/core/hu.bme.mit.gamma.property.model/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.property.model/META-INF/MANIFEST.MF
@@ -3,7 +3,7 @@ Bundle-ManifestVersion: 2
 Bundle-Name: Gamma Property Language Metamodel
 Bundle-SymbolicName: hu.bme.mit.gamma.property.model;singleton:=true
 Automatic-Module-Name: hu.bme.mit.gamma.property.model
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-ClassPath: .
 Bundle-Vendor: BME-FTSRG
 Bundle-Localization: plugin

diff --git a/plugins/core/hu.bme.mit.gamma.querygenerator.gui.commandhandler/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.querygenerator.gui.commandhandler/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Command Handler of UPPAAL Query Generator
 Bundle-SymbolicName: hu.bme.mit.gamma.querygenerator.gui.commandhandler;singleton:=true
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-RequiredExecutionEnvironment: JavaSE-17
 Require-Bundle: org.eclipse.ui,
  org.eclipse.core.resources,

diff --git a/plugins/core/hu.bme.mit.gamma.querygenerator.gui/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.querygenerator.gui/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: UPPAAL Query Generator
 Bundle-SymbolicName: hu.bme.mit.gamma.querygenerator.gui;singleton:=true
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-Vendor: BME-FTSRG
 Export-Package: hu.bme.mit.gamma.querygenerator.application
 Require-Bundle: com.google.inject;bundle-version="3.0.0",

diff --git a/plugins/core/hu.bme.mit.gamma.querygenerator/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.querygenerator/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: UPPAAL Query Generator
 Bundle-SymbolicName: hu.bme.mit.gamma.querygenerator;singleton:=true
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-Vendor: BME-FTSRG
 Export-Package: hu.bme.mit.gamma.querygenerator,
  hu.bme.mit.gamma.querygenerator.operators,

diff --git a/plugins/core/hu.bme.mit.gamma.serializer.commandhandler/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.serializer.commandhandler/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Gamma Model Serializer Commandhandler
 Bundle-SymbolicName: hu.bme.mit.gamma.serializer.commandhandler;singleton:=true
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-Vendor: BME-FTSRG
 Automatic-Module-Name: hu.bme.mit.gamma.serializer.commandhandler
 Bundle-RequiredExecutionEnvironment: JavaSE-17

diff --git a/plugins/core/hu.bme.mit.gamma.statechart.contract.testgeneration.java/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.statechart.contract.testgeneration.java/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Gamma Statechart Contract Java JUnit Testgenerator
 Bundle-SymbolicName: hu.bme.mit.gamma.statechart.contract.testgeneration.java
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-Vendor: BME-FTSRG
 Automatic-Module-Name: hu.bme.mit.gamma.statechart.contract.testgeneration.java
 Bundle-RequiredExecutionEnvironment: JavaSE-17

diff --git a/plugins/core/hu.bme.mit.gamma.statechart.contract.tracegeneration/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.statechart.contract.tracegeneration/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Gamma Statechart Contract Tracegeneration
 Bundle-SymbolicName: hu.bme.mit.gamma.statechart.contract.tracegeneration
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-Vendor: BME-FTSRG
 Automatic-Module-Name: hu.bme.mit.gamma.statechart.contract.tracegeneration
 Bundle-RequiredExecutionEnvironment: JavaSE-17

diff --git a/plugins/core/hu.bme.mit.gamma.statechart.language.ide/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.statechart.language.ide/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Gamma Statechart Language IDE
 Bundle-Vendor: BME-FTSRG
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-SymbolicName: hu.bme.mit.gamma.statechart.language.ide; singleton:=true
 Bundle-ActivationPolicy: lazy
 Require-Bundle: hu.bme.mit.gamma.statechart.language,

diff --git a/plugins/core/hu.bme.mit.gamma.statechart.language.ui/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.statechart.language.ui/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Gamma Statechart Language UI
 Bundle-Vendor: BME-FTSRG
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-SymbolicName: hu.bme.mit.gamma.statechart.language.ui; singleton:=true
 Bundle-ActivationPolicy: lazy
 Require-Bundle: hu.bme.mit.gamma.statechart.language,

diff --git a/plugins/core/hu.bme.mit.gamma.statechart.language/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.statechart.language/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Gamma Statechart Language
 Bundle-SymbolicName: hu.bme.mit.gamma.statechart.language;singleton:=true
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-Vendor: BME-FTSRG
 Export-Package: hu.bme.mit.gamma.statechart.language,
  hu.bme.mit.gamma.statechart.language.formatting,

diff --git a/plugins/core/hu.bme.mit.gamma.statechart.model/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.statechart.model/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Gamma Statechart/Composite Language Metamodel
 Bundle-SymbolicName: hu.bme.mit.gamma.statechart.model;singleton:=true
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-ClassPath: .
 Bundle-Vendor: BME-FTSRG
 Bundle-Localization: plugin

diff --git a/plugins/core/hu.bme.mit.gamma.statechart.phase.transformation/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.statechart.phase.transformation/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Gamma Mission Phase Statechart Transformer
 Bundle-SymbolicName: hu.bme.mit.gamma.statechart.phase.transformation
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-Vendor: BME-FTSRG
 Automatic-Module-Name: hu.bme.mit.gamma.statechart.phase.transformation
 Bundle-RequiredExecutionEnvironment: JavaSE-17

diff --git a/plugins/core/hu.bme.mit.gamma.statechart.traverser/META-INF/MANIFEST.MF b/plugins/core/hu.bme.mit.gamma.statechart.traverser/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Gamma Statechart Traverser
 Bundle-SymbolicName: hu.bme.mit.gamma.statechart.traverser
-Bundle-Version: 2.10.0.qualifier
+Bundle-Version: 2.11.0.qualifier
 Bundle-Vendor: BME-FTSRG
 Automatic-Module-Name: hu.bme.mit.gamma.statechart.traverser
 Bundle-RequiredExecutionEnvironment: JavaSE-17