From e14ce657bdac6282dfc2027bc55084e7c6ee6610 Mon Sep 17 00:00:00 2001 From: Niklas Rentz Date: Mon, 26 Feb 2024 17:33:26 +0100 Subject: [PATCH 01/15] ls: update launch configs as ls no longer requires incremental update strategy --- .../LanguageServer with KLighD and ELK in Workspace.launch | 2 -- .../LanguageServer with KLighD in Workspace.launch | 2 -- 2 files changed, 4 deletions(-) diff --git a/language-server/de.cau.cs.kieler.language.server/run-configurations/LanguageServer with KLighD and ELK in Workspace.launch b/language-server/de.cau.cs.kieler.language.server/run-configurations/LanguageServer with KLighD and ELK in Workspace.launch index 474d322f98..22915da2b3 100644 --- a/language-server/de.cau.cs.kieler.language.server/run-configurations/LanguageServer with KLighD and ELK in Workspace.launch +++ b/language-server/de.cau.cs.kieler.language.server/run-configurations/LanguageServer with KLighD and ELK in Workspace.launch @@ -37,7 +37,6 @@ - @@ -83,7 +82,6 @@ - diff --git a/language-server/de.cau.cs.kieler.language.server/run-configurations/LanguageServer with KLighD in Workspace.launch b/language-server/de.cau.cs.kieler.language.server/run-configurations/LanguageServer with KLighD in Workspace.launch index 24573b3730..5048586e54 100644 --- a/language-server/de.cau.cs.kieler.language.server/run-configurations/LanguageServer with KLighD in Workspace.launch +++ b/language-server/de.cau.cs.kieler.language.server/run-configurations/LanguageServer with KLighD in Workspace.launch @@ -37,7 +37,6 @@ - @@ -83,7 +82,6 @@ - From 0dda76789c5caf51593479f326f097aaa2f06223 Mon Sep 17 00:00:00 2001 From: Niklas Rentz Date: Fri, 1 Mar 2024 15:26:40 +0100 Subject: [PATCH 02/15] cleaner jars without Xtext and Xtend source and mapping files --- plugins/de.cau.cs.kieler.annotations.ide/build.properties | 2 ++ plugins/de.cau.cs.kieler.annotations.ui/build.properties | 2 ++ plugins/de.cau.cs.kieler.annotations/build.properties | 4 ++++ plugins/de.cau.cs.kieler.c.sccharts/build.properties | 2 ++ plugins/de.cau.cs.kieler.core.product/build.properties | 2 ++ plugins/de.cau.cs.kieler.core/build.properties | 2 ++ plugins/de.cau.cs.kieler.esterel.compiler/build.properties | 2 ++ plugins/de.cau.cs.kieler.esterel.ide/build.properties | 2 ++ plugins/de.cau.cs.kieler.esterel.ui/build.properties | 2 ++ plugins/de.cau.cs.kieler.esterel/build.properties | 2 ++ plugins/de.cau.cs.kieler.kexpressions.ide/build.properties | 2 ++ plugins/de.cau.cs.kieler.kexpressions.ui/build.properties | 3 ++- plugins/de.cau.cs.kieler.kexpressions/build.properties | 4 ++++ plugins/de.cau.cs.kieler.kicool.ide/build.properties | 2 ++ plugins/de.cau.cs.kieler.kicool.ui/build.properties | 2 ++ plugins/de.cau.cs.kieler.kicool/build.properties | 4 ++++ plugins/de.cau.cs.kieler.kivis.ide/build.properties | 2 ++ plugins/de.cau.cs.kieler.kivis.ui/build.properties | 2 ++ plugins/de.cau.cs.kieler.kivis/build.properties | 4 ++++ plugins/de.cau.cs.kieler.lustre.compiler/build.properties | 2 ++ plugins/de.cau.cs.kieler.lustre.ide/build.properties | 2 ++ plugins/de.cau.cs.kieler.lustre.ui/build.properties | 3 ++- plugins/de.cau.cs.kieler.lustre/build.properties | 6 ++++-- plugins/de.cau.cs.kieler.sccharts.ide/build.properties | 2 ++ .../de.cau.cs.kieler.sccharts.legacy.ui/build.properties | 2 ++ plugins/de.cau.cs.kieler.sccharts.legacy/build.properties | 2 ++ plugins/de.cau.cs.kieler.sccharts.ui/build.properties | 2 ++ plugins/de.cau.cs.kieler.sccharts/build.properties | 4 ++++ plugins/de.cau.cs.kieler.scg.klighd/build.properties | 2 ++ plugins/de.cau.cs.kieler.scg/build.properties | 2 ++ plugins/de.cau.cs.kieler.scl.ide/build.properties | 2 ++ plugins/de.cau.cs.kieler.scl.ui/build.properties | 2 ++ plugins/de.cau.cs.kieler.scl/build.properties | 5 ++++- plugins/de.cau.cs.kieler.simulation.ide/build.properties | 2 ++ plugins/de.cau.cs.kieler.simulation.ui/build.properties | 2 ++ plugins/de.cau.cs.kieler.simulation/build.properties | 2 ++ plugins/de.cau.cs.kieler.verification.ui/build.properties | 2 ++ plugins/de.cau.cs.kieler.verification/build.properties | 2 ++ 38 files changed, 90 insertions(+), 5 deletions(-) diff --git a/plugins/de.cau.cs.kieler.annotations.ide/build.properties b/plugins/de.cau.cs.kieler.annotations.ide/build.properties index d17f6b2413..bb63b41a73 100644 --- a/plugins/de.cau.cs.kieler.annotations.ide/build.properties +++ b/plugins/de.cau.cs.kieler.annotations.ide/build.properties @@ -5,4 +5,6 @@ output.. = bin/ bin.includes = META-INF/,\ .,\ about.html +bin.excludes = **/*.xtend,\ + **/*.java._trace src.includes = about.html diff --git a/plugins/de.cau.cs.kieler.annotations.ui/build.properties b/plugins/de.cau.cs.kieler.annotations.ui/build.properties index 8eb777c5ef..4e53641668 100644 --- a/plugins/de.cau.cs.kieler.annotations.ui/build.properties +++ b/plugins/de.cau.cs.kieler.annotations.ui/build.properties @@ -6,4 +6,6 @@ bin.includes = META-INF/,\ .,\ about.html,\ plugin.xml +bin.excludes = **/*.xtend,\ + **/*.java._trace src.includes = about.html diff --git a/plugins/de.cau.cs.kieler.annotations/build.properties b/plugins/de.cau.cs.kieler.annotations/build.properties index d6f6b26df2..b695747663 100644 --- a/plugins/de.cau.cs.kieler.annotations/build.properties +++ b/plugins/de.cau.cs.kieler.annotations/build.properties @@ -4,6 +4,10 @@ bin.includes = .,\ plugin.properties,\ about.html # model/,\ +bin.excludes = **/*.xtend,\ + **/*.mwe2,\ + **/*.xtext,\ + **/*.java._trace jars.compile.order = . source.. = src/,\ xtend-gen/,\ diff --git a/plugins/de.cau.cs.kieler.c.sccharts/build.properties b/plugins/de.cau.cs.kieler.c.sccharts/build.properties index 7fdfcecf38..bd8cfd3517 100644 --- a/plugins/de.cau.cs.kieler.c.sccharts/build.properties +++ b/plugins/de.cau.cs.kieler.c.sccharts/build.properties @@ -6,5 +6,7 @@ bin.includes = META-INF/,\ plugin.xml,\ about.html,\ system/ +bin.excludes = **/*.xtend,\ + **/*.java._trace src.includes = about.html,\ system/ diff --git a/plugins/de.cau.cs.kieler.core.product/build.properties b/plugins/de.cau.cs.kieler.core.product/build.properties index faae090483..fdd3491bfb 100644 --- a/plugins/de.cau.cs.kieler.core.product/build.properties +++ b/plugins/de.cau.cs.kieler.core.product/build.properties @@ -11,6 +11,8 @@ bin.includes = META-INF/,\ help/,\ about.html,\ plugin_customization.ini +bin.excludes = **/*.xtend,\ + **/*.java._trace src.includes = about.html,\ icons/,\ splash.bmp,\ diff --git a/plugins/de.cau.cs.kieler.core/build.properties b/plugins/de.cau.cs.kieler.core/build.properties index e870f2e2c7..c4f77748a4 100644 --- a/plugins/de.cau.cs.kieler.core/build.properties +++ b/plugins/de.cau.cs.kieler.core/build.properties @@ -5,6 +5,8 @@ bin.includes = META-INF/,\ .,\ about.html,\ kieler.version +bin.excludes = **/*.xtend,\ + **/*.java._trace src.includes = about.html,\ kieler.version diff --git a/plugins/de.cau.cs.kieler.esterel.compiler/build.properties b/plugins/de.cau.cs.kieler.esterel.compiler/build.properties index 12051b2398..d0f781e7c9 100644 --- a/plugins/de.cau.cs.kieler.esterel.compiler/build.properties +++ b/plugins/de.cau.cs.kieler.esterel.compiler/build.properties @@ -4,4 +4,6 @@ output.. = bin/ bin.includes = META-INF/,\ .,\ compiler/ +bin.excludes = **/*.xtend,\ + **/*.java._trace src.includes = about.html diff --git a/plugins/de.cau.cs.kieler.esterel.ide/build.properties b/plugins/de.cau.cs.kieler.esterel.ide/build.properties index d17f6b2413..bb63b41a73 100644 --- a/plugins/de.cau.cs.kieler.esterel.ide/build.properties +++ b/plugins/de.cau.cs.kieler.esterel.ide/build.properties @@ -5,4 +5,6 @@ output.. = bin/ bin.includes = META-INF/,\ .,\ about.html +bin.excludes = **/*.xtend,\ + **/*.java._trace src.includes = about.html diff --git a/plugins/de.cau.cs.kieler.esterel.ui/build.properties b/plugins/de.cau.cs.kieler.esterel.ui/build.properties index 5abb78d066..bac86045e5 100644 --- a/plugins/de.cau.cs.kieler.esterel.ui/build.properties +++ b/plugins/de.cau.cs.kieler.esterel.ui/build.properties @@ -7,6 +7,8 @@ bin.includes = META-INF/,\ about.ini,\ about.html,\ plugin.xml +bin.excludes = **/*.xtend,\ + **/*.java._trace src.includes = about.html output.. = bin/ diff --git a/plugins/de.cau.cs.kieler.esterel/build.properties b/plugins/de.cau.cs.kieler.esterel/build.properties index 28c494c4a9..37b4d6062f 100644 --- a/plugins/de.cau.cs.kieler.esterel/build.properties +++ b/plugins/de.cau.cs.kieler.esterel/build.properties @@ -9,6 +9,8 @@ bin.includes = model/,\ system/,\ resources/,\ plugin.properties +bin.excludes = **/*.xtend,\ + **/*.java._trace src.includes = about.html,\ model/ additional.bundles = org.eclipse.emf.mwe2.launch diff --git a/plugins/de.cau.cs.kieler.kexpressions.ide/build.properties b/plugins/de.cau.cs.kieler.kexpressions.ide/build.properties index d17f6b2413..bb63b41a73 100644 --- a/plugins/de.cau.cs.kieler.kexpressions.ide/build.properties +++ b/plugins/de.cau.cs.kieler.kexpressions.ide/build.properties @@ -5,4 +5,6 @@ output.. = bin/ bin.includes = META-INF/,\ .,\ about.html +bin.excludes = **/*.xtend,\ + **/*.java._trace src.includes = about.html diff --git a/plugins/de.cau.cs.kieler.kexpressions.ui/build.properties b/plugins/de.cau.cs.kieler.kexpressions.ui/build.properties index 944b890e38..7921b60dd6 100644 --- a/plugins/de.cau.cs.kieler.kexpressions.ui/build.properties +++ b/plugins/de.cau.cs.kieler.kexpressions.ui/build.properties @@ -5,7 +5,8 @@ bin.includes = META-INF/,\ .,\ plugin.xml,\ about.html - +bin.excludes = **/*.xtend,\ + **/*.java._trace src.includes = about.html output.. = bin/ diff --git a/plugins/de.cau.cs.kieler.kexpressions/build.properties b/plugins/de.cau.cs.kieler.kexpressions/build.properties index 291546f27a..6db319eb2c 100644 --- a/plugins/de.cau.cs.kieler.kexpressions/build.properties +++ b/plugins/de.cau.cs.kieler.kexpressions/build.properties @@ -4,6 +4,10 @@ bin.includes = .,\ plugin.properties,\ model/,\ about.html +bin.excludes = **/*.xtend,\ + **/*.mwe2,\ + **/*.xtext,\ + **/*.java._trace jars.compile.order = . # The models folder should not appear in the sources list. See the build.properties file diff --git a/plugins/de.cau.cs.kieler.kicool.ide/build.properties b/plugins/de.cau.cs.kieler.kicool.ide/build.properties index fd16c86160..1b532ea5be 100644 --- a/plugins/de.cau.cs.kieler.kicool.ide/build.properties +++ b/plugins/de.cau.cs.kieler.kicool.ide/build.properties @@ -6,4 +6,6 @@ bin.includes = .,\ META-INF/,\ about.html,\ system/ +bin.excludes = **/*.xtend,\ + **/*.java._trace src.includes = about.html diff --git a/plugins/de.cau.cs.kieler.kicool.ui/build.properties b/plugins/de.cau.cs.kieler.kicool.ui/build.properties index 6249fce604..66df377bc0 100644 --- a/plugins/de.cau.cs.kieler.kicool.ui/build.properties +++ b/plugins/de.cau.cs.kieler.kicool.ui/build.properties @@ -9,6 +9,8 @@ bin.includes = META-INF/,\ resources/,\ about.html,\ schema/ +bin.excludes = **/*.xtend,\ + **/*.java._trace src.includes = icons/,\ META-INF/,\ resources/,\ diff --git a/plugins/de.cau.cs.kieler.kicool/build.properties b/plugins/de.cau.cs.kieler.kicool/build.properties index 8751ca507e..be25bd8b17 100644 --- a/plugins/de.cau.cs.kieler.kicool/build.properties +++ b/plugins/de.cau.cs.kieler.kicool/build.properties @@ -6,6 +6,10 @@ bin.includes = .,\ about.html,\ resources/,\ model/ +bin.excludes = **/*.xtend,\ + **/*.mwe2,\ + **/*.xtext,\ + **/*.java._trace jars.compile.order = . source.. = src/,\ xtend-gen/,\ diff --git a/plugins/de.cau.cs.kieler.kivis.ide/build.properties b/plugins/de.cau.cs.kieler.kivis.ide/build.properties index 0bbcf9f955..923dd84137 100644 --- a/plugins/de.cau.cs.kieler.kivis.ide/build.properties +++ b/plugins/de.cau.cs.kieler.kivis.ide/build.properties @@ -4,4 +4,6 @@ source.. = src/,\ bin.includes = .,\ META-INF/,\ epl-v10.html +bin.excludes = **/*.xtend,\ + **/*.java._trace src.includes = epl-v10.html diff --git a/plugins/de.cau.cs.kieler.kivis.ui/build.properties b/plugins/de.cau.cs.kieler.kivis.ui/build.properties index 0b90edc2ee..42979cb661 100644 --- a/plugins/de.cau.cs.kieler.kivis.ui/build.properties +++ b/plugins/de.cau.cs.kieler.kivis.ui/build.properties @@ -8,4 +8,6 @@ bin.includes = META-INF/,\ icons/,\ plugin.xml,\ resources/ +bin.excludes = **/*.xtend,\ + **/*.java._trace src.includes = epl-v10.html diff --git a/plugins/de.cau.cs.kieler.kivis/build.properties b/plugins/de.cau.cs.kieler.kivis/build.properties index d9a1fc5704..036ab61678 100644 --- a/plugins/de.cau.cs.kieler.kivis/build.properties +++ b/plugins/de.cau.cs.kieler.kivis/build.properties @@ -8,6 +8,10 @@ bin.includes = model/generated/,\ plugin.xml,\ epl-v10.html,\ system/ +bin.excludes = **/*.xtend,\ + **/*.mwe2,\ + **/*.xtext,\ + **/*.java._trace additional.bundles = org.eclipse.xtext.xbase,\ org.eclipse.xtext.common.types,\ org.eclipse.xtext.xtext.generator,\ diff --git a/plugins/de.cau.cs.kieler.lustre.compiler/build.properties b/plugins/de.cau.cs.kieler.lustre.compiler/build.properties index e64c68ed92..a04b6736a3 100644 --- a/plugins/de.cau.cs.kieler.lustre.compiler/build.properties +++ b/plugins/de.cau.cs.kieler.lustre.compiler/build.properties @@ -5,5 +5,7 @@ bin.includes = META-INF/,\ .,\ compiler/,\ about.html +bin.excludes = **/*.xtend,\ + **/*.java._trace src.includes = compiler/,\ about.html diff --git a/plugins/de.cau.cs.kieler.lustre.ide/build.properties b/plugins/de.cau.cs.kieler.lustre.ide/build.properties index d17f6b2413..bb63b41a73 100644 --- a/plugins/de.cau.cs.kieler.lustre.ide/build.properties +++ b/plugins/de.cau.cs.kieler.lustre.ide/build.properties @@ -5,4 +5,6 @@ output.. = bin/ bin.includes = META-INF/,\ .,\ about.html +bin.excludes = **/*.xtend,\ + **/*.java._trace src.includes = about.html diff --git a/plugins/de.cau.cs.kieler.lustre.ui/build.properties b/plugins/de.cau.cs.kieler.lustre.ui/build.properties index e5e09c66bf..bbd31904c8 100755 --- a/plugins/de.cau.cs.kieler.lustre.ui/build.properties +++ b/plugins/de.cau.cs.kieler.lustre.ui/build.properties @@ -5,5 +5,6 @@ bin.includes = .,\ META-INF/,\ about.html,\ plugin.xml -bin.excludes = **/*.xtend +bin.excludes = **/*.xtend,\ + **/*.java._trace src.includes = about.html diff --git a/plugins/de.cau.cs.kieler.lustre/build.properties b/plugins/de.cau.cs.kieler.lustre/build.properties index b5a563c8f9..1044332b70 100644 --- a/plugins/de.cau.cs.kieler.lustre/build.properties +++ b/plugins/de.cau.cs.kieler.lustre/build.properties @@ -8,8 +8,10 @@ bin.includes = model/generated/,\ about.html,\ resources/,\ plugin.xml -bin.excludes = **/*.mwe2,\ - **/*.xtend +bin.excludes = **/*.xtend,\ + **/*.mwe2,\ + **/*.xtext,\ + **/*.java._trace additional.bundles = org.eclipse.xtext.xbase,\ org.eclipse.xtext.common.types,\ org.eclipse.xtext.xtext.generator,\ diff --git a/plugins/de.cau.cs.kieler.sccharts.ide/build.properties b/plugins/de.cau.cs.kieler.sccharts.ide/build.properties index d17f6b2413..bb63b41a73 100644 --- a/plugins/de.cau.cs.kieler.sccharts.ide/build.properties +++ b/plugins/de.cau.cs.kieler.sccharts.ide/build.properties @@ -5,4 +5,6 @@ output.. = bin/ bin.includes = META-INF/,\ .,\ about.html +bin.excludes = **/*.xtend,\ + **/*.java._trace src.includes = about.html diff --git a/plugins/de.cau.cs.kieler.sccharts.legacy.ui/build.properties b/plugins/de.cau.cs.kieler.sccharts.legacy.ui/build.properties index 23092f5d66..cd998a18bf 100644 --- a/plugins/de.cau.cs.kieler.sccharts.legacy.ui/build.properties +++ b/plugins/de.cau.cs.kieler.sccharts.legacy.ui/build.properties @@ -7,5 +7,7 @@ bin.includes = META-INF/,\ schema/,\ plugin.xml,\ about.html +bin.excludes = **/*.xtend,\ + **/*.java._trace src.includes = schema/,\ about.html diff --git a/plugins/de.cau.cs.kieler.sccharts.legacy/build.properties b/plugins/de.cau.cs.kieler.sccharts.legacy/build.properties index 9249840e8e..e1aef9ec96 100644 --- a/plugins/de.cau.cs.kieler.sccharts.legacy/build.properties +++ b/plugins/de.cau.cs.kieler.sccharts.legacy/build.properties @@ -8,5 +8,7 @@ bin.includes = META-INF/,\ about.html,\ model/,\ plugin.properties +bin.excludes = **/*.xtend,\ + **/*.java._trace src.includes = model/,\ about.html diff --git a/plugins/de.cau.cs.kieler.sccharts.ui/build.properties b/plugins/de.cau.cs.kieler.sccharts.ui/build.properties index fec5782a24..a0e5fb614d 100644 --- a/plugins/de.cau.cs.kieler.sccharts.ui/build.properties +++ b/plugins/de.cau.cs.kieler.sccharts.ui/build.properties @@ -8,6 +8,8 @@ bin.includes = META-INF/,\ about.html,\ resources/,\ icons/ +bin.excludes = **/*.xtend,\ + **/*.java._trace src.includes = about.html,\ resources/,\ icons/ diff --git a/plugins/de.cau.cs.kieler.sccharts/build.properties b/plugins/de.cau.cs.kieler.sccharts/build.properties index 5db3530447..463ea62153 100644 --- a/plugins/de.cau.cs.kieler.sccharts/build.properties +++ b/plugins/de.cau.cs.kieler.sccharts/build.properties @@ -21,6 +21,10 @@ bin.includes = .,\ about.gif,\ system/,\ resources/ +bin.excludes = **/*.xtend,\ + **/*.mwe2,\ + **/*.xtext,\ + **/*.java._trace jars.compile.order = . source.. = src/,\ xtend-gen/,\ diff --git a/plugins/de.cau.cs.kieler.scg.klighd/build.properties b/plugins/de.cau.cs.kieler.scg.klighd/build.properties index da983bcde0..d0e03aec0a 100644 --- a/plugins/de.cau.cs.kieler.scg.klighd/build.properties +++ b/plugins/de.cau.cs.kieler.scg.klighd/build.properties @@ -18,4 +18,6 @@ bin.includes = META-INF/,\ .,\ plugin.xml,\ about.html +bin.excludes = **/*.xtend,\ + **/*.java._trace src.includes = about.html diff --git a/plugins/de.cau.cs.kieler.scg/build.properties b/plugins/de.cau.cs.kieler.scg/build.properties index 65d3b545e4..300abb8138 100644 --- a/plugins/de.cau.cs.kieler.scg/build.properties +++ b/plugins/de.cau.cs.kieler.scg/build.properties @@ -21,6 +21,8 @@ bin.includes = META-INF/,\ system/,\ resources/,\ model/ +bin.excludes = **/*.xtend,\ + **/*.java._trace src.includes = about.html,\ system/,\ model/,\ diff --git a/plugins/de.cau.cs.kieler.scl.ide/build.properties b/plugins/de.cau.cs.kieler.scl.ide/build.properties index d17f6b2413..bb63b41a73 100644 --- a/plugins/de.cau.cs.kieler.scl.ide/build.properties +++ b/plugins/de.cau.cs.kieler.scl.ide/build.properties @@ -5,4 +5,6 @@ output.. = bin/ bin.includes = META-INF/,\ .,\ about.html +bin.excludes = **/*.xtend,\ + **/*.java._trace src.includes = about.html diff --git a/plugins/de.cau.cs.kieler.scl.ui/build.properties b/plugins/de.cau.cs.kieler.scl.ui/build.properties index 8a488887b6..d96b4cba5e 100644 --- a/plugins/de.cau.cs.kieler.scl.ui/build.properties +++ b/plugins/de.cau.cs.kieler.scl.ui/build.properties @@ -6,5 +6,7 @@ bin.includes = META-INF/,\ plugin.xml,\ icons/,\ about.html +bin.excludes = **/*.xtend,\ + **/*.java._trace src.includes = about.html output.. = bin/ diff --git a/plugins/de.cau.cs.kieler.scl/build.properties b/plugins/de.cau.cs.kieler.scl/build.properties index 78a8236abc..06384e31e4 100644 --- a/plugins/de.cau.cs.kieler.scl/build.properties +++ b/plugins/de.cau.cs.kieler.scl/build.properties @@ -8,7 +8,10 @@ bin.includes = META-INF/,\ plugin.properties,\ about.html,\ system/ - +bin.excludes = **/*.xtend,\ + **/*.mwe2,\ + **/*.xtext,\ + **/*.java._trace src.includes = about.html additional.bundles = org.eclipse.xtext.xbase,\ org.eclipse.xtext.common.types,\ diff --git a/plugins/de.cau.cs.kieler.simulation.ide/build.properties b/plugins/de.cau.cs.kieler.simulation.ide/build.properties index aa4e25b88e..4788ad7e3c 100644 --- a/plugins/de.cau.cs.kieler.simulation.ide/build.properties +++ b/plugins/de.cau.cs.kieler.simulation.ide/build.properties @@ -6,4 +6,6 @@ bin.includes = .,\ epl-v10.html,\ icons/,\ plugin.xml +bin.excludes = **/*.xtend,\ + **/*.java._trace src.includes = epl-v10.html diff --git a/plugins/de.cau.cs.kieler.simulation.ui/build.properties b/plugins/de.cau.cs.kieler.simulation.ui/build.properties index 0db6d4c653..ca015ad4d4 100644 --- a/plugins/de.cau.cs.kieler.simulation.ui/build.properties +++ b/plugins/de.cau.cs.kieler.simulation.ui/build.properties @@ -7,5 +7,7 @@ bin.includes = META-INF/,\ epl-v10.html,\ plugin.xml,\ icons/ +bin.excludes = **/*.xtend,\ + **/*.java._trace src.includes = epl-v10.html,\ icons/ diff --git a/plugins/de.cau.cs.kieler.simulation/build.properties b/plugins/de.cau.cs.kieler.simulation/build.properties index 97144bcd9e..021cde1f47 100644 --- a/plugins/de.cau.cs.kieler.simulation/build.properties +++ b/plugins/de.cau.cs.kieler.simulation/build.properties @@ -9,6 +9,8 @@ bin.includes = model/,\ resources/,\ plugin.xml,\ system/ +bin.excludes = **/*.xtend,\ + **/*.java._trace additional.bundles = org.eclipse.emf.codegen.ecore,\ org.eclipse.emf.mwe.utils,\ org.eclipse.emf.mwe2.launch,\ diff --git a/plugins/de.cau.cs.kieler.verification.ui/build.properties b/plugins/de.cau.cs.kieler.verification.ui/build.properties index 1aa4438c2b..27e7655a0c 100644 --- a/plugins/de.cau.cs.kieler.verification.ui/build.properties +++ b/plugins/de.cau.cs.kieler.verification.ui/build.properties @@ -6,5 +6,7 @@ bin.includes = META-INF/,\ epl-v10.html,\ plugin.xml,\ icons/ +bin.excludes = **/*.xtend,\ + **/*.java._trace src.includes = epl-v10.html,\ icons/ diff --git a/plugins/de.cau.cs.kieler.verification/build.properties b/plugins/de.cau.cs.kieler.verification/build.properties index 998eb7a3f0..5dad3d07b1 100644 --- a/plugins/de.cau.cs.kieler.verification/build.properties +++ b/plugins/de.cau.cs.kieler.verification/build.properties @@ -5,5 +5,7 @@ bin.includes = META-INF/,\ .,\ epl-v10.html,\ system/ +bin.excludes = **/*.xtend,\ + **/*.java._trace src.includes = epl-v10.html,\ system/ From ca594c66b908a5e3c7cc7395ac44c666425a01da Mon Sep 17 00:00:00 2001 From: Niklas Rentz Date: Mon, 11 Mar 2024 11:03:28 +0100 Subject: [PATCH 03/15] update to Sprotty 1.1.1 --- oomph/kieler-semantics-developers.setup | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/oomph/kieler-semantics-developers.setup b/oomph/kieler-semantics-developers.setup index 1dd645bca4..e7f53cada1 100644 --- a/oomph/kieler-semantics-developers.setup +++ b/oomph/kieler-semantics-developers.setup @@ -2482,7 +2482,7 @@ + url="https://rtsys.informatik.uni-kiel.de/~kieler/updatesite/sprotty/1.1.1/"/> From 9923481e65c3835c955aaad900deadec9febf9eb Mon Sep 17 00:00:00 2001 From: Niklas Rentz Date: Tue, 12 Mar 2024 17:37:34 +0100 Subject: [PATCH 04/15] remove Sprotty dependency Update to lsp4j 0.22.0 (maven dependency only) --- build/pom.xml | 2 +- oomph/kieler-semantics-developers.setup | 4 ---- 2 files changed, 1 insertion(+), 5 deletions(-) diff --git a/build/pom.xml b/build/pom.xml index c20b1d9f03..ff3467e6cb 100644 --- a/build/pom.xml +++ b/build/pom.xml @@ -12,7 +12,7 @@ 0.9.0 2.3.0.v20230606 - 0.21.1 + 0.22.0 0.50.0.v20230607 diff --git a/oomph/kieler-semantics-developers.setup b/oomph/kieler-semantics-developers.setup index e7f53cada1..c7f6430144 100644 --- a/oomph/kieler-semantics-developers.setup +++ b/oomph/kieler-semantics-developers.setup @@ -2465,8 +2465,6 @@ name="de.cau.cs.kieler.websocket.mirror"/> - - From 608070b5ec4994ba2e5b18db8c51283e306a5c29 Mon Sep 17 00:00:00 2001 From: Alexander Schulz-Rosengarten Date: Wed, 13 Mar 2024 11:47:52 +0100 Subject: [PATCH 05/15] build: Removed lsp4j from target platform --- .../de.cau.cs.kieler.semantics.targetplatform.target | 4 ---- oomph/kieler-semantics-developers.setup | 12 +----------- .../de.cau.cs.kieler.kicool.ide/META-INF/MANIFEST.MF | 3 --- 3 files changed, 1 insertion(+), 18 deletions(-) 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 7ef5ab6411..981e76995d 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 @@ -30,10 +30,6 @@ - - - - diff --git a/oomph/kieler-semantics-developers.setup b/oomph/kieler-semantics-developers.setup index c7f6430144..753391225e 100644 --- a/oomph/kieler-semantics-developers.setup +++ b/oomph/kieler-semantics-developers.setup @@ -11,7 +11,7 @@ xmlns:setup.p2="http://www.eclipse.org/oomph/setup/p2/1.0" xmlns:setup.targlets="http://www.eclipse.org/oomph/setup/targlets/1.0" xmlns:setup.workingsets="http://www.eclipse.org/oomph/setup/workingsets/1.0" - xsi:schemaLocation="http://www.eclipse.org/oomph/setup/git/1.0 https://raw.githubusercontent.com/eclipse-oomph/oomph/master/setups/models/Git.ecore http://www.eclipse.org/oomph/setup/jdt/1.0 https://raw.githubusercontent.com/eclipse-oomph/oomph/master/setups/models/JDT.ecore http://www.eclipse.org/oomph/predicates/1.0 https://raw.githubusercontent.com/eclipse-oomph/oomph/master/setups/models/Predicates.ecore http://www.eclipse.org/oomph/setup/projects/1.0 https://raw.githubusercontent.com/eclipse-oomph/oomph/master/setups/models/Projects.ecore http://www.eclipse.org/oomph/setup/targlets/1.0 https://raw.githubusercontent.com/eclipse-oomph/oomph/master/setups/models/SetupTarglets.ecore http://www.eclipse.org/oomph/setup/workingsets/1.0 https://raw.githubusercontent.com/eclipse-oomph/oomph/master/setups/models/SetupWorkingSets.ecore" + xsi:schemaLocation="http://www.eclipse.org/oomph/setup/git/1.0 http://git.eclipse.org/c/oomph/org.eclipse.oomph.git/plain/setups/models/Git.ecore http://www.eclipse.org/oomph/setup/jdt/1.0 http://git.eclipse.org/c/oomph/org.eclipse.oomph.git/plain/setups/models/JDT.ecore http://www.eclipse.org/oomph/predicates/1.0 http://git.eclipse.org/c/oomph/org.eclipse.oomph.git/plain/setups/models/Predicates.ecore http://www.eclipse.org/oomph/setup/projects/1.0 http://git.eclipse.org/c/oomph/org.eclipse.oomph.git/plain/setups/models/Projects.ecore http://www.eclipse.org/oomph/setup/targlets/1.0 http://git.eclipse.org/c/oomph/org.eclipse.oomph.git/plain/setups/models/SetupTarglets.ecore http://www.eclipse.org/oomph/setup/workingsets/1.0 http://git.eclipse.org/c/oomph/org.eclipse.oomph.git/plain/setups/models/SetupWorkingSets.ecore" name="kieler-semantics" label="KIELER Semantics"> - - - - Date: Thu, 4 Apr 2024 14:06:04 +0200 Subject: [PATCH 06/15] Updated ELK semantics setup --- oomph/kieler-semantics-developers.setup | 40 +++++++++++-------------- 1 file changed, 17 insertions(+), 23 deletions(-) diff --git a/oomph/kieler-semantics-developers.setup b/oomph/kieler-semantics-developers.setup index 753391225e..7653dd0882 100644 --- a/oomph/kieler-semantics-developers.setup +++ b/oomph/kieler-semantics-developers.setup @@ -11,7 +11,7 @@ xmlns:setup.p2="http://www.eclipse.org/oomph/setup/p2/1.0" xmlns:setup.targlets="http://www.eclipse.org/oomph/setup/targlets/1.0" xmlns:setup.workingsets="http://www.eclipse.org/oomph/setup/workingsets/1.0" - xsi:schemaLocation="http://www.eclipse.org/oomph/setup/git/1.0 http://git.eclipse.org/c/oomph/org.eclipse.oomph.git/plain/setups/models/Git.ecore http://www.eclipse.org/oomph/setup/jdt/1.0 http://git.eclipse.org/c/oomph/org.eclipse.oomph.git/plain/setups/models/JDT.ecore http://www.eclipse.org/oomph/predicates/1.0 http://git.eclipse.org/c/oomph/org.eclipse.oomph.git/plain/setups/models/Predicates.ecore http://www.eclipse.org/oomph/setup/projects/1.0 http://git.eclipse.org/c/oomph/org.eclipse.oomph.git/plain/setups/models/Projects.ecore http://www.eclipse.org/oomph/setup/targlets/1.0 http://git.eclipse.org/c/oomph/org.eclipse.oomph.git/plain/setups/models/SetupTarglets.ecore http://www.eclipse.org/oomph/setup/workingsets/1.0 http://git.eclipse.org/c/oomph/org.eclipse.oomph.git/plain/setups/models/SetupWorkingSets.ecore" + xsi:schemaLocation="http://www.eclipse.org/oomph/setup/git/1.0 https://raw.githubusercontent.com/eclipse-oomph/oomph/master/setups/models/Git.ecore http://www.eclipse.org/oomph/setup/jdt/1.0 https://raw.githubusercontent.com/eclipse-oomph/oomph/master/setups/models/JDT.ecore http://www.eclipse.org/oomph/predicates/1.0 https://raw.githubusercontent.com/eclipse-oomph/oomph/master/setups/models/Predicates.ecore http://www.eclipse.org/oomph/setup/projects/1.0 https://raw.githubusercontent.com/eclipse-oomph/oomph/master/setups/models/Projects.ecore http://www.eclipse.org/oomph/setup/targlets/1.0 https://raw.githubusercontent.com/eclipse-oomph/oomph/master/setups/models/SetupTarglets.ecore http://www.eclipse.org/oomph/setup/workingsets/1.0 https://raw.githubusercontent.com/eclipse-oomph/oomph/master/setups/models/SetupWorkingSets.ecore" name="kieler-semantics" label="KIELER Semantics"> + versionRange="[2.33.0,2.34.0)"/> - - + name="org.hamcrest.core" + versionRange="[1.3.0.v20230809-1000,1.3.0.v20230809-1000]"/> + name="org.hamcrest.library" + versionRange="[1.3.0.v20230809-1000,1.3.0.v20230809-1000]"/> + name="org.freemarker.freemarker"/> + name="org.freemarker.freemarker.source"/> + name="de.cau.cs.kieler.websocket.mirror" + versionRange="10.0.20"/> - + url="https://download.eclipse.org/releases/2023-12"/> + url="https://download.eclipse.org/tools/orbit/simrel/orbit-aggregation/release/4.30.0"/> + url="https://download.eclipse.org/modeling/tmf/xtext/updates/releases/2.33.0/"/> + url="https://rtsys.informatik.uni-kiel.de/~kieler/updatesite/websocket-mirror/10.0.20/"/> + url="https://download.eclipse.org/elk/updates/releases/0.9.0/"/> @@ -2814,13 +2808,13 @@ name="org.eclipse.elk.sdk.feature.feature.group"/> + versionRange="[2.33.0,2.34.0)"/> + url="https://download.eclipse.org/modeling/tmf/xtext/updates/releases/2.33.0/"/> Date: Thu, 11 Apr 2024 13:59:41 +0200 Subject: [PATCH 07/15] build: Updated target platform to all latest releases --- ....cs.kieler.semantics.targetplatform.target | 12 ++++------ oomph/kieler-semantics-developers.setup | 23 ++++++++----------- 2 files changed, 14 insertions(+), 21 deletions(-) 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..d960005423 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,11 +36,11 @@ - + - + diff --git a/oomph/kieler-semantics-developers.setup b/oomph/kieler-semantics-developers.setup index 753391225e..b86ccb8291 100644 --- a/oomph/kieler-semantics-developers.setup +++ b/oomph/kieler-semantics-developers.setup @@ -11,7 +11,7 @@ xmlns:setup.p2="http://www.eclipse.org/oomph/setup/p2/1.0" xmlns:setup.targlets="http://www.eclipse.org/oomph/setup/targlets/1.0" xmlns:setup.workingsets="http://www.eclipse.org/oomph/setup/workingsets/1.0" - xsi:schemaLocation="http://www.eclipse.org/oomph/setup/git/1.0 http://git.eclipse.org/c/oomph/org.eclipse.oomph.git/plain/setups/models/Git.ecore http://www.eclipse.org/oomph/setup/jdt/1.0 http://git.eclipse.org/c/oomph/org.eclipse.oomph.git/plain/setups/models/JDT.ecore http://www.eclipse.org/oomph/predicates/1.0 http://git.eclipse.org/c/oomph/org.eclipse.oomph.git/plain/setups/models/Predicates.ecore http://www.eclipse.org/oomph/setup/projects/1.0 http://git.eclipse.org/c/oomph/org.eclipse.oomph.git/plain/setups/models/Projects.ecore http://www.eclipse.org/oomph/setup/targlets/1.0 http://git.eclipse.org/c/oomph/org.eclipse.oomph.git/plain/setups/models/SetupTarglets.ecore http://www.eclipse.org/oomph/setup/workingsets/1.0 http://git.eclipse.org/c/oomph/org.eclipse.oomph.git/plain/setups/models/SetupWorkingSets.ecore" + xsi:schemaLocation="http://www.eclipse.org/oomph/setup/git/1.0 https://raw.githubusercontent.com/eclipse-oomph/oomph/master/setups/models/Git.ecore http://www.eclipse.org/oomph/setup/jdt/1.0 https://raw.githubusercontent.com/eclipse-oomph/oomph/master/setups/models/JDT.ecore http://www.eclipse.org/oomph/predicates/1.0 https://raw.githubusercontent.com/eclipse-oomph/oomph/master/setups/models/Predicates.ecore http://www.eclipse.org/oomph/setup/projects/1.0 https://raw.githubusercontent.com/eclipse-oomph/oomph/master/setups/models/Projects.ecore http://www.eclipse.org/oomph/setup/targlets/1.0 https://raw.githubusercontent.com/eclipse-oomph/oomph/master/setups/models/SetupTarglets.ecore http://www.eclipse.org/oomph/setup/workingsets/1.0 https://raw.githubusercontent.com/eclipse-oomph/oomph/master/setups/models/SetupWorkingSets.ecore" name="kieler-semantics" label="KIELER Semantics"> + 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://kieler.github.io/KLighD/v3.0.1/"/> + url="https://rtsys.informatik.uni-kiel.de/~kieler/updatesite/release_pragmatics_2024-04/"/> @@ -544,7 +539,7 @@ xsi:type="setup.p2:P2Task"> + versionRange="[2.34.0,2.35.0)"/> From 8c78256ccc505adb33b1ae6085094c40e71fc94e Mon Sep 17 00:00:00 2001 From: Alexander Schulz-Rosengarten Date: Thu, 11 Apr 2024 14:00:04 +0200 Subject: [PATCH 08/15] kico.cli: Fixed klighd setup import --- plugins/de.cau.cs.kieler.kicool.ide/META-INF/MANIFEST.MF | 4 ++-- .../cs/kieler/kicool/ide/cli/KielerCompilerDiagramCLI.xtend | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) 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..d1b8aea4df 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 @@ -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/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 From d1e88c85401cd0b19b51bc3dc66e58e60da468aa Mon Sep 17 00:00:00 2001 From: Alexander Schulz-Rosengarten Date: Thu, 11 Apr 2024 14:26:16 +0200 Subject: [PATCH 09/15] build: Adjusted further versions according to target platform --- .../de.cau.cs.kieler.semantics.targetplatform.target | 2 +- build/pom.xml | 10 +++++----- oomph/kieler-semantics-developers.setup | 2 +- 3 files changed, 7 insertions(+), 7 deletions(-) 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 d960005423..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 @@ -46,7 +46,7 @@ - + diff --git a/build/pom.xml b/build/pom.xml index ff3467e6cb..b00c718d98 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 diff --git a/oomph/kieler-semantics-developers.setup b/oomph/kieler-semantics-developers.setup index b86ccb8291..508bacedc2 100644 --- a/oomph/kieler-semantics-developers.setup +++ b/oomph/kieler-semantics-developers.setup @@ -525,7 +525,7 @@ + url="https://download.eclipse.org/elk/updates/releases/0.9.1/"/> Date: Thu, 11 Apr 2024 15:16:18 +0200 Subject: [PATCH 10/15] build: Disabled dependency info generation --- build/pom.xml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/build/pom.xml b/build/pom.xml index b00c718d98..3f6b665b6f 100644 --- a/build/pom.xml +++ b/build/pom.xml @@ -327,7 +327,8 @@ - + + From bde5799ecec3633655a1cecaee7648d1a5fd4635 Mon Sep 17 00:00:00 2001 From: Alexander Schulz-Rosengarten Date: Tue, 16 Apr 2024 12:23:16 +0200 Subject: [PATCH 11/15] build: Updated update site configuration --- build/de.cau.cs.kieler.language.server.cli/pom.xml | 4 ++-- .../category.xml | 14 +++++++------- .../de.cau.cs.kieler.language.server/pom.xml | 2 +- 3 files changed, 10 insertions(+), 10 deletions(-) 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..17ded8da80 100644 --- a/build/de.cau.cs.kieler.language.server.cli/pom.xml +++ b/build/de.cau.cs.kieler.language.server.cli/pom.xml @@ -50,8 +50,8 @@ false - - + + diff --git a/build/de.cau.cs.kieler.semantics.repository/category.xml b/build/de.cau.cs.kieler.semantics.repository/category.xml index 9eb263f6fd..f32d200360 100644 --- a/build/de.cau.cs.kieler.semantics.repository/category.xml +++ b/build/de.cau.cs.kieler.semantics.repository/category.xml @@ -32,12 +32,12 @@ - - - - - - - + + + + + + + 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..ac1e56c126 100644 --- a/language-server/de.cau.cs.kieler.language.server/pom.xml +++ b/language-server/de.cau.cs.kieler.language.server/pom.xml @@ -161,7 +161,7 @@ - + From cb2bfad38ebf16516f097237ebb9c97fc58cd66e Mon Sep 17 00:00:00 2001 From: Alexander Schulz-Rosengarten Date: Tue, 16 Apr 2024 12:59:38 +0200 Subject: [PATCH 12/15] oomph: Added release stream --- oomph/kieler-semantics-developers.setup | 139 ++++++++++++++++++++++++ 1 file changed, 139 insertions(+) diff --git a/oomph/kieler-semantics-developers.setup b/oomph/kieler-semantics-developers.setup index 508bacedc2..b3b48116b3 100644 --- a/oomph/kieler-semantics-developers.setup +++ b/oomph/kieler-semantics-developers.setup @@ -544,6 +544,145 @@ url="http://download.eclipse.org/modeling/tmf/xtext/updates/composite/releases/"/> + + + + + + + + + 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 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Date: Tue, 16 Apr 2024 13:12:10 +0200 Subject: [PATCH 13/15] build: Bumped all versions to next release --- build/de.cau.cs.kieler.kicool.cli/pom.xml | 2 +- build/de.cau.cs.kieler.kicool.klighd.cli/pom.xml | 2 +- build/de.cau.cs.kieler.language.server.cli/pom.xml | 2 +- build/de.cau.cs.kieler.sccharts.cli/pom.xml | 2 +- .../kieler.product | 2 +- .../pom.xml | 2 +- .../category.xml | 12 ++++++------ build/de.cau.cs.kieler.semantics.repository/pom.xml | 2 +- .../de.cau.cs.kieler.esterel.feature/feature.xml | 2 +- features/de.cau.cs.kieler.esterel.feature/pom.xml | 2 +- .../de.cau.cs.kieler.framework.feature/feature.xml | 2 +- features/de.cau.cs.kieler.framework.feature/pom.xml | 2 +- .../de.cau.cs.kieler.product.feature/feature.xml | 2 +- features/de.cau.cs.kieler.product.feature/pom.xml | 2 +- .../de.cau.cs.kieler.sccharts.feature/feature.xml | 2 +- features/de.cau.cs.kieler.sccharts.feature/pom.xml | 2 +- .../pom.xml | 2 +- .../pom.xml | 2 +- .../de.cau.cs.kieler.language.server/pom.xml | 2 +- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.annotations.ide/pom.xml | 2 +- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.annotations.ui/pom.xml | 2 +- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.annotations/pom.xml | 2 +- .../de.cau.cs.kieler.c.sccharts/META-INF/MANIFEST.MF | 2 +- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.core.perspectives/pom.xml | 2 +- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.core.product/plugin.xml | 2 +- plugins/de.cau.cs.kieler.core.product/pom.xml | 2 +- plugins/de.cau.cs.kieler.core/META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.core/kieler.version | 2 +- plugins/de.cau.cs.kieler.core/pom.xml | 2 +- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.esterel.compiler/pom.xml | 2 +- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.esterel.ide/pom.xml | 2 +- .../de.cau.cs.kieler.esterel.ui/META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.esterel.ui/pom.xml | 2 +- .../de.cau.cs.kieler.esterel/META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.esterel/pom.xml | 2 +- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.kexpressions.ide/pom.xml | 2 +- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.kexpressions.ui/pom.xml | 2 +- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.kexpressions/pom.xml | 2 +- .../de.cau.cs.kieler.kicool.ide/META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.kicool.ide/pom.xml | 2 +- .../de.cau.cs.kieler.kicool.ui/META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.kicool.ui/pom.xml | 2 +- plugins/de.cau.cs.kieler.kicool/META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.kicool/pom.xml | 2 +- .../de.cau.cs.kieler.kivis.ide/META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.kivis.ide/pom.xml | 2 +- .../de.cau.cs.kieler.kivis.ui/META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.kivis.ui/pom.xml | 2 +- plugins/de.cau.cs.kieler.kivis/META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.kivis/pom.xml | 2 +- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.lustre.compiler/pom.xml | 2 +- .../de.cau.cs.kieler.lustre.ide/META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.lustre.ide/pom.xml | 2 +- .../de.cau.cs.kieler.lustre.ui/META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.lustre.ui/pom.xml | 2 +- plugins/de.cau.cs.kieler.lustre/META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.lustre/pom.xml | 2 +- .../de.cau.cs.kieler.overlord/META-INF/MANIFEST.MF | 2 +- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.sccharts.ide/pom.xml | 2 +- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.sccharts.legacy.ui/pom.xml | 2 +- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.sccharts.legacy/pom.xml | 2 +- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.sccharts.ui/pom.xml | 2 +- .../de.cau.cs.kieler.sccharts/META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.sccharts/pom.xml | 2 +- .../de.cau.cs.kieler.scg.klighd/META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.scg.klighd/pom.xml | 2 +- plugins/de.cau.cs.kieler.scg/META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.scg/pom.xml | 2 +- .../de.cau.cs.kieler.scl.ide/META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.scl.ide/pom.xml | 2 +- plugins/de.cau.cs.kieler.scl.ui/META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.scl.ui/pom.xml | 2 +- plugins/de.cau.cs.kieler.scl/META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.scl/pom.xml | 2 +- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.simulation.ide/pom.xml | 2 +- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.simulation.ui/pom.xml | 2 +- .../de.cau.cs.kieler.simulation/META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.simulation/pom.xml | 2 +- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.verification.ui/pom.xml | 2 +- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.verification/pom.xml | 2 +- test/de.cau.cs.kieler.cli.test/META-INF/MANIFEST.MF | 2 +- test/de.cau.cs.kieler.cli.test/pom.xml | 2 +- .../META-INF/MANIFEST.MF | 2 +- test/de.cau.cs.kieler.esterel.test/pom.xml | 2 +- .../META-INF/MANIFEST.MF | 2 +- test/de.cau.cs.kieler.kexpressions.text.test/pom.xml | 2 +- .../META-INF/MANIFEST.MF | 2 +- test/de.cau.cs.kieler.lustre.test/pom.xml | 2 +- .../META-INF/MANIFEST.MF | 2 +- .../pom.xml | 2 +- .../META-INF/MANIFEST.MF | 2 +- test/de.cau.cs.kieler.sccharts.test/pom.xml | 2 +- .../META-INF/MANIFEST.MF | 2 +- test/de.cau.cs.kieler.test.common/pom.xml | 2 +- .../META-INF/MANIFEST.MF | 2 +- test/de.cau.cs.kieler.verification.test/pom.xml | 2 +- 115 files changed, 120 insertions(+), 120 deletions(-) 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 17ded8da80..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 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 f32d200360..e27f44f528 100644 --- a/build/de.cau.cs.kieler.semantics.repository/category.xml +++ b/build/de.cau.cs.kieler.semantics.repository/category.xml @@ -13,22 +13,22 @@ - + - + - + - + - + - + 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/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 ac1e56c126..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 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/plugin.xml b/plugins/de.cau.cs.kieler.core.product/plugin.xml index 0c2aea8c69..351ae169a9 100644 --- a/plugins/de.cau.cs.kieler.core.product/plugin.xml +++ b/plugins/de.cau.cs.kieler.core.product/plugin.xml @@ -14,7 +14,7 @@ - + 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/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 d1b8aea4df..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 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.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 From 235c278b7c7969f3bb9e1029fd082738d29fd0ca Mon Sep 17 00:00:00 2001 From: Alexander Schulz-Rosengarten Date: Tue, 16 Apr 2024 13:17:11 +0200 Subject: [PATCH 14/15] build: Updated splash screen with new version --- .../images/splash.svg | 64 ++++++++++-------- .../de.cau.cs.kieler.core.product/splash.bmp | Bin 495054 -> 495054 bytes 2 files changed, 35 insertions(+), 29 deletions(-) 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 {R93+{_+3- From d2affe2b5c95db9d22316b1d625903cbd3f2eabf Mon Sep 17 00:00:00 2001 From: Max Kasperowski Date: Thu, 25 Apr 2024 16:28:04 +0200 Subject: [PATCH 15/15] Update ci.yml --- .github/workflows/ci.yml | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 00926791ae..178c0e5638 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -71,7 +71,7 @@ jobs: # Archive Repository - name: Archive Semantics Repository Artifact if: ${{ github.ref == 'refs/heads/master' || startsWith(github.ref, 'refs/heads/release-') }} - uses: actions/upload-artifact@v2 + uses: actions/upload-artifact@v4 with: name: Semantics Repository Artifact path: build/de.cau.cs.kieler.semantics.repository/target/repository/ @@ -91,7 +91,7 @@ jobs: cp build/de.cau.cs.kieler.language.server.cli/target/de.cau.cs.kieler.language.server.cli-*-app.jar products/ls - name: Archive All Products if: ${{ github.ref == 'refs/heads/master' || startsWith(github.ref, 'refs/heads/release-') }} - uses: actions/upload-artifact@v2 + uses: actions/upload-artifact@v4 with: name: All Semantics Products path: products @@ -99,21 +99,21 @@ jobs: # Archive Eclipse RCA - name: Archive KIELER Semantics RCA Windows - uses: actions/upload-artifact@v2 + uses: actions/upload-artifact@v4 with: name: KIELER RCA Windows path: build/de.cau.cs.kieler.semantics.product.repository/target/products/sccharts_rca_*-win32.win32.x86_64.zip if-no-files-found: error - name: Archive KIELER Semantics RCA Linux - uses: actions/upload-artifact@v2 + uses: actions/upload-artifact@v4 with: name: KIELER RCA Linux path: build/de.cau.cs.kieler.semantics.product.repository/target/products/sccharts_rca_*-linux.gtk.x86_64.tar.gz if-no-files-found: error - name: Archive KIELER Semantics RCA MacOS - uses: actions/upload-artifact@v2 + uses: actions/upload-artifact@v4 with: name: KIELER RCA MacOS path: build/de.cau.cs.kieler.semantics.product.repository/target/products/sccharts_rca_*-macosx.cocoa.*.tar.gz @@ -121,7 +121,7 @@ jobs: # Kieler Compiler CLI - name: Archive KIELER Compiler CLI Jar - uses: actions/upload-artifact@v2 + uses: actions/upload-artifact@v4 with: name: KIELER Compiler CLI Jar path: build/de.cau.cs.kieler.kicool.cli/target/exe/kico.jar @@ -150,21 +150,21 @@ jobs: # Kieler Compiler Diagrams CLI - name: Archive KIELER Compiler Diagrams CLI Windows Jar - uses: actions/upload-artifact@v2 + uses: actions/upload-artifact@v4 with: name: KIELER Compiler Diagrams CLI Windows Jar path: build/de.cau.cs.kieler.kicool.klighd.cli/target/exe/kicodia.win.jar if-no-files-found: error - name: Archive KIELER Compiler Diagrams CLI Linux Jar - uses: actions/upload-artifact@v2 + uses: actions/upload-artifact@v4 with: name: KIELER Compiler Diagrams CLI Linux Jar path: build/de.cau.cs.kieler.kicool.klighd.cli/target/exe/kicodia.linux.jar if-no-files-found: error - name: Archive KIELER Compiler Diagrams CLI MacOS Jar - uses: actions/upload-artifact@v2 + uses: actions/upload-artifact@v4 with: name: KIELER Compiler Diagrams CLI MacOS Jar path: | @@ -195,7 +195,7 @@ jobs: # SCCharts Compiler CLI - name: Archive SCCharts Compiler CLI Jar - uses: actions/upload-artifact@v2 + uses: actions/upload-artifact@v4 with: name: SCCharts Compiler CLI Jar path: build/de.cau.cs.kieler.sccharts.cli/target/exe/scc.jar @@ -224,7 +224,7 @@ jobs: # Kieler Language Server - name: Archive KIELER Language Server - uses: actions/upload-artifact@v2 + uses: actions/upload-artifact@v4 with: name: KIELER Language Server path: build/de.cau.cs.kieler.language.server.cli/target/de.cau.cs.kieler.language.server.cli-*-app.jar @@ -284,4 +284,4 @@ jobs: - name: Tests CLI run: mvn --update-snapshots clean verify -P semantics.cli.test --file build/pom.xml env: - MAVEN_OPTS: '-Xmx2048M' \ No newline at end of file + MAVEN_OPTS: '-Xmx2048M'