Skip to content

Commit

Permalink
Merge pull request #79 from ftsrg/v2.5.1
Browse files Browse the repository at this point in the history 
Gamma v2.5.1 version
  • Loading branch information
Benedek Horvath authored Jun 14, 2021
2 parents 6f41d99 + 5015ada commit 775eb29
Show file tree
Hide file tree
Showing 71 changed files with 77 additions and 77 deletions.
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.action.language.ide/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Gamma Action Language IDE
Bundle-Vendor: BME-FTSRG
Bundle-Version: 2.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-SymbolicName: hu.bme.mit.gamma.action.language.ide; singleton:=true
Bundle-ActivationPolicy: lazy
Require-Bundle: hu.bme.mit.gamma.expression.language,
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.action.language.ui/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Gamma Action Language UI
Bundle-Vendor: BME-FTSRG
Bundle-Version: 2.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-SymbolicName: hu.bme.mit.gamma.action.language.ui; singleton:=true
Bundle-ActivationPolicy: lazy
Require-Bundle: hu.bme.mit.gamma.expression.language.ui,
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.action.language/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-Vendor: BME-FTSRG
Export-Package: hu.bme.mit.gamma.action.language.generator,
hu.bme.mit.gamma.action.language,
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.action.model/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Gamma Action Langauge Metamodel
Bundle-SymbolicName: hu.bme.mit.gamma.action.model;singleton:=true
Bundle-Version: 2.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-ClassPath: .
Bundle-Vendor: BME-FTSRG
Bundle-Localization: plugin
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.codegenerator.java.commandhandler/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.codegenerator.java.commandhandler;singleton:=true
Bundle-Version: 2.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-RequiredExecutionEnvironment: JavaSE-11
Require-Bundle: org.eclipse.ui.workbench;bundle-version="3.107.1",
org.eclipse.core.resources;bundle-version="3.10.1",
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.codegenerator.java.util/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Java Code Generation Utility
Bundle-SymbolicName: hu.bme.mit.gamma.codegenerator.java.util
Bundle-Version: 2.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-Vendor: BME-FTSRG
Automatic-Module-Name: hu.bme.mit.gamma.codegenerator.java.util
Bundle-RequiredExecutionEnvironment: JavaSE-11
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.codegenerator.java/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Java Code Generator
Bundle-SymbolicName: hu.bme.mit.gamma.codegenerator.java;singleton:=true
Bundle-Version: 2.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-Vendor: BME-FTSRG
Export-Package: hu.bme.mit.gamma.codegenerator.java,
hu.bme.mit.gamma.codegenerator.java.queries
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.composition.xsts.uppaal.transformation/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-Vendor: BME-FTSRG
Automatic-Module-Name: hu.bme.mit.gamma.composition.xsts.uppaal.transformation
Bundle-RequiredExecutionEnvironment: JavaSE-11
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.dialog/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-RequiredExecutionEnvironment: JavaSE-11
Require-Bundle: org.eclipse.xtend.lib,
org.eclipse.ui,
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.eventpriority.transformation/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-Vendor: BME-FTSRG
Automatic-Module-Name: hu.bme.mit.gamma.eventpriority.transformation
Bundle-RequiredExecutionEnvironment: JavaSE-11
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.expression.language.ide/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Gamma Expression Language IDE
Bundle-Vendor: BME-FTSRG
Bundle-Version: 2.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-SymbolicName: hu.bme.mit.gamma.expression.language.ide; singleton:=true
Bundle-ActivationPolicy: lazy
Require-Bundle: hu.bme.mit.gamma.expression.language,
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.expression.language.ui/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Gamma Expression Language UI
Bundle-Vendor: BME-FTSRG
Bundle-Version: 2.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-SymbolicName: hu.bme.mit.gamma.expression.language.ui; singleton:=true
Bundle-ActivationPolicy: lazy
Require-Bundle: hu.bme.mit.gamma.expression.language,
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.expression.language/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Gamma Expression Language
Bundle-Vendor: BME-FTSRG
Bundle-Version: 2.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-SymbolicName: hu.bme.mit.gamma.expression.language;singleton:=true
Bundle-ActivationPolicy: lazy
Require-Bundle: hu.bme.mit.gamma.expression.model,
Expand Down
4 changes: 2 additions & 2 deletions plugins/core/hu.bme.mit.gamma.expression.model/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Gamma Expression Langauge Metamodel
Bundle-Name: Gamma Expression Language Metamodel
Bundle-SymbolicName: hu.bme.mit.gamma.expression.model;singleton:=true
Bundle-Version: 2.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-ClassPath: .
Bundle-Vendor: BME-FTSRG
Bundle-Localization: plugin
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.genmodel.commandhandler/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-RequiredExecutionEnvironment: JavaSE-11
Require-Bundle: org.eclipse.ui,
org.eclipse.emf.ecore,
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.genmodel.language.ide/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Genmodel Language IDE
Bundle-Vendor: BME-FTSRG
Bundle-Version: 2.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-SymbolicName: hu.bme.mit.gamma.genmodel.language.ide;singleton:=true
Bundle-ActivationPolicy: lazy
Require-Bundle: hu.bme.mit.gamma.expression.language,
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.genmodel.language.ui/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Genmodel Language UI
Bundle-Vendor: BME-FTSRG
Bundle-Version: 2.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-SymbolicName: hu.bme.mit.gamma.genmodel.language.ui;singleton:=true
Bundle-ActivationPolicy: lazy
Require-Bundle: hu.bme.mit.gamma.expression.language.ui,
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.genmodel.language/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-SymbolicName: hu.bme.mit.gamma.genmodel.language;singleton:=true
Bundle-ActivationPolicy: lazy
Require-Bundle: hu.bme.mit.gamma.genmodel.model,
Expand Down
4 changes: 2 additions & 2 deletions plugins/core/hu.bme.mit.gamma.genmodel.model/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Gamma Genmodel Langauge Metamodel
Bundle-Name: Gamma Genmodel Language Metamodel
Bundle-SymbolicName: hu.bme.mit.gamma.genmodel.model;singleton:=true
Bundle-Version: 2.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-ClassPath: .
Bundle-Vendor: BME-FTSRG
Bundle-Localization: plugin
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.language.util/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-Vendor: BME-FTSRG
Automatic-Module-Name: hu.bme.mit.gamma.language.util
Bundle-RequiredExecutionEnvironment: JavaSE-11
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.property.language.ide/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-SymbolicName: hu.bme.mit.gamma.property.language.ide; singleton:=true
Bundle-ActivationPolicy: lazy
Require-Bundle: hu.bme.mit.gamma.property.model,
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.property.language.ui/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-SymbolicName: hu.bme.mit.gamma.property.language.ui; singleton:=true
Bundle-ActivationPolicy: lazy
Require-Bundle: hu.bme.mit.gamma.property.model,
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.property.language/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-SymbolicName: hu.bme.mit.gamma.property.language; singleton:=true
Bundle-ActivationPolicy: lazy
Require-Bundle: hu.bme.mit.gamma.property.model,
Expand Down
4 changes: 2 additions & 2 deletions plugins/core/hu.bme.mit.gamma.property.model/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Gamma Property Langauge Metamodel
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.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-ClassPath: .
Bundle-Vendor: BME-FTSRG
Bundle-Localization: plugin
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.querygenerator.gui.commandhandler/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-RequiredExecutionEnvironment: JavaSE-11
Require-Bundle: org.eclipse.ui,
org.eclipse.core.resources,
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.querygenerator.gui/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-Vendor: BME-FTSRG
Export-Package: hu.bme.mit.gamma.querygenerator.application
Require-Bundle: com.google.inject;bundle-version="3.0.0",
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.querygenerator/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-Vendor: BME-FTSRG
Export-Package: hu.bme.mit.gamma.querygenerator,
hu.bme.mit.gamma.querygenerator.operators,
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.statechart.contract.testgeneration.java/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-Vendor: BME-FTSRG
Automatic-Module-Name: hu.bme.mit.gamma.statechart.contract.testgeneration.java
Bundle-RequiredExecutionEnvironment: JavaSE-11
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.statechart.contract.tracegeneration/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-Vendor: BME-FTSRG
Automatic-Module-Name: hu.bme.mit.gamma.statechart.contract.tracegeneration
Bundle-RequiredExecutionEnvironment: JavaSE-11
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.statechart.language.ide/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Gamma Statechart Language IDE
Bundle-Vendor: BME-FTSRG
Bundle-Version: 2.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-SymbolicName: hu.bme.mit.gamma.statechart.language.ide; singleton:=true
Bundle-ActivationPolicy: lazy
Require-Bundle: hu.bme.mit.gamma.statechart.language,
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.statechart.language.ui/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Gamma Statechart Language UI
Bundle-Vendor: BME-FTSRG
Bundle-Version: 2.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-SymbolicName: hu.bme.mit.gamma.statechart.language.ui; singleton:=true
Bundle-ActivationPolicy: lazy
Require-Bundle: hu.bme.mit.gamma.statechart.language,
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.statechart.language/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-Vendor: BME-FTSRG
Export-Package: hu.bme.mit.gamma.statechart.language,
hu.bme.mit.gamma.statechart.language.formatting,
Expand Down
4 changes: 2 additions & 2 deletions plugins/core/hu.bme.mit.gamma.statechart.model/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Gamma Statechart Langauge Metamodel
Bundle-Name: Gamma Statechart Language Metamodel
Bundle-SymbolicName: hu.bme.mit.gamma.statechart.model;singleton:=true
Bundle-Version: 2.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-ClassPath: .
Bundle-Vendor: BME-FTSRG
Bundle-Localization: plugin
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.statechart.phase.transformation/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-Vendor: BME-FTSRG
Automatic-Module-Name: hu.bme.mit.gamma.statechart.phase.transformation
Bundle-RequiredExecutionEnvironment: JavaSE-11
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.statechart.traverser/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-Vendor: BME-FTSRG
Automatic-Module-Name: hu.bme.mit.gamma.statechart.traverser
Bundle-RequiredExecutionEnvironment: JavaSE-11
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.trace.environment.transformation/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Gamma Trace to Environment Model Transformer
Bundle-SymbolicName: hu.bme.mit.gamma.trace.environment.transformation
Bundle-Version: 2.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-Vendor: BME-FTSRG
Automatic-Module-Name: hu.bme.mit.gamma.trace.environment.transformation
Bundle-RequiredExecutionEnvironment: JavaSE-11
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.trace.language.ide/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Gamma Execution Trace Language IDE
Bundle-Vendor: BME-FTSRG
Bundle-Version: 2.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-SymbolicName: hu.bme.mit.gamma.trace.language.ide; singleton:=true
Bundle-ActivationPolicy: lazy
Require-Bundle: hu.bme.mit.gamma.expression.language,
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.trace.language.ui/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Gamma Execution Trace Language UI
Bundle-Vendor: BME-FTSRG
Bundle-Version: 2.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-SymbolicName: hu.bme.mit.gamma.trace.language.ui; singleton:=true
Bundle-ActivationPolicy: lazy
Require-Bundle: hu.bme.mit.gamma.language.util,
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.trace.language/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Gamma Execution Trace Language
Bundle-Vendor: BME-FTSRG
Bundle-Version: 2.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-SymbolicName: hu.bme.mit.gamma.trace.language; singleton:=true
Bundle-ActivationPolicy: lazy
Require-Bundle: hu.bme.mit.gamma.expression.language,
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.trace.model/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Gamma Test Langauge Metamodel
Bundle-SymbolicName: hu.bme.mit.gamma.trace.model;singleton:=true
Bundle-Version: 2.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-ClassPath: .
Bundle-Vendor: BME-FTSRG
Bundle-Localization: plugin
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.trace.testgeneration.commandhandler/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Command Handler of Java JUnit Test Generator
Bundle-SymbolicName: hu.bme.mit.gamma.trace.testgeneration.commandhandler;singleton:=true
Bundle-Version: 2.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-Vendor: BME-FTSRG
Bundle-RequiredExecutionEnvironment: JavaSE-11
Require-Bundle: org.eclipse.ui,
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.trace.testgeneration.java/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Java JUnit Test Generator
Bundle-SymbolicName: hu.bme.mit.gamma.trace.testgeneration.java
Bundle-Version: 2.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-Vendor: BME-FTSRG
Automatic-Module-Name: hu.bme.mit.gamma.trace.testgeneration.java
Bundle-RequiredExecutionEnvironment: JavaSE-11
Expand Down
2 changes: 1 addition & 1 deletion plugins/core/hu.bme.mit.gamma.transformation.util/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Gamma Transformation Utility Classes
Bundle-SymbolicName: hu.bme.mit.gamma.transformation.util;singleton:=true
Bundle-Version: 2.5.0.qualifier
Bundle-Version: 2.5.1.qualifier
Bundle-Vendor: BME-FTSRG
Export-Package: hu.bme.mit.gamma.transformation.util,
hu.bme.mit.gamma.transformation.util.annotations,
Expand Down
Loading

0 comments on commit 775eb29

Please sign in to comment.