diff --git a/build/de.cau.cs.kieler.kicool.cli/pom.xml b/build/de.cau.cs.kieler.kicool.cli/pom.xml index 2bbf98c782..08dd9ac7c8 100644 --- a/build/de.cau.cs.kieler.kicool.cli/pom.xml +++ b/build/de.cau.cs.kieler.kicool.cli/pom.xml @@ -2,7 +2,7 @@ 4.0.0 - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT de.cau.cs.kieler.kicool.cli eclipse-repository KIELER Compiler CLI diff --git a/build/de.cau.cs.kieler.kicool.klighd.cli/pom.xml b/build/de.cau.cs.kieler.kicool.klighd.cli/pom.xml index 5dbbb25ace..8bc367d7c7 100644 --- a/build/de.cau.cs.kieler.kicool.klighd.cli/pom.xml +++ b/build/de.cau.cs.kieler.kicool.klighd.cli/pom.xml @@ -2,7 +2,7 @@ 4.0.0 - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT de.cau.cs.kieler.kicool.klighd.cli eclipse-repository KIELER Compiler and Diagrams CLI diff --git a/build/de.cau.cs.kieler.language.server.cli/pom.xml b/build/de.cau.cs.kieler.language.server.cli/pom.xml index 5baa05265b..af054959c4 100644 --- a/build/de.cau.cs.kieler.language.server.cli/pom.xml +++ b/build/de.cau.cs.kieler.language.server.cli/pom.xml @@ -2,7 +2,7 @@ 4.0.0 - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT de.cau.cs.kieler.language.server.cli KIELER Language Server CLI @@ -50,8 +50,8 @@ false - - + + diff --git a/build/de.cau.cs.kieler.sccharts.cli/pom.xml b/build/de.cau.cs.kieler.sccharts.cli/pom.xml index 23a7accce3..69a82f8064 100644 --- a/build/de.cau.cs.kieler.sccharts.cli/pom.xml +++ b/build/de.cau.cs.kieler.sccharts.cli/pom.xml @@ -2,7 +2,7 @@ 4.0.0 - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT de.cau.cs.kieler.sccharts.cli eclipse-repository KIELER SCCharts Compiler CLI diff --git a/build/de.cau.cs.kieler.semantics.product.repository/kieler.product b/build/de.cau.cs.kieler.semantics.product.repository/kieler.product index 5442519b97..16a64a63ca 100644 --- a/build/de.cau.cs.kieler.semantics.product.repository/kieler.product +++ b/build/de.cau.cs.kieler.semantics.product.repository/kieler.product @@ -1,6 +1,6 @@ - + diff --git a/build/de.cau.cs.kieler.semantics.product.repository/pom.xml b/build/de.cau.cs.kieler.semantics.product.repository/pom.xml index 8924a8a768..b9927f4e70 100644 --- a/build/de.cau.cs.kieler.semantics.product.repository/pom.xml +++ b/build/de.cau.cs.kieler.semantics.product.repository/pom.xml @@ -2,7 +2,7 @@ 4.0.0 - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT de.cau.cs.kieler.semantics.product.repository eclipse-repository SCCharts RCA diff --git a/build/de.cau.cs.kieler.semantics.repository/category.xml b/build/de.cau.cs.kieler.semantics.repository/category.xml index 9eb263f6fd..e27f44f528 100644 --- a/build/de.cau.cs.kieler.semantics.repository/category.xml +++ b/build/de.cau.cs.kieler.semantics.repository/category.xml @@ -13,31 +13,31 @@ - + - + - + - + - + - + - - - - - - - + + + + + + + diff --git a/build/de.cau.cs.kieler.semantics.repository/pom.xml b/build/de.cau.cs.kieler.semantics.repository/pom.xml index 2f30e60f88..79754bd31c 100644 --- a/build/de.cau.cs.kieler.semantics.repository/pom.xml +++ b/build/de.cau.cs.kieler.semantics.repository/pom.xml @@ -2,7 +2,7 @@ 4.0.0 - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT de.cau.cs.kieler.semantics.repository eclipse-repository KIELER Semantics Repository diff --git a/build/de.cau.cs.kieler.semantics.targetplatform/de.cau.cs.kieler.semantics.targetplatform.target b/build/de.cau.cs.kieler.semantics.targetplatform/de.cau.cs.kieler.semantics.targetplatform.target index 981e76995d..1ff95bdf73 100644 --- a/build/de.cau.cs.kieler.semantics.targetplatform/de.cau.cs.kieler.semantics.targetplatform.target +++ b/build/de.cau.cs.kieler.semantics.targetplatform/de.cau.cs.kieler.semantics.targetplatform.target @@ -10,11 +10,9 @@ - + - - @@ -23,12 +21,12 @@ - + - + @@ -38,17 +36,17 @@ - + - + - + diff --git a/build/pom.xml b/build/pom.xml index ff3467e6cb..3f6b665b6f 100644 --- a/build/pom.xml +++ b/build/pom.xml @@ -10,14 +10,14 @@ - 0.9.0 - 2.3.0.v20230606 + 0.9.1 + 3.0.1.v20240410 0.22.0 - 0.50.0.v20230607 + 0.51.0.v20240410 - 2.33.0 - 2.33.0 + 2.34.0 + 2.34.0 2.7.5 @@ -327,7 +327,8 @@ - + + diff --git a/features/de.cau.cs.kieler.esterel.feature/feature.xml b/features/de.cau.cs.kieler.esterel.feature/feature.xml index 1348af1e11..a2b68ae9fd 100644 --- a/features/de.cau.cs.kieler.esterel.feature/feature.xml +++ b/features/de.cau.cs.kieler.esterel.feature/feature.xml @@ -1,5 +1,5 @@ - + KIELER Esterel feature contains an Xtext based full featured textual Esterel and Lustre editor. diff --git a/features/de.cau.cs.kieler.esterel.feature/pom.xml b/features/de.cau.cs.kieler.esterel.feature/pom.xml index 4984a7c73b..565d3e16d6 100644 --- a/features/de.cau.cs.kieler.esterel.feature/pom.xml +++ b/features/de.cau.cs.kieler.esterel.feature/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.esterel.feature - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-feature diff --git a/features/de.cau.cs.kieler.framework.feature/feature.xml b/features/de.cau.cs.kieler.framework.feature/feature.xml index 4f64920a1d..23fe12d515 100644 --- a/features/de.cau.cs.kieler.framework.feature/feature.xml +++ b/features/de.cau.cs.kieler.framework.feature/feature.xml @@ -1,5 +1,5 @@ - + KIELER Semantics Framework feature contains the KIELER Compiler and various tools and grammars for the KIELER SCCharts. diff --git a/features/de.cau.cs.kieler.framework.feature/pom.xml b/features/de.cau.cs.kieler.framework.feature/pom.xml index 1b8f513c3d..fd5006d712 100644 --- a/features/de.cau.cs.kieler.framework.feature/pom.xml +++ b/features/de.cau.cs.kieler.framework.feature/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.framework.feature - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-feature diff --git a/features/de.cau.cs.kieler.product.feature/feature.xml b/features/de.cau.cs.kieler.product.feature/feature.xml index 3dce95d9d7..9641378bd5 100644 --- a/features/de.cau.cs.kieler.product.feature/feature.xml +++ b/features/de.cau.cs.kieler.product.feature/feature.xml @@ -1,5 +1,5 @@ - + Dependencies of the KIELER project used for building a Rich Client Application. diff --git a/features/de.cau.cs.kieler.product.feature/pom.xml b/features/de.cau.cs.kieler.product.feature/pom.xml index 39637d1217..2ccc020fe8 100644 --- a/features/de.cau.cs.kieler.product.feature/pom.xml +++ b/features/de.cau.cs.kieler.product.feature/pom.xml @@ -9,6 +9,6 @@ de.cau.cs.kieler de.cau.cs.kieler.product.feature - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-feature diff --git a/features/de.cau.cs.kieler.sccharts.feature/feature.xml b/features/de.cau.cs.kieler.sccharts.feature/feature.xml index 529a590488..9470d25eb8 100644 --- a/features/de.cau.cs.kieler.sccharts.feature/feature.xml +++ b/features/de.cau.cs.kieler.sccharts.feature/feature.xml @@ -1,5 +1,5 @@ - + KIELER SCCharts feature contains the KIELER SCCharts Textual Editor (*.sctx) with automatic KLighD diagram synthesis. Code generation to Synchronous C (SC) or Syncchronous Java (SJ) is provided. diff --git a/features/de.cau.cs.kieler.sccharts.feature/pom.xml b/features/de.cau.cs.kieler.sccharts.feature/pom.xml index 25b4832d09..4e15a8607e 100644 --- a/features/de.cau.cs.kieler.sccharts.feature/pom.xml +++ b/features/de.cau.cs.kieler.sccharts.feature/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.sccharts.feature - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-feature diff --git a/language-server/de.cau.cs.kieler.language.server.components.fake/pom.xml b/language-server/de.cau.cs.kieler.language.server.components.fake/pom.xml index 770736ebec..8547ea04a7 100644 --- a/language-server/de.cau.cs.kieler.language.server.components.fake/pom.xml +++ b/language-server/de.cau.cs.kieler.language.server.components.fake/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler.language.server.components - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT pom diff --git a/language-server/de.cau.cs.kieler.language.server.components/pom.xml b/language-server/de.cau.cs.kieler.language.server.components/pom.xml index 0b76ec2525..f78c3243d4 100644 --- a/language-server/de.cau.cs.kieler.language.server.components/pom.xml +++ b/language-server/de.cau.cs.kieler.language.server.components/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler.language.server.components - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT pom diff --git a/language-server/de.cau.cs.kieler.language.server/pom.xml b/language-server/de.cau.cs.kieler.language.server/pom.xml index 7215c49ce4..bad213c690 100644 --- a/language-server/de.cau.cs.kieler.language.server/pom.xml +++ b/language-server/de.cau.cs.kieler.language.server/pom.xml @@ -8,7 +8,7 @@ ../../build/pom.xml de.cau.cs.kieler.language.server - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT @@ -161,7 +161,7 @@ - + diff --git a/oomph/kieler-semantics-developers.setup b/oomph/kieler-semantics-developers.setup index 7653dd0882..ebf5bccff8 100644 --- a/oomph/kieler-semantics-developers.setup +++ b/oomph/kieler-semantics-developers.setup @@ -457,13 +457,13 @@ name="com.google.inject"/> + versionRange="33.0.0"/> + versionRange="[2.34.0,2.35.0)"/> + url="https://download.eclipse.org/releases/2024-03"/> - - + url="https://download.eclipse.org/tools/orbit/simrel/orbit-aggregation/release/4.31.0"/> + url="https://download.eclipse.org/modeling/tmf/xtext/updates/releases/2.34.0/"/> + url="https://download.eclipse.org/elk/updates/releases/0.9.1/"/> + url="https://kieler.github.io/KLighD/v3.0.1/"/> + + + + + + + + + + + + + + + + + + + http://download.eclipse.org/eclipse/updates/ + + + false + + + false + + + ${git.clone.semantics.location}/build/de.cau.cs.kieler.semantics.targetplatform/de.cau.cs.kieler.semantics.targetplatform.target + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + url="https://download.eclipse.org/tools/orbit/simrel/orbit-aggregation/release/4.31.0"/> + url="https://download.eclipse.org/modeling/tmf/xtext/updates/releases/2.34.0/"/> + + + @@ -544,7 +678,7 @@ xsi:type="setup.p2:P2Task"> + versionRange="[2.34.0,2.35.0)"/> diff --git a/plugins/de.cau.cs.kieler.annotations.ide/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.annotations.ide/META-INF/MANIFEST.MF index d6c468cb85..ad121fa4ff 100644 --- a/plugins/de.cau.cs.kieler.annotations.ide/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.annotations.ide/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Annotations IDE Bundle-SymbolicName: de.cau.cs.kieler.annotations.ide -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Automatic-Module-Name: de.cau.cs.kieler.annotations.ide Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: org.antlr.runtime;bundle-version="[3.2.0,3.2.1)", diff --git a/plugins/de.cau.cs.kieler.annotations.ide/pom.xml b/plugins/de.cau.cs.kieler.annotations.ide/pom.xml index bac1f30087..0d9ecd94c1 100644 --- a/plugins/de.cau.cs.kieler.annotations.ide/pom.xml +++ b/plugins/de.cau.cs.kieler.annotations.ide/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.annotations.ide - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.annotations.ui/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.annotations.ui/META-INF/MANIFEST.MF index 6c9aaaa6e7..cd410abf12 100644 --- a/plugins/de.cau.cs.kieler.annotations.ui/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.annotations.ui/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: KIELER Model Annotations Text UI Bundle-SymbolicName: de.cau.cs.kieler.annotations.ui;singleton:=true -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-Vendor: Kiel University Eclipse-UI: True Require-Bundle: org.eclipse.ui, diff --git a/plugins/de.cau.cs.kieler.annotations.ui/pom.xml b/plugins/de.cau.cs.kieler.annotations.ui/pom.xml index cbafbf4e30..3b74b198a1 100644 --- a/plugins/de.cau.cs.kieler.annotations.ui/pom.xml +++ b/plugins/de.cau.cs.kieler.annotations.ui/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.annotations.ui - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.annotations/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.annotations/META-INF/MANIFEST.MF index 18ad6d51a4..fc94bcb17b 100644 --- a/plugins/de.cau.cs.kieler.annotations/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.annotations/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: KIELER Annotations Bundle-SymbolicName: de.cau.cs.kieler.annotations;singleton:=true -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-ClassPath: . Bundle-Vendor: Kiel University Bundle-Localization: plugin diff --git a/plugins/de.cau.cs.kieler.annotations/pom.xml b/plugins/de.cau.cs.kieler.annotations/pom.xml index bd967d0f96..460e9f0493 100644 --- a/plugins/de.cau.cs.kieler.annotations/pom.xml +++ b/plugins/de.cau.cs.kieler.annotations/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.annotations - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.c.sccharts/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.c.sccharts/META-INF/MANIFEST.MF index cb4889b30b..75dc945ba9 100644 --- a/plugins/de.cau.cs.kieler.c.sccharts/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.c.sccharts/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: KIELER C to SCCharts Transformation Bundle-SymbolicName: de.cau.cs.kieler.c.sccharts;singleton:=true -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-Vendor: Kiel University Eclipse-UI: True Bundle-RequiredExecutionEnvironment: JavaSE-11 diff --git a/plugins/de.cau.cs.kieler.core.perspectives/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.core.perspectives/META-INF/MANIFEST.MF index 71d4c4ca38..a454df5808 100644 --- a/plugins/de.cau.cs.kieler.core.perspectives/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.core.perspectives/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: KIELER Modeling Perspectives Bundle-SymbolicName: de.cau.cs.kieler.core.perspectives;singleton:=true -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-Vendor: Kiel University Eclipse-UI: True Require-Bundle: org.eclipse.core.runtime, diff --git a/plugins/de.cau.cs.kieler.core.perspectives/pom.xml b/plugins/de.cau.cs.kieler.core.perspectives/pom.xml index 2c30cb4092..0e64ee48ef 100644 --- a/plugins/de.cau.cs.kieler.core.perspectives/pom.xml +++ b/plugins/de.cau.cs.kieler.core.perspectives/pom.xml @@ -9,6 +9,6 @@ de.cau.cs.kieler de.cau.cs.kieler.core.perspectives - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin diff --git a/plugins/de.cau.cs.kieler.core.product/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.core.product/META-INF/MANIFEST.MF index d76c52263e..ce3da7ff6c 100644 --- a/plugins/de.cau.cs.kieler.core.product/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.core.product/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: KIELER Product Contribution Bundle-SymbolicName: de.cau.cs.kieler.core.product;singleton:=true -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-Vendor: Kiel University Eclipse-UI: True Require-Bundle: org.eclipse.core.runtime, diff --git a/plugins/de.cau.cs.kieler.core.product/images/splash.svg b/plugins/de.cau.cs.kieler.core.product/images/splash.svg index a4eddb276a..5dea1f3437 100644 --- a/plugins/de.cau.cs.kieler.core.product/images/splash.svg +++ b/plugins/de.cau.cs.kieler.core.product/images/splash.svg @@ -2,23 +2,23 @@ + inkscape:export-ydpi="96" + xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" + xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd" + xmlns:xlink="http://www.w3.org/1999/xlink" + xmlns="http://www.w3.org/2000/svg" + xmlns:svg="http://www.w3.org/2000/svg" + xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" + xmlns:cc="http://creativecommons.org/ns#" + xmlns:dc="http://purl.org/dc/elements/1.1/"> + id="filter3794" + x="-0.0057051652" + y="-0.0086506656" + width="1.0114103" + height="1.0173013"> + height="1.5445899"> + fit-margin-bottom="0" + inkscape:showpageshadow="2" + inkscape:pagecheckerboard="0" + inkscape:deskcolor="#d1d1d1" /> @@ -542,7 +549,6 @@ image/svg+xml - @@ -796,7 +802,7 @@ id="tspan4979" x="176.61057" y="189.7726" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:43.8796196px;line-height:0;font-family:sans-serif;-inkscape-font-specification:sans-serif;text-align:start;text-anchor:start;fill:#929292;fill-opacity:1">The Key to Efficient Modeling + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:43.8796px;line-height:0;font-family:sans-serif;-inkscape-font-specification:sans-serif;text-align:start;text-anchor:start;fill:#929292;fill-opacity:1">The Key to Efficient Modeling K + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:183.606px;line-height:0;font-family:sans-serif;-inkscape-font-specification:sans-serif;text-align:start;text-anchor:start;fill:#383838;fill-opacity:1">K Version 1.4.0 + id="tspan4169">Version 1.5.0 - + diff --git a/plugins/de.cau.cs.kieler.core.product/pom.xml b/plugins/de.cau.cs.kieler.core.product/pom.xml index aed9777d5d..73df4e92de 100644 --- a/plugins/de.cau.cs.kieler.core.product/pom.xml +++ b/plugins/de.cau.cs.kieler.core.product/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.core.product - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.core.product/splash.bmp b/plugins/de.cau.cs.kieler.core.product/splash.bmp index d65d576b77..f77e06fa75 100644 Binary files a/plugins/de.cau.cs.kieler.core.product/splash.bmp and b/plugins/de.cau.cs.kieler.core.product/splash.bmp differ diff --git a/plugins/de.cau.cs.kieler.core/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.core/META-INF/MANIFEST.MF index b12b0575c9..400f714eab 100644 --- a/plugins/de.cau.cs.kieler.core/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.core/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: KIELER Core Utilities Bundle-SymbolicName: de.cau.cs.kieler.core;singleton:=true -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Require-Bundle: org.eclipse.core.resources;bundle-version="3.5.0", com.google.guava, org.eclipse.xtext.xbase.lib, diff --git a/plugins/de.cau.cs.kieler.core/kieler.version b/plugins/de.cau.cs.kieler.core/kieler.version index b6499c3649..66f4268e8b 100644 --- a/plugins/de.cau.cs.kieler.core/kieler.version +++ b/plugins/de.cau.cs.kieler.core/kieler.version @@ -1,2 +1,2 @@ -1.4.0 +1.5.0 nightly build \ No newline at end of file diff --git a/plugins/de.cau.cs.kieler.core/pom.xml b/plugins/de.cau.cs.kieler.core/pom.xml index 49ea479f08..cd51ef798d 100644 --- a/plugins/de.cau.cs.kieler.core/pom.xml +++ b/plugins/de.cau.cs.kieler.core/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.core - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.esterel.compiler/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.esterel.compiler/META-INF/MANIFEST.MF index a0cc0ce0fe..85c9ef60fa 100644 --- a/plugins/de.cau.cs.kieler.esterel.compiler/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.esterel.compiler/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: External Esterel Compilers Bundle-SymbolicName: de.cau.cs.kieler.esterel.compiler;singleton:=true -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: org.eclipse.core.runtime;bundle-version="3.12.0", org.eclipse.xtext.xbase.lib, diff --git a/plugins/de.cau.cs.kieler.esterel.compiler/pom.xml b/plugins/de.cau.cs.kieler.esterel.compiler/pom.xml index 7e1f263343..9a9a66cf31 100644 --- a/plugins/de.cau.cs.kieler.esterel.compiler/pom.xml +++ b/plugins/de.cau.cs.kieler.esterel.compiler/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.esterel.compiler - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.esterel.ide/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.esterel.ide/META-INF/MANIFEST.MF index 61b4b272a3..e9a6f03520 100644 --- a/plugins/de.cau.cs.kieler.esterel.ide/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.esterel.ide/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Esterel IDE Bundle-SymbolicName: de.cau.cs.kieler.esterel.ide -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Automatic-Module-Name: de.cau.cs.kieler.esterel.ide Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: org.antlr.runtime;bundle-version="[3.2.0,3.2.1)", diff --git a/plugins/de.cau.cs.kieler.esterel.ide/pom.xml b/plugins/de.cau.cs.kieler.esterel.ide/pom.xml index 0e058a9bbc..690033d020 100644 --- a/plugins/de.cau.cs.kieler.esterel.ide/pom.xml +++ b/plugins/de.cau.cs.kieler.esterel.ide/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.esterel.ide - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.esterel.ui/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.esterel.ui/META-INF/MANIFEST.MF index 1edcb2212f..fa07c61013 100644 --- a/plugins/de.cau.cs.kieler.esterel.ui/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.esterel.ui/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: KIELER Esterel Editor Bundle-Vendor: Kiel University -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-SymbolicName: de.cau.cs.kieler.esterel.ui;singleton:=true Bundle-ActivationPolicy: lazy Eclipse-UI: True diff --git a/plugins/de.cau.cs.kieler.esterel.ui/pom.xml b/plugins/de.cau.cs.kieler.esterel.ui/pom.xml index 69c51812b2..fa6a0479e4 100644 --- a/plugins/de.cau.cs.kieler.esterel.ui/pom.xml +++ b/plugins/de.cau.cs.kieler.esterel.ui/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.esterel.ui - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.esterel/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.esterel/META-INF/MANIFEST.MF index 12c8b48cfc..3cd13dd5b9 100644 --- a/plugins/de.cau.cs.kieler.esterel/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.esterel/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: KIELER Esterel Infrastructure Bundle-Vendor: Kiel University -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-SymbolicName: de.cau.cs.kieler.esterel;singleton:=true Eclipse-RegisterBuddy: org.eclipse.xtext.log4j Bundle-ActivationPolicy: lazy diff --git a/plugins/de.cau.cs.kieler.esterel/pom.xml b/plugins/de.cau.cs.kieler.esterel/pom.xml index 05e35d2682..b5f16842d2 100644 --- a/plugins/de.cau.cs.kieler.esterel/pom.xml +++ b/plugins/de.cau.cs.kieler.esterel/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.esterel - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.kexpressions.ide/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.kexpressions.ide/META-INF/MANIFEST.MF index 6834cf8c39..2cd07198fb 100644 --- a/plugins/de.cau.cs.kieler.kexpressions.ide/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.kexpressions.ide/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: KExpressions IDE Bundle-SymbolicName: de.cau.cs.kieler.kexpressions.ide -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Automatic-Module-Name: de.cau.cs.kieler.kexpressions.ide Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: org.antlr.runtime;bundle-version="[3.2.0,3.2.1)", diff --git a/plugins/de.cau.cs.kieler.kexpressions.ide/pom.xml b/plugins/de.cau.cs.kieler.kexpressions.ide/pom.xml index 6863d2706d..326c4b0812 100644 --- a/plugins/de.cau.cs.kieler.kexpressions.ide/pom.xml +++ b/plugins/de.cau.cs.kieler.kexpressions.ide/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.kexpressions.ide - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.kexpressions.ui/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.kexpressions.ui/META-INF/MANIFEST.MF index a4e4ef0b6b..d2dcec53ee 100644 --- a/plugins/de.cau.cs.kieler.kexpressions.ui/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.kexpressions.ui/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: KIELER Expressions UI Infrastructure Bundle-Vendor: Kiel University -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-SymbolicName: de.cau.cs.kieler.kexpressions.ui;singleton:=true Bundle-ActivationPolicy: lazy Eclipse-UI: True diff --git a/plugins/de.cau.cs.kieler.kexpressions.ui/pom.xml b/plugins/de.cau.cs.kieler.kexpressions.ui/pom.xml index b6cad019ce..4171a0ccfa 100644 --- a/plugins/de.cau.cs.kieler.kexpressions.ui/pom.xml +++ b/plugins/de.cau.cs.kieler.kexpressions.ui/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.kexpressions.ui - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.kexpressions/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.kexpressions/META-INF/MANIFEST.MF index c84bf03e82..cf77feecd6 100644 --- a/plugins/de.cau.cs.kieler.kexpressions/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.kexpressions/META-INF/MANIFEST.MF @@ -3,7 +3,7 @@ Bundle-ManifestVersion: 2 Bundle-Name: %pluginName Bundle-SymbolicName: de.cau.cs.kieler.kexpressions;singleton:=true Automatic-Module-Name: de.cau.cs.kieler.kexpressions -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-ClassPath: . Bundle-Vendor: %providerName Bundle-Localization: plugin diff --git a/plugins/de.cau.cs.kieler.kexpressions/pom.xml b/plugins/de.cau.cs.kieler.kexpressions/pom.xml index cda2b5cdab..e768515b02 100644 --- a/plugins/de.cau.cs.kieler.kexpressions/pom.xml +++ b/plugins/de.cau.cs.kieler.kexpressions/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.kexpressions - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.kicool.ide/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.kicool.ide/META-INF/MANIFEST.MF index c826f80c21..b5b5bd4e0b 100644 --- a/plugins/de.cau.cs.kieler.kicool.ide/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.kicool.ide/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: KiCool IDE Bundle-SymbolicName: de.cau.cs.kieler.kicool.ide -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-Vendor: Kiel University Automatic-Module-Name: de.cau.cs.kieler.kicool.ide Bundle-RequiredExecutionEnvironment: JavaSE-11 @@ -18,9 +18,9 @@ Require-Bundle: org.antlr.runtime;bundle-version="[3.2.0,3.2.1)", org.apache.log4j;bundle-version="1.2.15", de.cau.cs.kieler.klighd, de.cau.cs.kieler.klighd.ide, - de.cau.cs.kieler.klighd.standalone, org.eclipse.elk.alg.common;bundle-version="0.7.0", - org.eclipse.elk.core;bundle-version="0.7.0" + org.eclipse.elk.core;bundle-version="0.7.0", + de.cau.cs.kieler.klighd.setup Export-Package: de.cau.cs.kieler.kicool.ide, de.cau.cs.kieler.kicool.ide.contentassist.antlr, de.cau.cs.kieler.kicool.ide.contentassist.antlr.internal, diff --git a/plugins/de.cau.cs.kieler.kicool.ide/pom.xml b/plugins/de.cau.cs.kieler.kicool.ide/pom.xml index ff38a03fe7..7290c88772 100644 --- a/plugins/de.cau.cs.kieler.kicool.ide/pom.xml +++ b/plugins/de.cau.cs.kieler.kicool.ide/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.kicool.ide - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.kicool.ide/src/de/cau/cs/kieler/kicool/ide/cli/KielerCompilerDiagramCLI.xtend b/plugins/de.cau.cs.kieler.kicool.ide/src/de/cau/cs/kieler/kicool/ide/cli/KielerCompilerDiagramCLI.xtend index 1db16bd6ff..645245503d 100644 --- a/plugins/de.cau.cs.kieler.kicool.ide/src/de/cau/cs/kieler/kicool/ide/cli/KielerCompilerDiagramCLI.xtend +++ b/plugins/de.cau.cs.kieler.kicool.ide/src/de/cau/cs/kieler/kicool/ide/cli/KielerCompilerDiagramCLI.xtend @@ -22,7 +22,7 @@ import de.cau.cs.kieler.klighd.KlighdDataManager import de.cau.cs.kieler.klighd.LightDiagramServices import de.cau.cs.kieler.klighd.SynthesisOption import de.cau.cs.kieler.klighd.internal.ISynthesis -import de.cau.cs.kieler.klighd.standalone.KlighdStandaloneSetup +import de.cau.cs.kieler.klighd.setup.KlighdStandaloneSetup import de.cau.cs.kieler.klighd.util.KlighdSynthesisProperties import java.io.File import java.util.Map diff --git a/plugins/de.cau.cs.kieler.kicool.ui/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.kicool.ui/META-INF/MANIFEST.MF index 7c435bf5ef..f731613230 100644 --- a/plugins/de.cau.cs.kieler.kicool.ui/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.kicool.ui/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: KiCool Ui Bundle-SymbolicName: de.cau.cs.kieler.kicool.ui;singleton:=true -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-Activator: de.cau.cs.kieler.kicool.ui.internal.KiCoolActivator Eclipse-UI: True Require-Bundle: org.eclipse.ui, diff --git a/plugins/de.cau.cs.kieler.kicool.ui/pom.xml b/plugins/de.cau.cs.kieler.kicool.ui/pom.xml index d1311ca150..36c191fbae 100644 --- a/plugins/de.cau.cs.kieler.kicool.ui/pom.xml +++ b/plugins/de.cau.cs.kieler.kicool.ui/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.kicool.ui - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.kicool/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.kicool/META-INF/MANIFEST.MF index ed9174b4f6..dec9716ec9 100644 --- a/plugins/de.cau.cs.kieler.kicool/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.kicool/META-INF/MANIFEST.MF @@ -3,7 +3,7 @@ Bundle-ManifestVersion: 2 Bundle-Name: %pluginName Bundle-SymbolicName: de.cau.cs.kieler.kicool;singleton:=true Automatic-Module-Name: de.cau.cs.kieler.kicool -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-ClassPath: . Bundle-Vendor: %providerName Bundle-Localization: plugin diff --git a/plugins/de.cau.cs.kieler.kicool/pom.xml b/plugins/de.cau.cs.kieler.kicool/pom.xml index abcd32259f..e68973cbad 100644 --- a/plugins/de.cau.cs.kieler.kicool/pom.xml +++ b/plugins/de.cau.cs.kieler.kicool/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.kicool - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.kivis.ide/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.kivis.ide/META-INF/MANIFEST.MF index ec809bab10..164f9fe1c9 100644 --- a/plugins/de.cau.cs.kieler.kivis.ide/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.kivis.ide/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: de.cau.cs.kieler.kivis.ide Bundle-Vendor: Kiel University -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-SymbolicName: de.cau.cs.kieler.kivis.ide;singleton:=true Bundle-ActivationPolicy: lazy Require-Bundle: org.eclipse.core.runtime, diff --git a/plugins/de.cau.cs.kieler.kivis.ide/pom.xml b/plugins/de.cau.cs.kieler.kivis.ide/pom.xml index ec4035a222..6929666e38 100644 --- a/plugins/de.cau.cs.kieler.kivis.ide/pom.xml +++ b/plugins/de.cau.cs.kieler.kivis.ide/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.kivis.ide - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.kivis.ui/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.kivis.ui/META-INF/MANIFEST.MF index 90b0581c3e..3e54796922 100644 --- a/plugins/de.cau.cs.kieler.kivis.ui/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.kivis.ui/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: KIELER Simulation Visualization Bundle-SymbolicName: de.cau.cs.kieler.kivis.ui;singleton:=true -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-Vendor: Kiel University Bundle-RequiredExecutionEnvironment: JavaSE-11 Bundle-ActivationPolicy: lazy diff --git a/plugins/de.cau.cs.kieler.kivis.ui/pom.xml b/plugins/de.cau.cs.kieler.kivis.ui/pom.xml index 3b85caffb9..7d8be61c61 100644 --- a/plugins/de.cau.cs.kieler.kivis.ui/pom.xml +++ b/plugins/de.cau.cs.kieler.kivis.ui/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.kivis.ui - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.kivis/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.kivis/META-INF/MANIFEST.MF index dc2f810bc3..c04eac5d56 100644 --- a/plugins/de.cau.cs.kieler.kivis/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.kivis/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: de.cau.cs.kieler.kivis Bundle-Vendor: Kiel University -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-SymbolicName: de.cau.cs.kieler.kivis;singleton:=true Bundle-ActivationPolicy: lazy Require-Bundle: org.eclipse.core.runtime, diff --git a/plugins/de.cau.cs.kieler.kivis/pom.xml b/plugins/de.cau.cs.kieler.kivis/pom.xml index 17580256f0..93bf475a44 100644 --- a/plugins/de.cau.cs.kieler.kivis/pom.xml +++ b/plugins/de.cau.cs.kieler.kivis/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.kivis - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.lustre.compiler/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.lustre.compiler/META-INF/MANIFEST.MF index eac08454c5..a4d8cac1a9 100644 --- a/plugins/de.cau.cs.kieler.lustre.compiler/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.lustre.compiler/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: External Lustre Compilers Bundle-SymbolicName: de.cau.cs.kieler.lustre.compiler;singleton:=true -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: org.eclipse.core.runtime;bundle-version="3.12.0", org.eclipse.xtext.xbase.lib, diff --git a/plugins/de.cau.cs.kieler.lustre.compiler/pom.xml b/plugins/de.cau.cs.kieler.lustre.compiler/pom.xml index 8d2f755ee4..b90b20e3bd 100644 --- a/plugins/de.cau.cs.kieler.lustre.compiler/pom.xml +++ b/plugins/de.cau.cs.kieler.lustre.compiler/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.lustre.compiler - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.lustre.ide/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.lustre.ide/META-INF/MANIFEST.MF index 056dca59d1..bc7da6f4ad 100644 --- a/plugins/de.cau.cs.kieler.lustre.ide/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.lustre.ide/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Lustre IDE Bundle-SymbolicName: de.cau.cs.kieler.lustre.ide -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-Vendor: Kiel University Automatic-Module-Name: de.cau.cs.kieler.lustre.ide Bundle-RequiredExecutionEnvironment: JavaSE-11 diff --git a/plugins/de.cau.cs.kieler.lustre.ide/pom.xml b/plugins/de.cau.cs.kieler.lustre.ide/pom.xml index b05d8c6420..2befe7f825 100644 --- a/plugins/de.cau.cs.kieler.lustre.ide/pom.xml +++ b/plugins/de.cau.cs.kieler.lustre.ide/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.lustre.ide - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.lustre.ui/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.lustre.ui/META-INF/MANIFEST.MF index 07b610df50..3cf6d60c15 100755 --- a/plugins/de.cau.cs.kieler.lustre.ui/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.lustre.ui/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Lustre UI Bundle-Vendor: Kiel University -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-SymbolicName: de.cau.cs.kieler.lustre.ui; singleton:=true Eclipse-UI: True Require-Bundle: de.cau.cs.kieler.lustre, diff --git a/plugins/de.cau.cs.kieler.lustre.ui/pom.xml b/plugins/de.cau.cs.kieler.lustre.ui/pom.xml index 321ffdefe2..bd8b8bb2fe 100644 --- a/plugins/de.cau.cs.kieler.lustre.ui/pom.xml +++ b/plugins/de.cau.cs.kieler.lustre.ui/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.lustre.ui - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.lustre/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.lustre/META-INF/MANIFEST.MF index f3e60b86be..1a7d070b71 100644 --- a/plugins/de.cau.cs.kieler.lustre/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.lustre/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Lustre Bundle-Vendor: Kiel University -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-SymbolicName: de.cau.cs.kieler.lustre;singleton:=true Bundle-ActivationPolicy: lazy Require-Bundle: org.eclipse.xtext.xtext.generator;bundle-version="2.27.0", diff --git a/plugins/de.cau.cs.kieler.lustre/pom.xml b/plugins/de.cau.cs.kieler.lustre/pom.xml index e6e46aaed7..55cacb9c91 100644 --- a/plugins/de.cau.cs.kieler.lustre/pom.xml +++ b/plugins/de.cau.cs.kieler.lustre/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.lustre - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.overlord/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.overlord/META-INF/MANIFEST.MF index c274bf7e2a..c35faffe50 100644 --- a/plugins/de.cau.cs.kieler.overlord/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.overlord/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Overlord Bundle-SymbolicName: de.cau.cs.kieler.overlord -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-Vendor: Kiel University Automatic-Module-Name: de.cau.cs.kieler.overlord Bundle-RequiredExecutionEnvironment: JavaSE-11 diff --git a/plugins/de.cau.cs.kieler.sccharts.ide/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.sccharts.ide/META-INF/MANIFEST.MF index bb71375fbd..fc7cef17cc 100644 --- a/plugins/de.cau.cs.kieler.sccharts.ide/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.sccharts.ide/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: SCCharts IDE Bundle-SymbolicName: de.cau.cs.kieler.sccharts.ide -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Automatic-Module-Name: de.cau.cs.kieler.sccharts.ide Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: org.antlr.runtime;bundle-version="[3.2.0,3.2.1)", diff --git a/plugins/de.cau.cs.kieler.sccharts.ide/pom.xml b/plugins/de.cau.cs.kieler.sccharts.ide/pom.xml index fb786ead06..5431fb402a 100644 --- a/plugins/de.cau.cs.kieler.sccharts.ide/pom.xml +++ b/plugins/de.cau.cs.kieler.sccharts.ide/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.sccharts.ide - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.sccharts.legacy.ui/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.sccharts.legacy.ui/META-INF/MANIFEST.MF index 8101edcc52..77a3b53097 100644 --- a/plugins/de.cau.cs.kieler.sccharts.legacy.ui/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.sccharts.legacy.ui/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: UI for Legacy SCCharts Bundle-SymbolicName: de.cau.cs.kieler.sccharts.legacy.ui;singleton:=true -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-Activator: de.cau.cs.kieler.sccharts.legacy.text.ui.internal.SctActivator Bundle-Vendor: Kiel University Eclipse-UI: True diff --git a/plugins/de.cau.cs.kieler.sccharts.legacy.ui/pom.xml b/plugins/de.cau.cs.kieler.sccharts.legacy.ui/pom.xml index 78678ca9f9..ab390598d5 100644 --- a/plugins/de.cau.cs.kieler.sccharts.legacy.ui/pom.xml +++ b/plugins/de.cau.cs.kieler.sccharts.legacy.ui/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.sccharts.legacy.ui - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.sccharts.legacy/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.sccharts.legacy/META-INF/MANIFEST.MF index 6888ec9fc4..5df7035842 100644 --- a/plugins/de.cau.cs.kieler.sccharts.legacy/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.sccharts.legacy/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Legacy SCCharts Bundle-SymbolicName: de.cau.cs.kieler.sccharts.legacy;singleton:=true -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-ClassPath: . Bundle-Vendor: Kiel University Bundle-Localization: plugin diff --git a/plugins/de.cau.cs.kieler.sccharts.legacy/pom.xml b/plugins/de.cau.cs.kieler.sccharts.legacy/pom.xml index 00eb8ecf99..7b2d8527d8 100644 --- a/plugins/de.cau.cs.kieler.sccharts.legacy/pom.xml +++ b/plugins/de.cau.cs.kieler.sccharts.legacy/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.sccharts.legacy - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.sccharts.ui/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.sccharts.ui/META-INF/MANIFEST.MF index dc6759dd03..7b5e00c06a 100644 --- a/plugins/de.cau.cs.kieler.sccharts.ui/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.sccharts.ui/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: SCCharts UI Bundle-SymbolicName: de.cau.cs.kieler.sccharts.ui;singleton:=true -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-RequiredExecutionEnvironment: JavaSE-11 Eclipse-UI: True Require-Bundle: de.cau.cs.kieler.klighd, diff --git a/plugins/de.cau.cs.kieler.sccharts.ui/pom.xml b/plugins/de.cau.cs.kieler.sccharts.ui/pom.xml index 7e7926b0c7..a766553a51 100644 --- a/plugins/de.cau.cs.kieler.sccharts.ui/pom.xml +++ b/plugins/de.cau.cs.kieler.sccharts.ui/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.sccharts.ui - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.sccharts/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.sccharts/META-INF/MANIFEST.MF index c1301997b7..e1891e87ef 100644 --- a/plugins/de.cau.cs.kieler.sccharts/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.sccharts/META-INF/MANIFEST.MF @@ -3,7 +3,7 @@ Bundle-ManifestVersion: 2 Bundle-Name: KIELER SCCharts Bundle-SymbolicName: de.cau.cs.kieler.sccharts;singleton:=true Automatic-Module-Name: de.cau.cs.kieler.sccharts -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-ClassPath: . Bundle-Vendor: Kiel University Bundle-Localization: plugin diff --git a/plugins/de.cau.cs.kieler.sccharts/pom.xml b/plugins/de.cau.cs.kieler.sccharts/pom.xml index a8100c0482..4c40f643c3 100644 --- a/plugins/de.cau.cs.kieler.sccharts/pom.xml +++ b/plugins/de.cau.cs.kieler.sccharts/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.sccharts - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.scg.klighd/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.scg.klighd/META-INF/MANIFEST.MF index 25228c45bc..77faaf7713 100644 --- a/plugins/de.cau.cs.kieler.scg.klighd/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.scg.klighd/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: KIELER SC Graph KlighD Binding Bundle-SymbolicName: de.cau.cs.kieler.scg.klighd;singleton:=true -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-Vendor: Kiel University Eclipse-UI: True Require-Bundle: org.eclipse.elk.core;bundle-version="0.7.1", diff --git a/plugins/de.cau.cs.kieler.scg.klighd/pom.xml b/plugins/de.cau.cs.kieler.scg.klighd/pom.xml index c9af56574d..9a3cba1862 100644 --- a/plugins/de.cau.cs.kieler.scg.klighd/pom.xml +++ b/plugins/de.cau.cs.kieler.scg.klighd/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.scg.klighd - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.scg/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.scg/META-INF/MANIFEST.MF index ceddf27c75..9c21ee5d7b 100644 --- a/plugins/de.cau.cs.kieler.scg/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.scg/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: KIELER SC Graph Bundle-SymbolicName: de.cau.cs.kieler.scg;singleton:=true -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-ClassPath: . Bundle-Vendor: Kiel University Bundle-Localization: plugin diff --git a/plugins/de.cau.cs.kieler.scg/pom.xml b/plugins/de.cau.cs.kieler.scg/pom.xml index 59ce80ecfb..5e667704e9 100644 --- a/plugins/de.cau.cs.kieler.scg/pom.xml +++ b/plugins/de.cau.cs.kieler.scg/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.scg - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.scl.ide/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.scl.ide/META-INF/MANIFEST.MF index a39ba9fd9f..25d6494757 100644 --- a/plugins/de.cau.cs.kieler.scl.ide/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.scl.ide/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: SCL IDE Bundle-SymbolicName: de.cau.cs.kieler.scl.ide -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Automatic-Module-Name: de.cau.cs.kieler.scl.ide Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: org.antlr.runtime;bundle-version="[3.2.0,3.2.1)", diff --git a/plugins/de.cau.cs.kieler.scl.ide/pom.xml b/plugins/de.cau.cs.kieler.scl.ide/pom.xml index d5dfffadba..5baaa33134 100644 --- a/plugins/de.cau.cs.kieler.scl.ide/pom.xml +++ b/plugins/de.cau.cs.kieler.scl.ide/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.scl.ide - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.scl.ui/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.scl.ui/META-INF/MANIFEST.MF index 60ae9bfb78..6d217227a0 100644 --- a/plugins/de.cau.cs.kieler.scl.ui/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.scl.ui/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: KIELER SCL Editor Bundle-Vendor: Kiel University -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-SymbolicName: de.cau.cs.kieler.scl.ui;singleton:=true Bundle-ActivationPolicy: lazy Eclipse-UI: True diff --git a/plugins/de.cau.cs.kieler.scl.ui/pom.xml b/plugins/de.cau.cs.kieler.scl.ui/pom.xml index 5c054be40b..2c41a6f69e 100644 --- a/plugins/de.cau.cs.kieler.scl.ui/pom.xml +++ b/plugins/de.cau.cs.kieler.scl.ui/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.scl.ui - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.scl/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.scl/META-INF/MANIFEST.MF index c7e9024266..cb9f5fbcb5 100644 --- a/plugins/de.cau.cs.kieler.scl/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.scl/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: KIELER SCL Bundle-Vendor: Kiel University -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-SymbolicName: de.cau.cs.kieler.scl;singleton:=true Bundle-ActivationPolicy: lazy Bundle-RequiredExecutionEnvironment: JavaSE-11 diff --git a/plugins/de.cau.cs.kieler.scl/pom.xml b/plugins/de.cau.cs.kieler.scl/pom.xml index c590a302d3..10a80f7896 100644 --- a/plugins/de.cau.cs.kieler.scl/pom.xml +++ b/plugins/de.cau.cs.kieler.scl/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.scl - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.simulation.ide/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.simulation.ide/META-INF/MANIFEST.MF index 4b255cf2e5..c5f707cf0f 100644 --- a/plugins/de.cau.cs.kieler.simulation.ide/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.simulation.ide/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: KIELER Simulation IDE Bundle-Vendor: Kiel University -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-SymbolicName: de.cau.cs.kieler.simulation.ide;singleton:=true Bundle-ActivationPolicy: lazy Require-Bundle: org.eclipse.xtend.lib, diff --git a/plugins/de.cau.cs.kieler.simulation.ide/pom.xml b/plugins/de.cau.cs.kieler.simulation.ide/pom.xml index 72fb7d3cfc..d532f3cc95 100644 --- a/plugins/de.cau.cs.kieler.simulation.ide/pom.xml +++ b/plugins/de.cau.cs.kieler.simulation.ide/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.simulation.ide - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.simulation.ui/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.simulation.ui/META-INF/MANIFEST.MF index 8991713513..996b0b833e 100644 --- a/plugins/de.cau.cs.kieler.simulation.ui/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.simulation.ui/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: KIELER Simulation UI Bundle-SymbolicName: de.cau.cs.kieler.simulation.ui;singleton:=true -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-Activator: de.cau.cs.kieler.simulation.ui.SimulationUIPlugin Bundle-Vendor: Kiel University Eclipse-UI: True diff --git a/plugins/de.cau.cs.kieler.simulation.ui/pom.xml b/plugins/de.cau.cs.kieler.simulation.ui/pom.xml index fe7f2db191..7309d43763 100644 --- a/plugins/de.cau.cs.kieler.simulation.ui/pom.xml +++ b/plugins/de.cau.cs.kieler.simulation.ui/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.simulation.ui - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.simulation/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.simulation/META-INF/MANIFEST.MF index 0ab79b5087..e1f9943ca1 100644 --- a/plugins/de.cau.cs.kieler.simulation/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.simulation/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: KIELER Simulation Bundle-SymbolicName: de.cau.cs.kieler.simulation;singleton:=true -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-Activator: de.cau.cs.kieler.simulation.SimulationPlugin Bundle-Vendor: Kiel University Require-Bundle: org.eclipse.core.runtime, diff --git a/plugins/de.cau.cs.kieler.simulation/pom.xml b/plugins/de.cau.cs.kieler.simulation/pom.xml index dab8b49d0c..ddc434a37b 100644 --- a/plugins/de.cau.cs.kieler.simulation/pom.xml +++ b/plugins/de.cau.cs.kieler.simulation/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.simulation - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.verification.ui/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.verification.ui/META-INF/MANIFEST.MF index 9832a8f33b..568f64362d 100644 --- a/plugins/de.cau.cs.kieler.verification.ui/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.verification.ui/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: KIELER Verification Ui Bundle-SymbolicName: de.cau.cs.kieler.verification.ui;singleton:=true -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-Activator: de.cau.cs.kieler.verification.ui.VerificationUiPlugin Bundle-Vendor: Kiel University Require-Bundle: org.eclipse.ui, diff --git a/plugins/de.cau.cs.kieler.verification.ui/pom.xml b/plugins/de.cau.cs.kieler.verification.ui/pom.xml index 0ae6b4c2f8..30adb14d0f 100644 --- a/plugins/de.cau.cs.kieler.verification.ui/pom.xml +++ b/plugins/de.cau.cs.kieler.verification.ui/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.verification.ui - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/plugins/de.cau.cs.kieler.verification/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.verification/META-INF/MANIFEST.MF index 5fd69dc8d4..484c4fac24 100644 --- a/plugins/de.cau.cs.kieler.verification/META-INF/MANIFEST.MF +++ b/plugins/de.cau.cs.kieler.verification/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: KIELER Verification Bundle-SymbolicName: de.cau.cs.kieler.verification;singleton:=true -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-Activator: de.cau.cs.kieler.verification.VerificationPlugin Bundle-Vendor: Kiel University Bundle-RequiredExecutionEnvironment: JavaSE-11 diff --git a/plugins/de.cau.cs.kieler.verification/pom.xml b/plugins/de.cau.cs.kieler.verification/pom.xml index 901d904611..7fb44bd58d 100644 --- a/plugins/de.cau.cs.kieler.verification/pom.xml +++ b/plugins/de.cau.cs.kieler.verification/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.verification - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/test/de.cau.cs.kieler.cli.test/META-INF/MANIFEST.MF b/test/de.cau.cs.kieler.cli.test/META-INF/MANIFEST.MF index 2b33ab7292..0970e76f5e 100644 --- a/test/de.cau.cs.kieler.cli.test/META-INF/MANIFEST.MF +++ b/test/de.cau.cs.kieler.cli.test/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: CLI Tests Bundle-SymbolicName: de.cau.cs.kieler.cli.test -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-Vendor: Kiel University Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: org.junit, diff --git a/test/de.cau.cs.kieler.cli.test/pom.xml b/test/de.cau.cs.kieler.cli.test/pom.xml index cdc59e3213..311878a9ce 100644 --- a/test/de.cau.cs.kieler.cli.test/pom.xml +++ b/test/de.cau.cs.kieler.cli.test/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.cli.test - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-test-plugin src diff --git a/test/de.cau.cs.kieler.esterel.test/META-INF/MANIFEST.MF b/test/de.cau.cs.kieler.esterel.test/META-INF/MANIFEST.MF index 02c9718624..ce33c6cb27 100644 --- a/test/de.cau.cs.kieler.esterel.test/META-INF/MANIFEST.MF +++ b/test/de.cau.cs.kieler.esterel.test/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Esterel Tests Bundle-SymbolicName: de.cau.cs.kieler.esterel.test;singleton:=true -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-Vendor: Kiel University Bundle-RequiredExecutionEnvironment: JavaSE-11 Bundle-Activator: de.cau.cs.kieler.esterel.test.EsterelTestActivator diff --git a/test/de.cau.cs.kieler.esterel.test/pom.xml b/test/de.cau.cs.kieler.esterel.test/pom.xml index b1dc5d5437..48690d61fd 100644 --- a/test/de.cau.cs.kieler.esterel.test/pom.xml +++ b/test/de.cau.cs.kieler.esterel.test/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.esterel.test - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-test-plugin src diff --git a/test/de.cau.cs.kieler.kexpressions.text.test/META-INF/MANIFEST.MF b/test/de.cau.cs.kieler.kexpressions.text.test/META-INF/MANIFEST.MF index e925a0fdb0..0b62e59414 100644 --- a/test/de.cau.cs.kieler.kexpressions.text.test/META-INF/MANIFEST.MF +++ b/test/de.cau.cs.kieler.kexpressions.text.test/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: KExpressions KEXT Test Bundle-SymbolicName: de.cau.cs.kieler.kexpressions.text.test -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-Vendor: Kiel University Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: com.google.inject;bundle-version="3.0.0", diff --git a/test/de.cau.cs.kieler.kexpressions.text.test/pom.xml b/test/de.cau.cs.kieler.kexpressions.text.test/pom.xml index 4ac8cbc9a2..c84255a0f4 100644 --- a/test/de.cau.cs.kieler.kexpressions.text.test/pom.xml +++ b/test/de.cau.cs.kieler.kexpressions.text.test/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.kexpressions.text.test - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-test-plugin src diff --git a/test/de.cau.cs.kieler.lustre.test/META-INF/MANIFEST.MF b/test/de.cau.cs.kieler.lustre.test/META-INF/MANIFEST.MF index e3a5a41be6..7327ee5cdf 100644 --- a/test/de.cau.cs.kieler.lustre.test/META-INF/MANIFEST.MF +++ b/test/de.cau.cs.kieler.lustre.test/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Lustre Tests Bundle-SymbolicName: de.cau.cs.kieler.lustre.test;singleton:=true -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-Vendor: Kiel University Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: org.junit;bundle-version="4.12.0", diff --git a/test/de.cau.cs.kieler.lustre.test/pom.xml b/test/de.cau.cs.kieler.lustre.test/pom.xml index 91eb875fb3..d62ce83f03 100644 --- a/test/de.cau.cs.kieler.lustre.test/pom.xml +++ b/test/de.cau.cs.kieler.lustre.test/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.lustre.test - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-test-plugin src diff --git a/test/de.cau.cs.kieler.sccharts.test.simulation/META-INF/MANIFEST.MF b/test/de.cau.cs.kieler.sccharts.test.simulation/META-INF/MANIFEST.MF index c03c69974f..0a3684e4f9 100644 --- a/test/de.cau.cs.kieler.sccharts.test.simulation/META-INF/MANIFEST.MF +++ b/test/de.cau.cs.kieler.sccharts.test.simulation/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: KIELER SCCharts Simulation Tests Bundle-SymbolicName: de.cau.cs.kieler.sccharts.test.simulation -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-Activator: de.cau.cs.kieler.sccharts.test.simulation.SCChartsSimulationTestActivator Bundle-Vendor: Kiel University Require-Bundle: org.eclipse.ui, diff --git a/test/de.cau.cs.kieler.sccharts.test.simulation/pom.xml b/test/de.cau.cs.kieler.sccharts.test.simulation/pom.xml index d7bbdef0d7..5f0122e9e9 100644 --- a/test/de.cau.cs.kieler.sccharts.test.simulation/pom.xml +++ b/test/de.cau.cs.kieler.sccharts.test.simulation/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.sccharts.test.simulation - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-test-plugin src diff --git a/test/de.cau.cs.kieler.sccharts.test/META-INF/MANIFEST.MF b/test/de.cau.cs.kieler.sccharts.test/META-INF/MANIFEST.MF index 9a3d84f882..795471563a 100644 --- a/test/de.cau.cs.kieler.sccharts.test/META-INF/MANIFEST.MF +++ b/test/de.cau.cs.kieler.sccharts.test/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: KIELER SCCharts Transformation Tests Bundle-SymbolicName: de.cau.cs.kieler.sccharts.test -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-Activator: de.cau.cs.kieler.sccharts.test.SCChartsTestActivator Bundle-Vendor: Kiel University Require-Bundle: org.eclipse.ui, diff --git a/test/de.cau.cs.kieler.sccharts.test/pom.xml b/test/de.cau.cs.kieler.sccharts.test/pom.xml index 46383800b5..fc24c35c0e 100644 --- a/test/de.cau.cs.kieler.sccharts.test/pom.xml +++ b/test/de.cau.cs.kieler.sccharts.test/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.sccharts.test - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-test-plugin src diff --git a/test/de.cau.cs.kieler.test.common/META-INF/MANIFEST.MF b/test/de.cau.cs.kieler.test.common/META-INF/MANIFEST.MF index c245a59496..a06ae5e80f 100644 --- a/test/de.cau.cs.kieler.test.common/META-INF/MANIFEST.MF +++ b/test/de.cau.cs.kieler.test.common/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Common Semantics Test Components Bundle-SymbolicName: de.cau.cs.kieler.test.common -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-Vendor: Kiel University Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: org.junit, diff --git a/test/de.cau.cs.kieler.test.common/pom.xml b/test/de.cau.cs.kieler.test.common/pom.xml index c2a2a8b4dc..868f3da6d0 100644 --- a/test/de.cau.cs.kieler.test.common/pom.xml +++ b/test/de.cau.cs.kieler.test.common/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.test.common - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-plugin src diff --git a/test/de.cau.cs.kieler.verification.test/META-INF/MANIFEST.MF b/test/de.cau.cs.kieler.verification.test/META-INF/MANIFEST.MF index e6a65b0109..0e2114a6d8 100644 --- a/test/de.cau.cs.kieler.verification.test/META-INF/MANIFEST.MF +++ b/test/de.cau.cs.kieler.verification.test/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: KIELER SCCharts Transformation Tests Bundle-SymbolicName: de.cau.cs.kieler.verification.test -Bundle-Version: 1.4.0.qualifier +Bundle-Version: 1.5.0.qualifier Bundle-Vendor: Kiel University Require-Bundle: org.eclipse.core.runtime, org.eclipse.core.resources, diff --git a/test/de.cau.cs.kieler.verification.test/pom.xml b/test/de.cau.cs.kieler.verification.test/pom.xml index f7cb79f9e3..824ae07dd5 100644 --- a/test/de.cau.cs.kieler.verification.test/pom.xml +++ b/test/de.cau.cs.kieler.verification.test/pom.xml @@ -9,7 +9,7 @@ de.cau.cs.kieler de.cau.cs.kieler.verification.test - 1.4.0-SNAPSHOT + 1.5.0-SNAPSHOT eclipse-test-plugin src