diff --git a/trunk/source/ACSLParser/META-INF/MANIFEST.MF b/trunk/source/ACSLParser/META-INF/MANIFEST.MF index 6aa35f9a293..80a511bc614 100644 --- a/trunk/source/ACSLParser/META-INF/MANIFEST.MF +++ b/trunk/source/ACSLParser/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: ACSLParser Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.acsl.parser;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-RequiredExecutionEnvironment: JavaSE-1.8 Export-Package: de.uni_freiburg.informatik.ultimate.acsl.parser, de.uni_freiburg.informatik.ultimate.model.acsl, diff --git a/trunk/source/ACSLParser/pom.xml b/trunk/source/ACSLParser/pom.xml index 01a34078339..7d43035f334 100644 --- a/trunk/source/ACSLParser/pom.xml +++ b/trunk/source/ACSLParser/pom.xml @@ -32,7 +32,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/ASTBuilder/META-INF/MANIFEST.MF b/trunk/source/ASTBuilder/META-INF/MANIFEST.MF index f94512fa78e..1a705216898 100644 --- a/trunk/source/ASTBuilder/META-INF/MANIFEST.MF +++ b/trunk/source/ASTBuilder/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: ASTBuilder Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.astbuilder -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Require-Bundle: com.github.jhoenicke.javacup Export-Package: de.uni_freiburg.informatik.ultimate.astbuilder Bundle-RequiredExecutionEnvironment: JavaSE-1.8 diff --git a/trunk/source/ASTBuilder/pom.xml b/trunk/source/ASTBuilder/pom.xml index eaffbd64151..691bfc2099d 100644 --- a/trunk/source/ASTBuilder/pom.xml +++ b/trunk/source/ASTBuilder/pom.xml @@ -35,7 +35,7 @@ de.uni_freiburg.informatik.ultimate mavenparent - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate diff --git a/trunk/source/AbstractInterpretationV2/META-INF/MANIFEST.MF b/trunk/source/AbstractInterpretationV2/META-INF/MANIFEST.MF index 13393cd0b5b..c3af231ede1 100644 --- a/trunk/source/AbstractInterpretationV2/META-INF/MANIFEST.MF +++ b/trunk/source/AbstractInterpretationV2/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: AbstractInterpretation Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.lib.smtlib, de.uni_freiburg.informatik.ultimate.lib.smtlibutils, diff --git a/trunk/source/AbstractInterpretationV2/pom.xml b/trunk/source/AbstractInterpretationV2/pom.xml index a0ed0272c5e..94783a26fe0 100644 --- a/trunk/source/AbstractInterpretationV2/pom.xml +++ b/trunk/source/AbstractInterpretationV2/pom.xml @@ -31,12 +31,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2 - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/AbstractInterpretationV2Test/META-INF/MANIFEST.MF b/trunk/source/AbstractInterpretationV2Test/META-INF/MANIFEST.MF index 385ee04adac..e0ed2ba187d 100644 --- a/trunk/source/AbstractInterpretationV2Test/META-INF/MANIFEST.MF +++ b/trunk/source/AbstractInterpretationV2Test/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: AbstractInterpretationV2Test Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2.test -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Fragment-Host: de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2 Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: de.uni_freiburg.informatik.ultimate.core, diff --git a/trunk/source/AbstractInterpretationV2Test/pom.xml b/trunk/source/AbstractInterpretationV2Test/pom.xml index c0c4f5079b1..c9517ce4eb2 100644 --- a/trunk/source/AbstractInterpretationV2Test/pom.xml +++ b/trunk/source/AbstractInterpretationV2Test/pom.xml @@ -35,7 +35,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/AutomataScriptInterpreter/META-INF/MANIFEST.MF b/trunk/source/AutomataScriptInterpreter/META-INF/MANIFEST.MF index 24516f04c61..e967a137f9d 100644 --- a/trunk/source/AutomataScriptInterpreter/META-INF/MANIFEST.MF +++ b/trunk/source/AutomataScriptInterpreter/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: AutomataScriptInterpreter Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.util, de.uni_freiburg.informatik.ultimate.core, de.uni_freiburg.informatik.ultimate.lib.core, diff --git a/trunk/source/AutomataScriptInterpreter/pom.xml b/trunk/source/AutomataScriptInterpreter/pom.xml index 0323f6545dc..8b91070b129 100644 --- a/trunk/source/AutomataScriptInterpreter/pom.xml +++ b/trunk/source/AutomataScriptInterpreter/pom.xml @@ -30,11 +30,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/AutomataScriptParser/META-INF/MANIFEST.MF b/trunk/source/AutomataScriptParser/META-INF/MANIFEST.MF index 83943cd6e44..d0bacba94a3 100644 --- a/trunk/source/AutomataScriptParser/META-INF/MANIFEST.MF +++ b/trunk/source/AutomataScriptParser/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: AutomataScriptParser Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.source.automatascriptparser;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.util, de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.lib.ultimatemodel, diff --git a/trunk/source/AutomataScriptParser/pom.xml b/trunk/source/AutomataScriptParser/pom.xml index 25519c68063..1584c307c41 100644 --- a/trunk/source/AutomataScriptParser/pom.xml +++ b/trunk/source/AutomataScriptParser/pom.xml @@ -30,13 +30,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.source.automatascriptparser - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/AutomatonDeltaDebugger/META-INF/MANIFEST.MF b/trunk/source/AutomatonDeltaDebugger/META-INF/MANIFEST.MF index 45882a021c4..178e721ede9 100644 --- a/trunk/source/AutomatonDeltaDebugger/META-INF/MANIFEST.MF +++ b/trunk/source/AutomatonDeltaDebugger/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Automaton Delta Debugger Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.analysis.automatondeltadebugger;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-Activator: de.uni_freiburg.informatik.ultimate.plugins.analysis.automatondeltadebugger.Activator Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.core, diff --git a/trunk/source/AutomatonDeltaDebugger/pom.xml b/trunk/source/AutomatonDeltaDebugger/pom.xml index 6ea1fe5df56..93ad3963332 100644 --- a/trunk/source/AutomatonDeltaDebugger/pom.xml +++ b/trunk/source/AutomatonDeltaDebugger/pom.xml @@ -31,12 +31,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.analysis.automatondeltadebugger - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml b/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml index e22e8063ce5..48cf7a78d7b 100644 --- a/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml +++ b/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml @@ -2,7 +2,7 @@ diff --git a/trunk/source/BA_FeatureDependenciesCommandlineE4/pom.xml b/trunk/source/BA_FeatureDependenciesCommandlineE4/pom.xml index 57283ae755f..1bdeff802dd 100644 --- a/trunk/source/BA_FeatureDependenciesCommandlineE4/pom.xml +++ b/trunk/source/BA_FeatureDependenciesCommandlineE4/pom.xml @@ -4,11 +4,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml BA_FeatureDependenciesCommandlineE4 - 0.2.2 + 0.2.3 eclipse-feature \ No newline at end of file diff --git a/trunk/source/BA_FeatureDependenciesCommon/feature.xml b/trunk/source/BA_FeatureDependenciesCommon/feature.xml index 21badc62570..a73b0c2a272 100644 --- a/trunk/source/BA_FeatureDependenciesCommon/feature.xml +++ b/trunk/source/BA_FeatureDependenciesCommon/feature.xml @@ -2,7 +2,7 @@ diff --git a/trunk/source/BA_FeatureDependenciesCommon/pom.xml b/trunk/source/BA_FeatureDependenciesCommon/pom.xml index 5b19a1f200b..ca11f9f9c43 100644 --- a/trunk/source/BA_FeatureDependenciesCommon/pom.xml +++ b/trunk/source/BA_FeatureDependenciesCommon/pom.xml @@ -4,11 +4,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml BA_FeatureDependenciesCommon - 0.2.2 + 0.2.3 eclipse-feature \ No newline at end of file diff --git a/trunk/source/BA_FeatureDependenciesDebugE4/feature.xml b/trunk/source/BA_FeatureDependenciesDebugE4/feature.xml index 50e622d9704..47a6a332527 100644 --- a/trunk/source/BA_FeatureDependenciesDebugE4/feature.xml +++ b/trunk/source/BA_FeatureDependenciesDebugE4/feature.xml @@ -2,7 +2,7 @@ diff --git a/trunk/source/BA_FeatureDependenciesDebugE4/pom.xml b/trunk/source/BA_FeatureDependenciesDebugE4/pom.xml index 6889b46570e..9b96d3e6a52 100644 --- a/trunk/source/BA_FeatureDependenciesDebugE4/pom.xml +++ b/trunk/source/BA_FeatureDependenciesDebugE4/pom.xml @@ -4,11 +4,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml BA_FeatureDependenciesDebugE4 - 0.2.2 + 0.2.3 eclipse-feature \ No newline at end of file diff --git a/trunk/source/BA_FeatureUltimateCommandLine/feature.xml b/trunk/source/BA_FeatureUltimateCommandLine/feature.xml index fea3dd3bbe9..721a2d2f5b2 100644 --- a/trunk/source/BA_FeatureUltimateCommandLine/feature.xml +++ b/trunk/source/BA_FeatureUltimateCommandLine/feature.xml @@ -2,7 +2,7 @@ diff --git a/trunk/source/BA_FeatureUltimateCommandLine/pom.xml b/trunk/source/BA_FeatureUltimateCommandLine/pom.xml index 96831f6895f..9a427656822 100644 --- a/trunk/source/BA_FeatureUltimateCommandLine/pom.xml +++ b/trunk/source/BA_FeatureUltimateCommandLine/pom.xml @@ -4,7 +4,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BA_FeatureUltimateCommon/feature.xml b/trunk/source/BA_FeatureUltimateCommon/feature.xml index 928d2194f50..e5660f70c71 100644 --- a/trunk/source/BA_FeatureUltimateCommon/feature.xml +++ b/trunk/source/BA_FeatureUltimateCommon/feature.xml @@ -2,7 +2,7 @@ diff --git a/trunk/source/BA_FeatureUltimateCommon/pom.xml b/trunk/source/BA_FeatureUltimateCommon/pom.xml index 0cfb97a2c5f..9ef595bb895 100644 --- a/trunk/source/BA_FeatureUltimateCommon/pom.xml +++ b/trunk/source/BA_FeatureUltimateCommon/pom.xml @@ -6,7 +6,7 @@ de.uni_freiburg.informatik.ultimate mavenparent - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BA_FeatureUltimateDebug/feature.xml b/trunk/source/BA_FeatureUltimateDebug/feature.xml index 938ebe59c99..cf4ca620276 100644 --- a/trunk/source/BA_FeatureUltimateDebug/feature.xml +++ b/trunk/source/BA_FeatureUltimateDebug/feature.xml @@ -2,7 +2,7 @@ diff --git a/trunk/source/BA_FeatureUltimateDebug/pom.xml b/trunk/source/BA_FeatureUltimateDebug/pom.xml index 599774a4d6e..eb6e356c4ad 100644 --- a/trunk/source/BA_FeatureUltimateDebug/pom.xml +++ b/trunk/source/BA_FeatureUltimateDebug/pom.xml @@ -6,7 +6,7 @@ de.uni_freiburg.informatik.ultimate mavenparent - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml b/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml index ce4611f20c0..67f4f540b66 100644 --- a/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml +++ b/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml @@ -2,7 +2,7 @@ + version="0.2.3"> diff --git a/trunk/source/BA_FeatureUltimateDeltaDebugger/pom.xml b/trunk/source/BA_FeatureUltimateDeltaDebugger/pom.xml index f928264f1fd..14d45ad5970 100644 --- a/trunk/source/BA_FeatureUltimateDeltaDebugger/pom.xml +++ b/trunk/source/BA_FeatureUltimateDeltaDebugger/pom.xml @@ -4,7 +4,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BA_FeatureUltimateWebbridge/feature.xml b/trunk/source/BA_FeatureUltimateWebbridge/feature.xml index 5d83839fba6..52321110671 100644 --- a/trunk/source/BA_FeatureUltimateWebbridge/feature.xml +++ b/trunk/source/BA_FeatureUltimateWebbridge/feature.xml @@ -1,7 +1,7 @@ + version="0.2.3"> mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BA_MavenParentUltimate/pom.xml b/trunk/source/BA_MavenParentUltimate/pom.xml index 829fd1816d7..9b274f18af2 100644 --- a/trunk/source/BA_MavenParentUltimate/pom.xml +++ b/trunk/source/BA_MavenParentUltimate/pom.xml @@ -4,7 +4,7 @@ 4.0.0 de.uni_freiburg.informatik.ultimate mavenparent - 0.2.2 + 0.2.3 pom Ultimate @@ -16,7 +16,7 @@ - 0.2.2 + 0.2.3 diff --git a/trunk/source/BA_SiteRepository/CLI-E4.product b/trunk/source/BA_SiteRepository/CLI-E4.product index 4fa5b808ed6..2b22333d0ad 100644 --- a/trunk/source/BA_SiteRepository/CLI-E4.product +++ b/trunk/source/BA_SiteRepository/CLI-E4.product @@ -1,7 +1,7 @@ - + diff --git a/trunk/source/BA_SiteRepository/Debug-E4.product b/trunk/source/BA_SiteRepository/Debug-E4.product index 52da343b728..8ee0d61e7df 100644 --- a/trunk/source/BA_SiteRepository/Debug-E4.product +++ b/trunk/source/BA_SiteRepository/Debug-E4.product @@ -1,7 +1,7 @@ - + @@ -40,10 +40,10 @@ - - - - + + + + diff --git a/trunk/source/BA_SiteRepository/DeltaDebugger.product b/trunk/source/BA_SiteRepository/DeltaDebugger.product index b37732e6d9a..03e4a1d93eb 100644 --- a/trunk/source/BA_SiteRepository/DeltaDebugger.product +++ b/trunk/source/BA_SiteRepository/DeltaDebugger.product @@ -1,7 +1,7 @@ - + @@ -43,9 +43,9 @@ - - - + + + diff --git a/trunk/source/BA_SiteRepository/ReqAnalyzer.product b/trunk/source/BA_SiteRepository/ReqAnalyzer.product index c4388e4eed6..2820a69f015 100644 --- a/trunk/source/BA_SiteRepository/ReqAnalyzer.product +++ b/trunk/source/BA_SiteRepository/ReqAnalyzer.product @@ -1,7 +1,7 @@ - + @@ -45,9 +45,9 @@ - - - + + + diff --git a/trunk/source/BA_SiteRepository/UltimateEliminator.product b/trunk/source/BA_SiteRepository/UltimateEliminator.product index f2758897629..b774c8bc4aa 100644 --- a/trunk/source/BA_SiteRepository/UltimateEliminator.product +++ b/trunk/source/BA_SiteRepository/UltimateEliminator.product @@ -1,7 +1,7 @@ - + diff --git a/trunk/source/BA_SiteRepository/Webbridge.product b/trunk/source/BA_SiteRepository/Webbridge.product index b3ff5ec4b3f..bf33c78102d 100644 --- a/trunk/source/BA_SiteRepository/Webbridge.product +++ b/trunk/source/BA_SiteRepository/Webbridge.product @@ -1,7 +1,7 @@ - + @@ -41,8 +41,8 @@ - - + + diff --git a/trunk/source/BA_SiteRepository/pom.xml b/trunk/source/BA_SiteRepository/pom.xml index 1518abce5e1..7d45087a64f 100644 --- a/trunk/source/BA_SiteRepository/pom.xml +++ b/trunk/source/BA_SiteRepository/pom.xml @@ -5,7 +5,7 @@ de.uni_freiburg.informatik.ultimate mavenparent - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BA_Website/pom.xml b/trunk/source/BA_Website/pom.xml index cb22b75cd2b..b58702bbebc 100644 --- a/trunk/source/BA_Website/pom.xml +++ b/trunk/source/BA_Website/pom.xml @@ -5,7 +5,7 @@ de.uni_freiburg.informatik.ultimate mavenparent - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BlockEncoding/META-INF/MANIFEST.MF b/trunk/source/BlockEncoding/META-INF/MANIFEST.MF index 3548bdaf656..40f1012d217 100644 --- a/trunk/source/BlockEncoding/META-INF/MANIFEST.MF +++ b/trunk/source/BlockEncoding/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: BlockEncoding Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.blockencoding;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.core, de.uni_freiburg.informatik.ultimate.lib.util, diff --git a/trunk/source/BlockEncoding/pom.xml b/trunk/source/BlockEncoding/pom.xml index dea6080115f..4be587a2768 100644 --- a/trunk/source/BlockEncoding/pom.xml +++ b/trunk/source/BlockEncoding/pom.xml @@ -30,11 +30,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.generator.blockencoding - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/BlockEncodingV2/META-INF/MANIFEST.MF b/trunk/source/BlockEncodingV2/META-INF/MANIFEST.MF index 5e3a42a7f92..fa3d857f24c 100644 --- a/trunk/source/BlockEncodingV2/META-INF/MANIFEST.MF +++ b/trunk/source/BlockEncodingV2/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: BlockEncodingV2 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.blockencoding;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-Activator: de.uni_freiburg.informatik.ultimate.plugins.blockencoding.Activator Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.lib.util, diff --git a/trunk/source/BlockEncodingV2/pom.xml b/trunk/source/BlockEncodingV2/pom.xml index 8225b921d19..5eed54fbf28 100644 --- a/trunk/source/BlockEncodingV2/pom.xml +++ b/trunk/source/BlockEncodingV2/pom.xml @@ -23,12 +23,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.blockencoding - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/BoogieModSetAnnotator/META-INF/MANIFEST.MF b/trunk/source/BoogieModSetAnnotator/META-INF/MANIFEST.MF index c583e4ccfa6..40d55acc314 100644 --- a/trunk/source/BoogieModSetAnnotator/META-INF/MANIFEST.MF +++ b/trunk/source/BoogieModSetAnnotator/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Boogie Modifies Set Annotator Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.modsetannotator;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-Activator: de.uni_freiburg.informatik.ultimate.plugins.generator.modsetannotator.Activator Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.lib.util, diff --git a/trunk/source/BoogieModSetAnnotator/pom.xml b/trunk/source/BoogieModSetAnnotator/pom.xml index 6ac03dae825..6a161719b1a 100644 --- a/trunk/source/BoogieModSetAnnotator/pom.xml +++ b/trunk/source/BoogieModSetAnnotator/pom.xml @@ -31,12 +31,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.generator.modsetannotator - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/BoogiePLParser/META-INF/MANIFEST.MF b/trunk/source/BoogiePLParser/META-INF/MANIFEST.MF index f38d97d1a56..382bc482be2 100644 --- a/trunk/source/BoogiePLParser/META-INF/MANIFEST.MF +++ b/trunk/source/BoogiePLParser/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: BoogieParser Plug-in Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.boogie.parser;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-Vendor: Ultimate@Uni Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.core, diff --git a/trunk/source/BoogiePLParser/pom.xml b/trunk/source/BoogiePLParser/pom.xml index 26184b816b8..1edb955b28c 100644 --- a/trunk/source/BoogiePLParser/pom.xml +++ b/trunk/source/BoogiePLParser/pom.xml @@ -32,13 +32,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.boogie.parser - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/BoogiePreprocessor/META-INF/MANIFEST.MF b/trunk/source/BoogiePreprocessor/META-INF/MANIFEST.MF index 030a84ab9af..2aae33b0b06 100644 --- a/trunk/source/BoogiePreprocessor/META-INF/MANIFEST.MF +++ b/trunk/source/BoogiePreprocessor/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Boogie Preprocessor Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.boogie.preprocessor;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-Activator: de.uni_freiburg.informatik.ultimate.boogie.preprocessor.Activator Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.lib.util, diff --git a/trunk/source/BoogiePreprocessor/pom.xml b/trunk/source/BoogiePreprocessor/pom.xml index 8d4a353f39b..a0681436126 100644 --- a/trunk/source/BoogiePreprocessor/pom.xml +++ b/trunk/source/BoogiePreprocessor/pom.xml @@ -31,12 +31,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.boogie.preprocessor - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/BoogiePreprocessorTest/META-INF/MANIFEST.MF b/trunk/source/BoogiePreprocessorTest/META-INF/MANIFEST.MF index 8e2de30cb2b..32d65791380 100644 --- a/trunk/source/BoogiePreprocessorTest/META-INF/MANIFEST.MF +++ b/trunk/source/BoogiePreprocessorTest/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: BoogiePreprocessorTest Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.boogie.preprocessor.test -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Fragment-Host: de.uni_freiburg.informatik.ultimate.boogie.preprocessor Bundle-RequiredExecutionEnvironment: JavaSE-1.8 Require-Bundle: org.junit diff --git a/trunk/source/BoogiePreprocessorTest/pom.xml b/trunk/source/BoogiePreprocessorTest/pom.xml index a9aecdafcc4..cb21156ad3b 100644 --- a/trunk/source/BoogiePreprocessorTest/pom.xml +++ b/trunk/source/BoogiePreprocessorTest/pom.xml @@ -28,13 +28,13 @@ xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd"> 4.0.0 de.uni_freiburg.informatik.ultimate.boogie.preprocessor.test - 0.2.2 + 0.2.3 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BoogiePrinter/META-INF/MANIFEST.MF b/trunk/source/BoogiePrinter/META-INF/MANIFEST.MF index 863e59f9a0b..d115d31940a 100644 --- a/trunk/source/BoogiePrinter/META-INF/MANIFEST.MF +++ b/trunk/source/BoogiePrinter/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: BoogiePrinter Plug-in Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.boogie.printer;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.lib.boogieast, de.uni_freiburg.informatik.ultimate.core, diff --git a/trunk/source/BoogiePrinter/pom.xml b/trunk/source/BoogiePrinter/pom.xml index 9be870a288e..96495c4eb12 100644 --- a/trunk/source/BoogiePrinter/pom.xml +++ b/trunk/source/BoogiePrinter/pom.xml @@ -30,11 +30,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.boogie.printer - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/BoogieProcedureInliner/META-INF/MANIFEST.MF b/trunk/source/BoogieProcedureInliner/META-INF/MANIFEST.MF index 4bbcb6acdb3..d049e711f16 100644 --- a/trunk/source/BoogieProcedureInliner/META-INF/MANIFEST.MF +++ b/trunk/source/BoogieProcedureInliner/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: BoogieProcedureInliner Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.boogie.procedureinliner;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-Activator: de.uni_freiburg.informatik.ultimate.boogie.procedureinliner.Activator Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.lib.util, diff --git a/trunk/source/BoogieProcedureInliner/pom.xml b/trunk/source/BoogieProcedureInliner/pom.xml index 31269379143..ebf089de773 100644 --- a/trunk/source/BoogieProcedureInliner/pom.xml +++ b/trunk/source/BoogieProcedureInliner/pom.xml @@ -32,11 +32,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.boogie.procedureinliner - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/BuchiAutomizer/META-INF/MANIFEST.MF b/trunk/source/BuchiAutomizer/META-INF/MANIFEST.MF index 40cfbc6bbaa..1605b93904f 100644 --- a/trunk/source/BuchiAutomizer/META-INF/MANIFEST.MF +++ b/trunk/source/BuchiAutomizer/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: BuchiAutomizer Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.lib.util, de.uni_freiburg.informatik.ultimate.lib.smtlib, diff --git a/trunk/source/BuchiAutomizer/pom.xml b/trunk/source/BuchiAutomizer/pom.xml index b3530c04989..ec73bd5c51c 100644 --- a/trunk/source/BuchiAutomizer/pom.xml +++ b/trunk/source/BuchiAutomizer/pom.xml @@ -28,13 +28,13 @@ 4.0.0 de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer - 0.2.2 + 0.2.3 eclipse-plugin de.uni_freiburg.informatik.ultimate mavenparent - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BuchiProgramProduct/META-INF/MANIFEST.MF b/trunk/source/BuchiProgramProduct/META-INF/MANIFEST.MF index 8403eca4792..e2508816635 100644 --- a/trunk/source/BuchiProgramProduct/META-INF/MANIFEST.MF +++ b/trunk/source/BuchiProgramProduct/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: BuchiProgramProduct Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.buchiprogramproduct;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-Activator: de.uni_freiburg.informatik.ultimate.buchiprogramproduct.Activator Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.lib.util, diff --git a/trunk/source/BuchiProgramProduct/pom.xml b/trunk/source/BuchiProgramProduct/pom.xml index 3734b2f6ede..cd4d48428f6 100644 --- a/trunk/source/BuchiProgramProduct/pom.xml +++ b/trunk/source/BuchiProgramProduct/pom.xml @@ -32,12 +32,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.buchiprogramproduct - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/CACSL2BoogieTranslator/META-INF/MANIFEST.MF b/trunk/source/CACSL2BoogieTranslator/META-INF/MANIFEST.MF index e43806be445..308e3a71884 100644 --- a/trunk/source/CACSL2BoogieTranslator/META-INF/MANIFEST.MF +++ b/trunk/source/CACSL2BoogieTranslator/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: CACSL2BoogieTranslator Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-Activator: de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.Activator Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.lib.boogieast, diff --git a/trunk/source/CACSL2BoogieTranslator/pom.xml b/trunk/source/CACSL2BoogieTranslator/pom.xml index e7b0b446ca0..fe67af78e46 100644 --- a/trunk/source/CACSL2BoogieTranslator/pom.xml +++ b/trunk/source/CACSL2BoogieTranslator/pom.xml @@ -31,7 +31,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/CDTParser/META-INF/MANIFEST.MF b/trunk/source/CDTParser/META-INF/MANIFEST.MF index 433e5f83d40..42263f4bab7 100644 --- a/trunk/source/CDTParser/META-INF/MANIFEST.MF +++ b/trunk/source/CDTParser/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: CDTParser Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.cdt.parser;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.core, org.eclipse.cdt.core, diff --git a/trunk/source/CDTParser/pom.xml b/trunk/source/CDTParser/pom.xml index c9813d7ad62..9444eae61a4 100644 --- a/trunk/source/CDTParser/pom.xml +++ b/trunk/source/CDTParser/pom.xml @@ -31,7 +31,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/CDTPlugin/META-INF/MANIFEST.MF b/trunk/source/CDTPlugin/META-INF/MANIFEST.MF index bc77019501c..11a334c173b 100644 --- a/trunk/source/CDTPlugin/META-INF/MANIFEST.MF +++ b/trunk/source/CDTPlugin/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: CDTPlugin Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.cdt;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-Activator: de.uni_freiburg.informatik.ultimate.cdt.Activator Bundle-ActivationPolicy: lazy Bundle-RequiredExecutionEnvironment: JavaSE-11 diff --git a/trunk/source/CDTPlugin/pom.xml b/trunk/source/CDTPlugin/pom.xml index a13a9714d1a..40d1f040687 100644 --- a/trunk/source/CDTPlugin/pom.xml +++ b/trunk/source/CDTPlugin/pom.xml @@ -31,7 +31,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/ChcSmtPrinter/META-INF/MANIFEST.MF b/trunk/source/ChcSmtPrinter/META-INF/MANIFEST.MF index f67a80fcf9e..f2a77536b65 100644 --- a/trunk/source/ChcSmtPrinter/META-INF/MANIFEST.MF +++ b/trunk/source/ChcSmtPrinter/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: ChcSmtPrinter Plug-in Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.chcprinter;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.core, de.uni_freiburg.informatik.ultimate.lib.chc, diff --git a/trunk/source/ChcSmtPrinter/pom.xml b/trunk/source/ChcSmtPrinter/pom.xml index fa7a20872e6..9324064e8b6 100644 --- a/trunk/source/ChcSmtPrinter/pom.xml +++ b/trunk/source/ChcSmtPrinter/pom.xml @@ -30,11 +30,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.chcprinter - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/ChcToBoogie/META-INF/MANIFEST.MF b/trunk/source/ChcToBoogie/META-INF/MANIFEST.MF index b7d1a210d1a..f7303cfd377 100644 --- a/trunk/source/ChcToBoogie/META-INF/MANIFEST.MF +++ b/trunk/source/ChcToBoogie/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: ChcToBoogie Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.chctoboogie;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-Activator: de.uni_freiburg.informatik.ultimate.plugins.chctoboogie.Activator Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.lib.util, diff --git a/trunk/source/ChcToBoogie/pom.xml b/trunk/source/ChcToBoogie/pom.xml index f9347527201..70fa4dbfdb0 100644 --- a/trunk/source/ChcToBoogie/pom.xml +++ b/trunk/source/ChcToBoogie/pom.xml @@ -23,12 +23,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.chctoboogie - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/CodeCheck/META-INF/MANIFEST.MF b/trunk/source/CodeCheck/META-INF/MANIFEST.MF index 9d5f73c7c3e..48605c5b35b 100644 --- a/trunk/source/CodeCheck/META-INF/MANIFEST.MF +++ b/trunk/source/CodeCheck/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: CodeCheck Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.core, de.uni_freiburg.informatik.ultimate.lib.smtlibutils, diff --git a/trunk/source/CodeCheck/pom.xml b/trunk/source/CodeCheck/pom.xml index d9272bd8ec8..eff2b75e71b 100644 --- a/trunk/source/CodeCheck/pom.xml +++ b/trunk/source/CodeCheck/pom.xml @@ -32,11 +32,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/CoreRCP/META-INF/MANIFEST.MF b/trunk/source/CoreRCP/META-INF/MANIFEST.MF index 0cf527f2ea7..f867fe6d620 100644 --- a/trunk/source/CoreRCP/META-INF/MANIFEST.MF +++ b/trunk/source/CoreRCP/META-INF/MANIFEST.MF @@ -3,7 +3,7 @@ Eclipse-BuddyPolicy: dependent Bundle-ManifestVersion: 2 Bundle-Name: CoreRCP Plug-in Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.core;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-Activator: de.uni_freiburg.informatik.ultimate.core.coreplugin.Activator Require-Bundle: org.eclipse.core.runtime;visibility:=reexport, de.uni_freiburg.informatik.ultimate.lib.core;visibility:=reexport, diff --git a/trunk/source/CoreRCP/pom.xml b/trunk/source/CoreRCP/pom.xml index a09a3355ea3..5b68db80c5f 100644 --- a/trunk/source/CoreRCP/pom.xml +++ b/trunk/source/CoreRCP/pom.xml @@ -32,12 +32,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.core - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/CoreRCPTest/META-INF/MANIFEST.MF b/trunk/source/CoreRCPTest/META-INF/MANIFEST.MF index af4e987b0f3..4ed31a6a49f 100644 --- a/trunk/source/CoreRCPTest/META-INF/MANIFEST.MF +++ b/trunk/source/CoreRCPTest/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: CoreRCPTest Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.core.test -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-ActivationPolicy: lazy Fragment-Host: de.uni_freiburg.informatik.ultimate.core Bundle-RequiredExecutionEnvironment: JavaSE-1.8 diff --git a/trunk/source/CoreRCPTest/pom.xml b/trunk/source/CoreRCPTest/pom.xml index 16742e164a5..7a6352e282c 100644 --- a/trunk/source/CoreRCPTest/pom.xml +++ b/trunk/source/CoreRCPTest/pom.xml @@ -3,13 +3,13 @@ 4.0.0 de.uni_freiburg.informatik.ultimate.core.test - 0.2.2 + 0.2.3 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Crocotta/META-INF/MANIFEST.MF b/trunk/source/Crocotta/META-INF/MANIFEST.MF index e8b89f1b3b1..46b52a16c72 100644 --- a/trunk/source/Crocotta/META-INF/MANIFEST.MF +++ b/trunk/source/Crocotta/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: PEAtoBoogie Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.crocotta;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-Activator: de.uni_freiburg.informatik.ultimate.crocotta.Activator Bundle-ActivationPolicy: lazy Bundle-RequiredExecutionEnvironment: JavaSE-11 diff --git a/trunk/source/Crocotta/pom.xml b/trunk/source/Crocotta/pom.xml index 2731bf81752..ca357e7b362 100644 --- a/trunk/source/Crocotta/pom.xml +++ b/trunk/source/Crocotta/pom.xml @@ -22,13 +22,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.crocotta - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/GUIGeneratedPreferencePages/META-INF/MANIFEST.MF b/trunk/source/GUIGeneratedPreferencePages/META-INF/MANIFEST.MF index 509264c03e1..010bef334dd 100644 --- a/trunk/source/GUIGeneratedPreferencePages/META-INF/MANIFEST.MF +++ b/trunk/source/GUIGeneratedPreferencePages/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: GUIGeneratedPreferencePages Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.gui.preferencepages;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-RequiredExecutionEnvironment: JavaSE-11 Export-Package: de.uni_freiburg.informatik.ultimate.gui.preferencepages Require-Bundle: org.eclipse.ui;visibility:=reexport, diff --git a/trunk/source/GUIGeneratedPreferencePages/pom.xml b/trunk/source/GUIGeneratedPreferencePages/pom.xml index 8d5a0bb9fa0..dd6739d7743 100644 --- a/trunk/source/GUIGeneratedPreferencePages/pom.xml +++ b/trunk/source/GUIGeneratedPreferencePages/pom.xml @@ -31,11 +31,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.gui.preferencepages - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/GUILoggingWindow/META-INF/MANIFEST.MF b/trunk/source/GUILoggingWindow/META-INF/MANIFEST.MF index 32f3ee371c4..c98b570ef9f 100644 --- a/trunk/source/GUILoggingWindow/META-INF/MANIFEST.MF +++ b/trunk/source/GUILoggingWindow/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: GUILoggingWindow Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.gui.logging;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.core, diff --git a/trunk/source/GUILoggingWindow/pom.xml b/trunk/source/GUILoggingWindow/pom.xml index d2ce3884be8..178d0d10d6e 100644 --- a/trunk/source/GUILoggingWindow/pom.xml +++ b/trunk/source/GUILoggingWindow/pom.xml @@ -31,11 +31,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.gui.logging - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/GuiRCP/META-INF/MANIFEST.MF b/trunk/source/GuiRCP/META-INF/MANIFEST.MF index 74967060182..ee9f34b1446 100644 --- a/trunk/source/GuiRCP/META-INF/MANIFEST.MF +++ b/trunk/source/GuiRCP/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: GuiRCP Plug-in Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.gui;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Require-Bundle: org.eclipse.ui;visibility:=reexport, de.uni_freiburg.informatik.ultimate.lib.core, diff --git a/trunk/source/GuiRCP/pom.xml b/trunk/source/GuiRCP/pom.xml index 9877ea0bdd4..59b8419e6c5 100644 --- a/trunk/source/GuiRCP/pom.xml +++ b/trunk/source/GuiRCP/pom.xml @@ -31,11 +31,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.gui - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/IRSDependencies/META-INF/MANIFEST.MF b/trunk/source/IRSDependencies/META-INF/MANIFEST.MF index e572d12ec15..54fac5eaaaa 100644 --- a/trunk/source/IRSDependencies/META-INF/MANIFEST.MF +++ b/trunk/source/IRSDependencies/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: IRSDependencies Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-RequiredExecutionEnvironment: JavaSE-11 Bundle-ActivationPolicy: lazy Export-Package: de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies.loopdetector, diff --git a/trunk/source/IRSDependencies/pom.xml b/trunk/source/IRSDependencies/pom.xml index 14b48a6c2fb..4110650e9c6 100644 --- a/trunk/source/IRSDependencies/pom.xml +++ b/trunk/source/IRSDependencies/pom.xml @@ -31,12 +31,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/IcfgToChc/META-INF/MANIFEST.MF b/trunk/source/IcfgToChc/META-INF/MANIFEST.MF index b86dc0837a2..9cca73de8d9 100644 --- a/trunk/source/IcfgToChc/META-INF/MANIFEST.MF +++ b/trunk/source/IcfgToChc/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: IcfgToChc Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.icfgtochc;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-Activator: de.uni_freiburg.informatik.ultimate.plugins.icfgtochc.Activator Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.lib.util, diff --git a/trunk/source/IcfgToChc/pom.xml b/trunk/source/IcfgToChc/pom.xml index 97c98a62099..675573675e5 100644 --- a/trunk/source/IcfgToChc/pom.xml +++ b/trunk/source/IcfgToChc/pom.xml @@ -23,12 +23,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.icfgtochc - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/IcfgTransformation/META-INF/MANIFEST.MF b/trunk/source/IcfgTransformation/META-INF/MANIFEST.MF index 24cd6c9174b..88417ea0a60 100644 --- a/trunk/source/IcfgTransformation/META-INF/MANIFEST.MF +++ b/trunk/source/IcfgTransformation/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: IcfgTransformation Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-Activator: de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation.Activator Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.lib.util, diff --git a/trunk/source/IcfgTransformation/pom.xml b/trunk/source/IcfgTransformation/pom.xml index 8f527d89f51..f00b2cb24d2 100644 --- a/trunk/source/IcfgTransformation/pom.xml +++ b/trunk/source/IcfgTransformation/pom.xml @@ -23,12 +23,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/InvariantSynthesis/META-INF/MANIFEST.MF b/trunk/source/InvariantSynthesis/META-INF/MANIFEST.MF index b952884008a..93e837923a2 100644 --- a/trunk/source/InvariantSynthesis/META-INF/MANIFEST.MF +++ b/trunk/source/InvariantSynthesis/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: InvariantSynthesis Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.invariantsynthesis;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.lib.smtlibutils, de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils, diff --git a/trunk/source/InvariantSynthesis/pom.xml b/trunk/source/InvariantSynthesis/pom.xml index 1f11812421d..bdac5304905 100644 --- a/trunk/source/InvariantSynthesis/pom.xml +++ b/trunk/source/InvariantSynthesis/pom.xml @@ -30,13 +30,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.invariantsynthesis - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/JavaCup/pom.xml b/trunk/source/JavaCup/pom.xml index ab2f94fe9c5..34fdbb19993 100644 --- a/trunk/source/JavaCup/pom.xml +++ b/trunk/source/JavaCup/pom.xml @@ -4,7 +4,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/JungVisualization/META-INF/MANIFEST.MF b/trunk/source/JungVisualization/META-INF/MANIFEST.MF index e754509535a..0c6ce19b3b9 100644 --- a/trunk/source/JungVisualization/META-INF/MANIFEST.MF +++ b/trunk/source/JungVisualization/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Jung Visualization Plug-in Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.output.jungvisualization;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, edu.uci.ics.jung, de.uni_freiburg.informatik.ultimate.core, diff --git a/trunk/source/JungVisualization/pom.xml b/trunk/source/JungVisualization/pom.xml index 22f6fc4b7e4..a283edb994b 100644 --- a/trunk/source/JungVisualization/pom.xml +++ b/trunk/source/JungVisualization/pom.xml @@ -33,7 +33,7 @@ de.uni_freiburg.informatik.ultimate mavenparent - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate diff --git a/trunk/source/LTL2aut/META-INF/MANIFEST.MF b/trunk/source/LTL2aut/META-INF/MANIFEST.MF index e2056159ad1..dba427aa628 100644 --- a/trunk/source/LTL2aut/META-INF/MANIFEST.MF +++ b/trunk/source/LTL2aut/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: LTL2aut Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.ltl2aut;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-Activator: de.uni_freiburg.informatik.ultimate.ltl2aut.Activator Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.lib.util, diff --git a/trunk/source/LTL2aut/pom.xml b/trunk/source/LTL2aut/pom.xml index bc218e6916d..df473f14dc6 100644 --- a/trunk/source/LTL2aut/pom.xml +++ b/trunk/source/LTL2aut/pom.xml @@ -32,14 +32,14 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.ltl2aut - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/LassoRanker/META-INF/MANIFEST.MF b/trunk/source/LassoRanker/META-INF/MANIFEST.MF index 2d084e08122..7771424cd1b 100644 --- a/trunk/source/LassoRanker/META-INF/MANIFEST.MF +++ b/trunk/source/LassoRanker/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: LassoRanker Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.util, de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.lib.smtlib, diff --git a/trunk/source/LassoRanker/pom.xml b/trunk/source/LassoRanker/pom.xml index d6795396738..b1831e3c056 100644 --- a/trunk/source/LassoRanker/pom.xml +++ b/trunk/source/LassoRanker/pom.xml @@ -31,12 +31,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/Library-AcceleratedInterpolation/META-INF/MANIFEST.MF b/trunk/source/Library-AcceleratedInterpolation/META-INF/MANIFEST.MF index 691a2e4e65d..f9f0f55985e 100644 --- a/trunk/source/Library-AcceleratedInterpolation/META-INF/MANIFEST.MF +++ b/trunk/source/Library-AcceleratedInterpolation/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Library-AcceleratedInterpolation Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.acceleratedinterpolation -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.smtlibutils, de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils, diff --git a/trunk/source/Library-AcceleratedInterpolation/pom.xml b/trunk/source/Library-AcceleratedInterpolation/pom.xml index 070d8ccbf8f..c5e9a951ba7 100644 --- a/trunk/source/Library-AcceleratedInterpolation/pom.xml +++ b/trunk/source/Library-AcceleratedInterpolation/pom.xml @@ -31,11 +31,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml - 0.2.2 + 0.2.3 eclipse-plugin de.uni_freiburg.informatik.ultimate.lib.acceleratedinterpolation diff --git a/trunk/source/Library-ApacheCommonsCLI/pom.xml b/trunk/source/Library-ApacheCommonsCLI/pom.xml index cd7cd0336ee..55891929318 100644 --- a/trunk/source/Library-ApacheCommonsCLI/pom.xml +++ b/trunk/source/Library-ApacheCommonsCLI/pom.xml @@ -4,7 +4,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-ApacheCommonsLang/pom.xml b/trunk/source/Library-ApacheCommonsLang/pom.xml index 5ee7a5b5296..ae5f520444e 100644 --- a/trunk/source/Library-ApacheCommonsLang/pom.xml +++ b/trunk/source/Library-ApacheCommonsLang/pom.xml @@ -4,7 +4,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-Automata/META-INF/MANIFEST.MF b/trunk/source/Library-Automata/META-INF/MANIFEST.MF index a9d46b6af66..31e5368c9ba 100644 --- a/trunk/source/Library-Automata/META-INF/MANIFEST.MF +++ b/trunk/source/Library-Automata/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Library-Automata Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.automata -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.core, de.uni_freiburg.informatik.ultimate.smtinterpol, diff --git a/trunk/source/Library-Automata/pom.xml b/trunk/source/Library-Automata/pom.xml index 7486813b907..2d9dca13acc 100644 --- a/trunk/source/Library-Automata/pom.xml +++ b/trunk/source/Library-Automata/pom.xml @@ -30,11 +30,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.automata - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/Library-AutomataTest/META-INF/MANIFEST.MF b/trunk/source/Library-AutomataTest/META-INF/MANIFEST.MF index 09ff0da03ef..bd5e224eb42 100644 --- a/trunk/source/Library-AutomataTest/META-INF/MANIFEST.MF +++ b/trunk/source/Library-AutomataTest/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Library-AutomataTest Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.automata.test -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Fragment-Host: de.uni_freiburg.informatik.ultimate.lib.automata Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.test, diff --git a/trunk/source/Library-AutomataTest/pom.xml b/trunk/source/Library-AutomataTest/pom.xml index a2311d23010..29f284c1ed9 100644 --- a/trunk/source/Library-AutomataTest/pom.xml +++ b/trunk/source/Library-AutomataTest/pom.xml @@ -30,11 +30,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.automata.test - 0.2.2 + 0.2.3 eclipse-test-plugin diff --git a/trunk/source/Library-BoogieAST/META-INF/MANIFEST.MF b/trunk/source/Library-BoogieAST/META-INF/MANIFEST.MF index a4a228568b0..0f77df95456 100644 --- a/trunk/source/Library-BoogieAST/META-INF/MANIFEST.MF +++ b/trunk/source/Library-BoogieAST/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Library-BoogieAST Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.boogieast -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-RequiredExecutionEnvironment: JavaSE-11 Export-Package: de.uni_freiburg.informatik.ultimate.boogie, de.uni_freiburg.informatik.ultimate.boogie.annotation, diff --git a/trunk/source/Library-BoogieAST/pom.xml b/trunk/source/Library-BoogieAST/pom.xml index 735b1490566..112e8b603bc 100644 --- a/trunk/source/Library-BoogieAST/pom.xml +++ b/trunk/source/Library-BoogieAST/pom.xml @@ -24,12 +24,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.boogieast - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/Library-CHC/META-INF/MANIFEST.MF b/trunk/source/Library-CHC/META-INF/MANIFEST.MF index 27976e75372..c8278ce785e 100644 --- a/trunk/source/Library-CHC/META-INF/MANIFEST.MF +++ b/trunk/source/Library-CHC/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Library-TreeAutomizer Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.chc -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-RequiredExecutionEnvironment: JavaSE-11 Bundle-ClassPath: . Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.smtlibutils, diff --git a/trunk/source/Library-CHC/pom.xml b/trunk/source/Library-CHC/pom.xml index 66f1605c6a1..b58ab01d3d3 100644 --- a/trunk/source/Library-CHC/pom.xml +++ b/trunk/source/Library-CHC/pom.xml @@ -30,11 +30,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.chc - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/Library-CZT/pom.xml b/trunk/source/Library-CZT/pom.xml index 6c74bdd2ffd..c6cdc890770 100644 --- a/trunk/source/Library-CZT/pom.xml +++ b/trunk/source/Library-CZT/pom.xml @@ -4,7 +4,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-Disruptor/pom.xml b/trunk/source/Library-Disruptor/pom.xml index bb6c9af7d42..036b0d5b563 100644 --- a/trunk/source/Library-Disruptor/pom.xml +++ b/trunk/source/Library-Disruptor/pom.xml @@ -4,7 +4,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-IcfgTransformer/META-INF/MANIFEST.MF b/trunk/source/Library-IcfgTransformer/META-INF/MANIFEST.MF index 4bed09cf6e1..553b731c095 100644 --- a/trunk/source/Library-IcfgTransformer/META-INF/MANIFEST.MF +++ b/trunk/source/Library-IcfgTransformer/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Library-IcfgTransformer Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.icfgtransformer -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.smtlibutils, de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils, diff --git a/trunk/source/Library-IcfgTransformer/pom.xml b/trunk/source/Library-IcfgTransformer/pom.xml index b27a8d9098c..1eaeac34ac7 100644 --- a/trunk/source/Library-IcfgTransformer/pom.xml +++ b/trunk/source/Library-IcfgTransformer/pom.xml @@ -31,11 +31,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml - 0.2.2 + 0.2.3 eclipse-plugin de.uni_freiburg.informatik.ultimate.lib.icfgtransformer diff --git a/trunk/source/Library-IcfgTransformerTest/META-INF/MANIFEST.MF b/trunk/source/Library-IcfgTransformerTest/META-INF/MANIFEST.MF index eccb9b2df28..3c1ba3f7400 100644 --- a/trunk/source/Library-IcfgTransformerTest/META-INF/MANIFEST.MF +++ b/trunk/source/Library-IcfgTransformerTest/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Library-IcfgTransformerTest Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.icfgtransformer.test -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.lib.test, diff --git a/trunk/source/Library-IcfgTransformerTest/pom.xml b/trunk/source/Library-IcfgTransformerTest/pom.xml index 3c72f9d6ccf..442a57f2b8c 100644 --- a/trunk/source/Library-IcfgTransformerTest/pom.xml +++ b/trunk/source/Library-IcfgTransformerTest/pom.xml @@ -29,13 +29,13 @@ 4.0.0 de.uni_freiburg.informatik.ultimate.lib.icfgtransformer.test - 0.2.2 + 0.2.3 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-JavaBDD/pom.xml b/trunk/source/Library-JavaBDD/pom.xml index 0efa8a6fbad..36a43a7f2fb 100644 --- a/trunk/source/Library-JavaBDD/pom.xml +++ b/trunk/source/Library-JavaBDD/pom.xml @@ -4,7 +4,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-Jung/pom.xml b/trunk/source/Library-Jung/pom.xml index a7bdc465b3d..9c0a50e5a86 100644 --- a/trunk/source/Library-Jung/pom.xml +++ b/trunk/source/Library-Jung/pom.xml @@ -5,7 +5,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-LassoRanker/pom.xml b/trunk/source/Library-LassoRanker/pom.xml index 9a388d63578..c62dc9dcf59 100644 --- a/trunk/source/Library-LassoRanker/pom.xml +++ b/trunk/source/Library-LassoRanker/pom.xml @@ -31,7 +31,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-MCR/META-INF/MANIFEST.MF b/trunk/source/Library-MCR/META-INF/MANIFEST.MF index f2b48d009ee..c0f082cbae3 100644 --- a/trunk/source/Library-MCR/META-INF/MANIFEST.MF +++ b/trunk/source/Library-MCR/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Library-MCR Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.mcr -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.smtlibutils, de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils, diff --git a/trunk/source/Library-MCR/pom.xml b/trunk/source/Library-MCR/pom.xml index c764be48b37..446494f1b7f 100644 --- a/trunk/source/Library-MCR/pom.xml +++ b/trunk/source/Library-MCR/pom.xml @@ -31,11 +31,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml - 0.2.2 + 0.2.3 eclipse-plugin de.uni_freiburg.informatik.ultimate.lib.mcr diff --git a/trunk/source/Library-MSOD/META-INF/MANIFEST.MF b/trunk/source/Library-MSOD/META-INF/MANIFEST.MF index a1f14a1dbdd..afed7b6db8b 100644 --- a/trunk/source/Library-MSOD/META-INF/MANIFEST.MF +++ b/trunk/source/Library-MSOD/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Library-MSO Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.mso -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.util, de.uni_freiburg.informatik.ultimate.core, diff --git a/trunk/source/Library-MSOD/pom.xml b/trunk/source/Library-MSOD/pom.xml index bcaaaaf2753..a7667fbc1ec 100644 --- a/trunk/source/Library-MSOD/pom.xml +++ b/trunk/source/Library-MSOD/pom.xml @@ -31,11 +31,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml - 0.2.2 + 0.2.3 eclipse-plugin de.uni_freiburg.informatik.ultimate.lib.mso diff --git a/trunk/source/Library-MSODTest/META-INF/MANIFEST.MF b/trunk/source/Library-MSODTest/META-INF/MANIFEST.MF index 90f6ff97e04..c4b5bebe907 100644 --- a/trunk/source/Library-MSODTest/META-INF/MANIFEST.MF +++ b/trunk/source/Library-MSODTest/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Library-MSOTest Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.mso.test -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Fragment-Host: de.uni_freiburg.informatik.ultimate.lib.mso Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, diff --git a/trunk/source/Library-MSODTest/pom.xml b/trunk/source/Library-MSODTest/pom.xml index b92f0e23ab8..b9c9d777578 100644 --- a/trunk/source/Library-MSODTest/pom.xml +++ b/trunk/source/Library-MSODTest/pom.xml @@ -29,13 +29,13 @@ 4.0.0 de.uni_freiburg.informatik.ultimate.lib.mso.test - 0.2.2 + 0.2.3 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-ModelCheckerUtils/META-INF/MANIFEST.MF b/trunk/source/Library-ModelCheckerUtils/META-INF/MANIFEST.MF index a8d855ce47b..327f9dc0725 100644 --- a/trunk/source/Library-ModelCheckerUtils/META-INF/MANIFEST.MF +++ b/trunk/source/Library-ModelCheckerUtils/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Library-ModelCheckerUtils Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-RequiredExecutionEnvironment: JavaSE-11 Export-Package: de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils, de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.absint, diff --git a/trunk/source/Library-ModelCheckerUtils/pom.xml b/trunk/source/Library-ModelCheckerUtils/pom.xml index cc77ea704c4..996ad687c23 100644 --- a/trunk/source/Library-ModelCheckerUtils/pom.xml +++ b/trunk/source/Library-ModelCheckerUtils/pom.xml @@ -31,11 +31,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/Library-ModelCheckerUtilsTest/META-INF/MANIFEST.MF b/trunk/source/Library-ModelCheckerUtilsTest/META-INF/MANIFEST.MF index e30bdebb337..a4cf3290cd1 100644 --- a/trunk/source/Library-ModelCheckerUtilsTest/META-INF/MANIFEST.MF +++ b/trunk/source/Library-ModelCheckerUtilsTest/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Library-ModelCheckerUtilsTest Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.test -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Fragment-Host: de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, diff --git a/trunk/source/Library-ModelCheckerUtilsTest/pom.xml b/trunk/source/Library-ModelCheckerUtilsTest/pom.xml index 77c811b6d56..9e1667ef9b3 100644 --- a/trunk/source/Library-ModelCheckerUtilsTest/pom.xml +++ b/trunk/source/Library-ModelCheckerUtilsTest/pom.xml @@ -29,13 +29,13 @@ 4.0.0 de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.test - 0.2.2 + 0.2.3 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-PDR/META-INF/MANIFEST.MF b/trunk/source/Library-PDR/META-INF/MANIFEST.MF index 30174cd55e9..0a722f498bc 100644 --- a/trunk/source/Library-PDR/META-INF/MANIFEST.MF +++ b/trunk/source/Library-PDR/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Library-PDR Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.pdr -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.automata, de.uni_freiburg.informatik.ultimate.lib.smtlibutils, diff --git a/trunk/source/Library-PDR/pom.xml b/trunk/source/Library-PDR/pom.xml index 9e462800c6d..9f4c317f9fc 100644 --- a/trunk/source/Library-PDR/pom.xml +++ b/trunk/source/Library-PDR/pom.xml @@ -31,11 +31,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml - 0.2.2 + 0.2.3 eclipse-plugin de.uni_freiburg.informatik.ultimate.lib.pdr diff --git a/trunk/source/Library-PEA/pom.xml b/trunk/source/Library-PEA/pom.xml index b2f602381ae..c983957f378 100644 --- a/trunk/source/Library-PEA/pom.xml +++ b/trunk/source/Library-PEA/pom.xml @@ -4,7 +4,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-PathExpressions/META-INF/MANIFEST.MF b/trunk/source/Library-PathExpressions/META-INF/MANIFEST.MF index f785abc022e..f0da4092a67 100644 --- a/trunk/source/Library-PathExpressions/META-INF/MANIFEST.MF +++ b/trunk/source/Library-PathExpressions/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: de.uni_freiburg.informatik.ultimate.lib.pathexpressions Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.pathexpressions -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils Export-Package: de.uni_freiburg.informatik.ultimate.lib.pathexpressions, diff --git a/trunk/source/Library-PathExpressions/pom.xml b/trunk/source/Library-PathExpressions/pom.xml index 7840687cc3b..9368453f9a9 100644 --- a/trunk/source/Library-PathExpressions/pom.xml +++ b/trunk/source/Library-PathExpressions/pom.xml @@ -33,11 +33,11 @@ to convey the resulting work. mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml - 0.2.2 + 0.2.3 eclipse-plugin de.uni_freiburg.informatik.ultimate.lib.pathexpressions diff --git a/trunk/source/Library-PathExpressionsTest/META-INF/MANIFEST.MF b/trunk/source/Library-PathExpressionsTest/META-INF/MANIFEST.MF index 111eb2aa11c..5be3bef9ff0 100644 --- a/trunk/source/Library-PathExpressionsTest/META-INF/MANIFEST.MF +++ b/trunk/source/Library-PathExpressionsTest/META-INF/MANIFEST.MF @@ -7,5 +7,5 @@ Bundle-RequiredExecutionEnvironment: JavaSE-1.8 Require-Bundle: org.junit Import-Package: de.uni_freiburg.informatik.ultimate.lib.pathexpressions, de.uni_freiburg.informatik.ultimate.lib.pathexpressions.regex -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Automatic-Module-Name: de.uni.freiburg.informatik.ultimate.lib.pathexpressions.test diff --git a/trunk/source/Library-PathExpressionsTest/pom.xml b/trunk/source/Library-PathExpressionsTest/pom.xml index 69d0eef17fd..08bf11674e9 100644 --- a/trunk/source/Library-PathExpressionsTest/pom.xml +++ b/trunk/source/Library-PathExpressionsTest/pom.xml @@ -31,11 +31,11 @@ to convey the resulting work. mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml - 0.2.2 + 0.2.3 eclipse-test-plugin de.uni_freiburg.informatik.ultimate.lib.pathexpressions.test diff --git a/trunk/source/Library-SMTLIB/META-INF/MANIFEST.MF b/trunk/source/Library-SMTLIB/META-INF/MANIFEST.MF index 786f32954b2..e454d4a6972 100644 --- a/trunk/source/Library-SMTLIB/META-INF/MANIFEST.MF +++ b/trunk/source/Library-SMTLIB/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: de.uni_freiburg.informatik.ultimate.lib.smtlib Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.smtlib -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.util Export-Package: de.uni_freiburg.informatik.ultimate.logic, diff --git a/trunk/source/Library-SMTLIB/pom.xml b/trunk/source/Library-SMTLIB/pom.xml index 01488871ebe..01c3a881a5a 100644 --- a/trunk/source/Library-SMTLIB/pom.xml +++ b/trunk/source/Library-SMTLIB/pom.xml @@ -4,12 +4,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.lib.smtlib - 0.2.2 + 0.2.3 eclipse-plugin \ No newline at end of file diff --git a/trunk/source/Library-SMTLIBTest/META-INF/MANIFEST.MF b/trunk/source/Library-SMTLIBTest/META-INF/MANIFEST.MF index dcc03d3cbe9..d0828cc4be3 100644 --- a/trunk/source/Library-SMTLIBTest/META-INF/MANIFEST.MF +++ b/trunk/source/Library-SMTLIBTest/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: de.uni_freiburg.informatik.ultimate.lib.smtlibTest Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.smtlib.test -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Fragment-Host: de.uni_freiburg.informatik.ultimate.lib.smtlib Bundle-RequiredExecutionEnvironment: JavaSE-1.8 Require-Bundle: org.junit diff --git a/trunk/source/Library-SMTLIBTest/pom.xml b/trunk/source/Library-SMTLIBTest/pom.xml index 08e4c2b0bb2..7611b2113b8 100644 --- a/trunk/source/Library-SMTLIBTest/pom.xml +++ b/trunk/source/Library-SMTLIBTest/pom.xml @@ -29,13 +29,13 @@ 4.0.0 de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.lib.smtlib.test - 0.2.2 + 0.2.3 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-Sifa/META-INF/MANIFEST.MF b/trunk/source/Library-Sifa/META-INF/MANIFEST.MF index aa5dc80605b..ab6e009db0c 100644 --- a/trunk/source/Library-Sifa/META-INF/MANIFEST.MF +++ b/trunk/source/Library-Sifa/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Library-Sifa Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.sifa -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.lib.smtlib, diff --git a/trunk/source/Library-Sifa/pom.xml b/trunk/source/Library-Sifa/pom.xml index 908d1204fa2..6befd26b711 100644 --- a/trunk/source/Library-Sifa/pom.xml +++ b/trunk/source/Library-Sifa/pom.xml @@ -32,11 +32,11 @@ to convey the resulting work. mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml - 0.2.2 + 0.2.3 eclipse-plugin de.uni_freiburg.informatik.ultimate.lib.sifa diff --git a/trunk/source/Library-SifaTest/META-INF/MANIFEST.MF b/trunk/source/Library-SifaTest/META-INF/MANIFEST.MF index 121bf161f28..d7b485f3882 100644 --- a/trunk/source/Library-SifaTest/META-INF/MANIFEST.MF +++ b/trunk/source/Library-SifaTest/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: de.uni_freiburg.informatik.ultimate.lib.sifa.test Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.sifa.test -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Fragment-Host: de.uni_freiburg.informatik.ultimate.lib.sifa Bundle-RequiredExecutionEnvironment: JavaSE-1.8 Require-Bundle: org.junit diff --git a/trunk/source/Library-SifaTest/pom.xml b/trunk/source/Library-SifaTest/pom.xml index 038c1887554..56abdacb45d 100644 --- a/trunk/source/Library-SifaTest/pom.xml +++ b/trunk/source/Library-SifaTest/pom.xml @@ -31,11 +31,11 @@ to convey the resulting work. mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml - 0.2.2 + 0.2.3 eclipse-test-plugin de.uni_freiburg.informatik.ultimate.lib.sifa.test diff --git a/trunk/source/Library-SmtLibUtils/META-INF/MANIFEST.MF b/trunk/source/Library-SmtLibUtils/META-INF/MANIFEST.MF index 187b3b79389..551f09f79c4 100644 --- a/trunk/source/Library-SmtLibUtils/META-INF/MANIFEST.MF +++ b/trunk/source/Library-SmtLibUtils/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Library-SmtLibUtils Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.smtlibutils -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-RequiredExecutionEnvironment: JavaSE-11 Export-Package: de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.bdd, de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.scripttransfer, diff --git a/trunk/source/Library-SmtLibUtils/pom.xml b/trunk/source/Library-SmtLibUtils/pom.xml index 840bc56228f..01aeebde94f 100644 --- a/trunk/source/Library-SmtLibUtils/pom.xml +++ b/trunk/source/Library-SmtLibUtils/pom.xml @@ -31,11 +31,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.smtlibutils - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/Library-TraceCheckerUtils/META-INF/MANIFEST.MF b/trunk/source/Library-TraceCheckerUtils/META-INF/MANIFEST.MF index 08f8817dce7..db3f9a36e97 100644 --- a/trunk/source/Library-TraceCheckerUtils/META-INF/MANIFEST.MF +++ b/trunk/source/Library-TraceCheckerUtils/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Library-TraceCheckerUtils Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-RequiredExecutionEnvironment: JavaSE-11 Export-Package: de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils, diff --git a/trunk/source/Library-TraceCheckerUtils/pom.xml b/trunk/source/Library-TraceCheckerUtils/pom.xml index bfca4451605..0d15153a073 100644 --- a/trunk/source/Library-TraceCheckerUtils/pom.xml +++ b/trunk/source/Library-TraceCheckerUtils/pom.xml @@ -31,11 +31,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/Library-TraceCheckerUtilsTest/META-INF/MANIFEST.MF b/trunk/source/Library-TraceCheckerUtilsTest/META-INF/MANIFEST.MF index ed87443e2ee..3eb85f48866 100644 --- a/trunk/source/Library-TraceCheckerUtilsTest/META-INF/MANIFEST.MF +++ b/trunk/source/Library-TraceCheckerUtilsTest/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Library-TraceCheckerUtilsTest Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.test -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Fragment-Host: de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, diff --git a/trunk/source/Library-TraceCheckerUtilsTest/pom.xml b/trunk/source/Library-TraceCheckerUtilsTest/pom.xml index 07aa9918f27..3928eeba243 100644 --- a/trunk/source/Library-TraceCheckerUtilsTest/pom.xml +++ b/trunk/source/Library-TraceCheckerUtilsTest/pom.xml @@ -29,13 +29,13 @@ 4.0.0 de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.test - 0.2.2 + 0.2.3 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-UltimateCore/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateCore/META-INF/MANIFEST.MF index 16ab3e719dd..9e39f7513bb 100644 --- a/trunk/source/Library-UltimateCore/META-INF/MANIFEST.MF +++ b/trunk/source/Library-UltimateCore/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: de.uni_freiburg.informatik.ultimate.lib.core Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.core -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-RequiredExecutionEnvironment: JavaSE-11 Export-Package: de.uni_freiburg.informatik.ultimate.core.lib.exceptions, de.uni_freiburg.informatik.ultimate.core.lib.models, diff --git a/trunk/source/Library-UltimateCore/pom.xml b/trunk/source/Library-UltimateCore/pom.xml index d43c2059a3c..3a522655236 100644 --- a/trunk/source/Library-UltimateCore/pom.xml +++ b/trunk/source/Library-UltimateCore/pom.xml @@ -22,13 +22,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.lib.core - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/Library-UltimateModel/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateModel/META-INF/MANIFEST.MF index e1f446868da..7f560de2d18 100644 --- a/trunk/source/Library-UltimateModel/META-INF/MANIFEST.MF +++ b/trunk/source/Library-UltimateModel/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Library-UltimateModel Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.ultimatemodel -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-RequiredExecutionEnvironment: JavaSE-1.8 Export-Package: de.uni_freiburg.informatik.ultimate.core.model, de.uni_freiburg.informatik.ultimate.core.model.models, diff --git a/trunk/source/Library-UltimateModel/pom.xml b/trunk/source/Library-UltimateModel/pom.xml index 3fe736ea396..37bc7efde19 100644 --- a/trunk/source/Library-UltimateModel/pom.xml +++ b/trunk/source/Library-UltimateModel/pom.xml @@ -31,13 +31,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.lib.ultimatemodel - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/Library-UltimateTest/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateTest/META-INF/MANIFEST.MF index 1cbea1ffe93..95f53650274 100644 --- a/trunk/source/Library-UltimateTest/META-INF/MANIFEST.MF +++ b/trunk/source/Library-UltimateTest/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: de.uni_freiburg.informatik.ultimate.lib.test Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.test -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-RequiredExecutionEnvironment: JavaSE-11 Export-Package: de.uni_freiburg.informatik.ultimate.test, de.uni_freiburg.informatik.ultimate.test.benchexec, diff --git a/trunk/source/Library-UltimateTest/pom.xml b/trunk/source/Library-UltimateTest/pom.xml index c16d26db67c..fa724dcd691 100644 --- a/trunk/source/Library-UltimateTest/pom.xml +++ b/trunk/source/Library-UltimateTest/pom.xml @@ -31,13 +31,13 @@ 4.0.0 de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.lib.test - 0.2.2 + 0.2.3 eclipse-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-UltimateTestTest/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateTestTest/META-INF/MANIFEST.MF index 8c2de046047..ad8e271e1fb 100644 --- a/trunk/source/Library-UltimateTestTest/META-INF/MANIFEST.MF +++ b/trunk/source/Library-UltimateTestTest/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: de.uni_freiburg.informatik.ultimate.lib.testTest Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.test.test -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Fragment-Host: de.uni_freiburg.informatik.ultimate.lib.test Bundle-RequiredExecutionEnvironment: JavaSE-1.8 Require-Bundle: org.junit diff --git a/trunk/source/Library-UltimateTestTest/pom.xml b/trunk/source/Library-UltimateTestTest/pom.xml index 68b3687d19f..37077f47396 100644 --- a/trunk/source/Library-UltimateTestTest/pom.xml +++ b/trunk/source/Library-UltimateTestTest/pom.xml @@ -29,13 +29,13 @@ 4.0.0 de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.lib.test.test - 0.2.2 + 0.2.3 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-UltimateUtil/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateUtil/META-INF/MANIFEST.MF index 1ef78e36271..ac586e0b964 100644 --- a/trunk/source/Library-UltimateUtil/META-INF/MANIFEST.MF +++ b/trunk/source/Library-UltimateUtil/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: de.uni_freiburg.informatik.ultimate.lib.util Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.util -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.ultimatemodel Export-Package: de.uni_freiburg.informatik.ultimate.util, diff --git a/trunk/source/Library-UltimateUtil/pom.xml b/trunk/source/Library-UltimateUtil/pom.xml index 23f7778f57c..a8556d0763d 100644 --- a/trunk/source/Library-UltimateUtil/pom.xml +++ b/trunk/source/Library-UltimateUtil/pom.xml @@ -30,12 +30,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.lib.util - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/Library-UltimateUtilTest/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateUtilTest/META-INF/MANIFEST.MF index 20ae046588d..d83f9eb043e 100644 --- a/trunk/source/Library-UltimateUtilTest/META-INF/MANIFEST.MF +++ b/trunk/source/Library-UltimateUtilTest/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: de.uni_freiburg.informatik.ultimate.lib.util.test Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.util.test -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Fragment-Host: de.uni_freiburg.informatik.ultimate.lib.util Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: org.junit, diff --git a/trunk/source/Library-UltimateUtilTest/pom.xml b/trunk/source/Library-UltimateUtilTest/pom.xml index ef6f280e8a2..b43e559aafa 100644 --- a/trunk/source/Library-UltimateUtilTest/pom.xml +++ b/trunk/source/Library-UltimateUtilTest/pom.xml @@ -29,13 +29,13 @@ 4.0.0 de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.lib.util.test - 0.2.2 + 0.2.3 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-ojAlgo/pom.xml b/trunk/source/Library-ojAlgo/pom.xml index 63f1b9624e7..e4169c9de03 100644 --- a/trunk/source/Library-ojAlgo/pom.xml +++ b/trunk/source/Library-ojAlgo/pom.xml @@ -4,7 +4,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-srParse/pom.xml b/trunk/source/Library-srParse/pom.xml index 0c7d8ff5c67..c79f02dc96a 100644 --- a/trunk/source/Library-srParse/pom.xml +++ b/trunk/source/Library-srParse/pom.xml @@ -4,7 +4,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-srParseTest/META-INF/MANIFEST.MF b/trunk/source/Library-srParseTest/META-INF/MANIFEST.MF index faa13bbd373..1411086d1f7 100644 --- a/trunk/source/Library-srParseTest/META-INF/MANIFEST.MF +++ b/trunk/source/Library-srParseTest/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Library-srParseTest Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.srparse.test -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Fragment-Host: de.uni_freiburg.informatik.ultimate.lib.srparse Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: org.junit, diff --git a/trunk/source/Library-srParseTest/pom.xml b/trunk/source/Library-srParseTest/pom.xml index 087fb7d782f..7a41af3f6a0 100644 --- a/trunk/source/Library-srParseTest/pom.xml +++ b/trunk/source/Library-srParseTest/pom.xml @@ -29,13 +29,13 @@ 4.0.0 de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.lib.srparse.test - 0.2.2 + 0.2.3 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/PEAtoBoogie/META-INF/MANIFEST.MF b/trunk/source/PEAtoBoogie/META-INF/MANIFEST.MF index 4ca1e81a88a..9de87bad960 100644 --- a/trunk/source/PEAtoBoogie/META-INF/MANIFEST.MF +++ b/trunk/source/PEAtoBoogie/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: PEAtoBoogie Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.pea2boogie;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-Activator: de.uni_freiburg.informatik.ultimate.pea2boogie.Activator Bundle-ActivationPolicy: lazy Bundle-RequiredExecutionEnvironment: JavaSE-11 diff --git a/trunk/source/PEAtoBoogie/pom.xml b/trunk/source/PEAtoBoogie/pom.xml index 50921ca5baf..c6248394527 100644 --- a/trunk/source/PEAtoBoogie/pom.xml +++ b/trunk/source/PEAtoBoogie/pom.xml @@ -30,12 +30,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.pea2boogie - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/PEAtoBoogieTest/META-INF/MANIFEST.MF b/trunk/source/PEAtoBoogieTest/META-INF/MANIFEST.MF index 372cbb15c1d..591a1b7264e 100644 --- a/trunk/source/PEAtoBoogieTest/META-INF/MANIFEST.MF +++ b/trunk/source/PEAtoBoogieTest/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: PEAtoBoogieTest Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.pea2boogie.test -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Fragment-Host: de.uni_freiburg.informatik.ultimate.pea2boogie Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: com.github.jhoenicke.javacup, diff --git a/trunk/source/PEAtoBoogieTest/pom.xml b/trunk/source/PEAtoBoogieTest/pom.xml index bcb2702a47e..89f4f44e1b9 100644 --- a/trunk/source/PEAtoBoogieTest/pom.xml +++ b/trunk/source/PEAtoBoogieTest/pom.xml @@ -29,13 +29,13 @@ 4.0.0 de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.pea2boogie.test - 0.2.2 + 0.2.3 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/PeaExampleGenerator/META-INF/MANIFEST.MF b/trunk/source/PeaExampleGenerator/META-INF/MANIFEST.MF index dcb206388cb..da8d8d89857 100644 --- a/trunk/source/PeaExampleGenerator/META-INF/MANIFEST.MF +++ b/trunk/source/PeaExampleGenerator/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: de.uni_freiburg.informatik.ultimate.output.peaexamplegenerator Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.output.peaexamplegenerator;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-ActivationPolicy: lazy Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.ultimatemodel, diff --git a/trunk/source/PeaExampleGenerator/pom.xml b/trunk/source/PeaExampleGenerator/pom.xml index 07f74224ef7..8ef993347a6 100644 --- a/trunk/source/PeaExampleGenerator/pom.xml +++ b/trunk/source/PeaExampleGenerator/pom.xml @@ -30,11 +30,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.output.peaexamplegenerator - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/RCFGBuilder/META-INF/MANIFEST.MF b/trunk/source/RCFGBuilder/META-INF/MANIFEST.MF index 3947299e728..3c7ecca3c3c 100644 --- a/trunk/source/RCFGBuilder/META-INF/MANIFEST.MF +++ b/trunk/source/RCFGBuilder/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: RCFGBuilder Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.core, de.uni_freiburg.informatik.ultimate.lib.smtlib, diff --git a/trunk/source/RCFGBuilder/pom.xml b/trunk/source/RCFGBuilder/pom.xml index 8bdd6617c4f..69cafa00efa 100644 --- a/trunk/source/RCFGBuilder/pom.xml +++ b/trunk/source/RCFGBuilder/pom.xml @@ -30,12 +30,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/ReachingDefinitions/META-INF/MANIFEST.MF b/trunk/source/ReachingDefinitions/META-INF/MANIFEST.MF index b81dd1f9246..18baa54f289 100644 --- a/trunk/source/ReachingDefinitions/META-INF/MANIFEST.MF +++ b/trunk/source/ReachingDefinitions/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Reaching Definitions Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.core, de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils, diff --git a/trunk/source/ReachingDefinitions/pom.xml b/trunk/source/ReachingDefinitions/pom.xml index ec954fed470..4b71d041cc2 100644 --- a/trunk/source/ReachingDefinitions/pom.xml +++ b/trunk/source/ReachingDefinitions/pom.xml @@ -30,12 +30,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/Referee/META-INF/MANIFEST.MF b/trunk/source/Referee/META-INF/MANIFEST.MF index d1e926b9658..7ab64d71646 100644 --- a/trunk/source/Referee/META-INF/MANIFEST.MF +++ b/trunk/source/Referee/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Referee Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.referee;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils, de.uni_freiburg.informatik.ultimate.lib.smtlib, diff --git a/trunk/source/Referee/pom.xml b/trunk/source/Referee/pom.xml index 3a85693688d..21527690216 100644 --- a/trunk/source/Referee/pom.xml +++ b/trunk/source/Referee/pom.xml @@ -30,13 +30,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.referee - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/ReqParser/META-INF/MANIFEST.MF b/trunk/source/ReqParser/META-INF/MANIFEST.MF index 8750d5d9c67..4443cbb32d0 100644 --- a/trunk/source/ReqParser/META-INF/MANIFEST.MF +++ b/trunk/source/ReqParser/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: ReqParser Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.reqparser;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-Activator: de.uni_freiburg.informatik.ultimate.reqparser.Activator Bundle-ActivationPolicy: lazy Bundle-RequiredExecutionEnvironment: JavaSE-11 diff --git a/trunk/source/ReqParser/pom.xml b/trunk/source/ReqParser/pom.xml index 6216d424e39..071ee44d603 100644 --- a/trunk/source/ReqParser/pom.xml +++ b/trunk/source/ReqParser/pom.xml @@ -30,12 +30,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.reqparser - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/ReqPrinter/META-INF/MANIFEST.MF b/trunk/source/ReqPrinter/META-INF/MANIFEST.MF index 3b8bcc4bd32..e54400886b4 100644 --- a/trunk/source/ReqPrinter/META-INF/MANIFEST.MF +++ b/trunk/source/ReqPrinter/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: BoogiePrinter Plug-in Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.req.printer;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.core, de.uni_freiburg.informatik.ultimate.pea2boogie, diff --git a/trunk/source/ReqPrinter/pom.xml b/trunk/source/ReqPrinter/pom.xml index b63184d173d..0a69c8c9875 100644 --- a/trunk/source/ReqPrinter/pom.xml +++ b/trunk/source/ReqPrinter/pom.xml @@ -30,11 +30,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.req.printer - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/ReqToTest/META-INF/MANIFEST.MF b/trunk/source/ReqToTest/META-INF/MANIFEST.MF index 136d2b5de5e..2d258b6d16c 100644 --- a/trunk/source/ReqToTest/META-INF/MANIFEST.MF +++ b/trunk/source/ReqToTest/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: ReqToTest Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.reqtotest;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-Activator: de.uni_freiburg.informatik.ultimate.reqtotest.Activator Bundle-ActivationPolicy: lazy Bundle-RequiredExecutionEnvironment: JavaSE-11 diff --git a/trunk/source/ReqToTest/pom.xml b/trunk/source/ReqToTest/pom.xml index ce75c06896a..55ee2a5b008 100644 --- a/trunk/source/ReqToTest/pom.xml +++ b/trunk/source/ReqToTest/pom.xml @@ -30,12 +30,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml ReqToTest de.uni_freiburg.informatik.ultimate.reqtotest - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/SMTInterpol/pom.xml b/trunk/source/SMTInterpol/pom.xml index a474c909384..d7c8e70c07d 100644 --- a/trunk/source/SMTInterpol/pom.xml +++ b/trunk/source/SMTInterpol/pom.xml @@ -5,7 +5,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/SMTInterpolTest/META-INF/MANIFEST.MF b/trunk/source/SMTInterpolTest/META-INF/MANIFEST.MF index 1e18f2266d8..4a6a33697cd 100644 --- a/trunk/source/SMTInterpolTest/META-INF/MANIFEST.MF +++ b/trunk/source/SMTInterpolTest/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: SMTInterpolTest Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.smtinterpol.test -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Fragment-Host: de.uni_freiburg.informatik.ultimate.smtinterpol Bundle-RequiredExecutionEnvironment: JavaSE-1.8 Require-Bundle: org.junit, diff --git a/trunk/source/SMTInterpolTest/pom.xml b/trunk/source/SMTInterpolTest/pom.xml index 78096986cfc..666a9eb5266 100644 --- a/trunk/source/SMTInterpolTest/pom.xml +++ b/trunk/source/SMTInterpolTest/pom.xml @@ -29,13 +29,13 @@ 4.0.0 de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.smtinterpol.test - 0.2.2 + 0.2.3 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/SMTSolverBridge/META-INF/MANIFEST.MF b/trunk/source/SMTSolverBridge/META-INF/MANIFEST.MF index 1a86f39b3dc..691f2844e09 100644 --- a/trunk/source/SMTSolverBridge/META-INF/MANIFEST.MF +++ b/trunk/source/SMTSolverBridge/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: SMTSolverBridge Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.smtsolver.external -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-RequiredExecutionEnvironment: JavaSE-11 Export-Package: de.uni_freiburg.informatik.ultimate.smtsolver.external Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, diff --git a/trunk/source/SMTSolverBridge/pom.xml b/trunk/source/SMTSolverBridge/pom.xml index 81612a438a2..54379b88248 100644 --- a/trunk/source/SMTSolverBridge/pom.xml +++ b/trunk/source/SMTSolverBridge/pom.xml @@ -32,7 +32,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/SMTSolverBridgeTest/META-INF/MANIFEST.MF b/trunk/source/SMTSolverBridgeTest/META-INF/MANIFEST.MF index 9084f5c2d6d..b9e0edae188 100644 --- a/trunk/source/SMTSolverBridgeTest/META-INF/MANIFEST.MF +++ b/trunk/source/SMTSolverBridgeTest/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: SMTSolverBridgeTest Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.smtsolver.external.test -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Fragment-Host: de.uni_freiburg.informatik.ultimate.smtsolver.external Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.test diff --git a/trunk/source/SMTSolverBridgeTest/pom.xml b/trunk/source/SMTSolverBridgeTest/pom.xml index d94518e4f71..c8e5643146b 100644 --- a/trunk/source/SMTSolverBridgeTest/pom.xml +++ b/trunk/source/SMTSolverBridgeTest/pom.xml @@ -30,12 +30,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.smtsolver.external.test - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/Sifa/META-INF/MANIFEST.MF b/trunk/source/Sifa/META-INF/MANIFEST.MF index 368b72d8024..bbed6b4e445 100644 --- a/trunk/source/Sifa/META-INF/MANIFEST.MF +++ b/trunk/source/Sifa/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Sifa Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.sifa;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-Activator: de.uni_freiburg.informatik.ultimate.plugins.sifa.Activator Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.core, diff --git a/trunk/source/Sifa/pom.xml b/trunk/source/Sifa/pom.xml index 3978d8fc911..d7455329e03 100644 --- a/trunk/source/Sifa/pom.xml +++ b/trunk/source/Sifa/pom.xml @@ -24,12 +24,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.sifa - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/SmtParser/META-INF/MANIFEST.MF b/trunk/source/SmtParser/META-INF/MANIFEST.MF index 7ea0ad200a4..58427b9f01b 100644 --- a/trunk/source/SmtParser/META-INF/MANIFEST.MF +++ b/trunk/source/SmtParser/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: SmtParser Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.source.smtparser;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-Activator: de.uni_freiburg.informatik.ultimate.source.smtparser.Activator Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.core, diff --git a/trunk/source/SmtParser/pom.xml b/trunk/source/SmtParser/pom.xml index de83548191d..43b69b54e95 100644 --- a/trunk/source/SmtParser/pom.xml +++ b/trunk/source/SmtParser/pom.xml @@ -23,13 +23,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.source.smtparser - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/SpaceExParser/META-INF/MANIFEST.MF b/trunk/source/SpaceExParser/META-INF/MANIFEST.MF index 909be079019..d168c158639 100644 --- a/trunk/source/SpaceExParser/META-INF/MANIFEST.MF +++ b/trunk/source/SpaceExParser/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: SpaceExParser Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.spaceex.parser;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-Activator: de.uni_freiburg.informatik.ultimate.plugins.spaceex.parser.Activator Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.core, diff --git a/trunk/source/SpaceExParser/pom.xml b/trunk/source/SpaceExParser/pom.xml index acafaf24322..b0a13235894 100644 --- a/trunk/source/SpaceExParser/pom.xml +++ b/trunk/source/SpaceExParser/pom.xml @@ -34,13 +34,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.spaceex.parser - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/SpaceExParserTest/META-INF/MANIFEST.MF b/trunk/source/SpaceExParserTest/META-INF/MANIFEST.MF index 50a1412eb15..a0d931dbe6d 100644 --- a/trunk/source/SpaceExParserTest/META-INF/MANIFEST.MF +++ b/trunk/source/SpaceExParserTest/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: SpaceExParserTest Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.spaceex.parser.test -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Fragment-Host: de.uni_freiburg.informatik.ultimate.plugins.spaceex.parser Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.test diff --git a/trunk/source/SpaceExParserTest/pom.xml b/trunk/source/SpaceExParserTest/pom.xml index 5c964ab9b88..01fe293d57a 100644 --- a/trunk/source/SpaceExParserTest/pom.xml +++ b/trunk/source/SpaceExParserTest/pom.xml @@ -34,13 +34,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.spaceex.parser.test - 0.2.2 + 0.2.3 eclipse-test-plugin diff --git a/trunk/source/SyntaxChecker/META-INF/MANIFEST.MF b/trunk/source/SyntaxChecker/META-INF/MANIFEST.MF index 43e97de522d..bfa2d1ed223 100644 --- a/trunk/source/SyntaxChecker/META-INF/MANIFEST.MF +++ b/trunk/source/SyntaxChecker/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: SyntaxChecker Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.analysis.syntaxchecker;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Require-Bundle: de.uni_freiburg.informatik.ultimate.core, de.uni_freiburg.informatik.ultimate.lib.boogieast, org.eclipse.cdt.core, diff --git a/trunk/source/SyntaxChecker/pom.xml b/trunk/source/SyntaxChecker/pom.xml index 68660b6337f..1a5cf3eccd1 100644 --- a/trunk/source/SyntaxChecker/pom.xml +++ b/trunk/source/SyntaxChecker/pom.xml @@ -23,13 +23,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.analysis.syntaxchecker - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/TraceAbstraction/META-INF/MANIFEST.MF b/trunk/source/TraceAbstraction/META-INF/MANIFEST.MF index 647e2662c71..edd1d1b24f6 100644 --- a/trunk/source/TraceAbstraction/META-INF/MANIFEST.MF +++ b/trunk/source/TraceAbstraction/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: TraceAbstraction Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.lib.smtlib, de.uni_freiburg.informatik.ultimate.smtinterpol, diff --git a/trunk/source/TraceAbstraction/pom.xml b/trunk/source/TraceAbstraction/pom.xml index a3bf54e1df7..801010ba91f 100644 --- a/trunk/source/TraceAbstraction/pom.xml +++ b/trunk/source/TraceAbstraction/pom.xml @@ -30,13 +30,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/TraceAbstractionConcurrent/META-INF/MANIFEST.MF b/trunk/source/TraceAbstractionConcurrent/META-INF/MANIFEST.MF index a05d250beb4..f15590c050a 100644 --- a/trunk/source/TraceAbstractionConcurrent/META-INF/MANIFEST.MF +++ b/trunk/source/TraceAbstractionConcurrent/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: TraceAbstractionConcurrent Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Require-Bundle: de.uni_freiburg.informatik.ultimate.core, de.uni_freiburg.informatik.ultimate.lib.util, de.uni_freiburg.informatik.ultimate.lib.core, diff --git a/trunk/source/TraceAbstractionConcurrent/pom.xml b/trunk/source/TraceAbstractionConcurrent/pom.xml index 16092edba75..9dbd30b6a0f 100644 --- a/trunk/source/TraceAbstractionConcurrent/pom.xml +++ b/trunk/source/TraceAbstractionConcurrent/pom.xml @@ -30,13 +30,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/TraceAbstractionWithAFAs/META-INF/MANIFEST.MF b/trunk/source/TraceAbstractionWithAFAs/META-INF/MANIFEST.MF index 36d7f1753b2..16ece55edc5 100644 --- a/trunk/source/TraceAbstractionWithAFAs/META-INF/MANIFEST.MF +++ b/trunk/source/TraceAbstractionWithAFAs/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: TraceAbstractionWithAFAs Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-Activator: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas.Activator Require-Bundle: de.uni_freiburg.informatik.ultimate.core, de.uni_freiburg.informatik.ultimate.lib.util, diff --git a/trunk/source/TraceAbstractionWithAFAs/pom.xml b/trunk/source/TraceAbstractionWithAFAs/pom.xml index ba27573c77d..020f5412e8b 100644 --- a/trunk/source/TraceAbstractionWithAFAs/pom.xml +++ b/trunk/source/TraceAbstractionWithAFAs/pom.xml @@ -30,13 +30,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/TreeAutomizer/META-INF/MANIFEST.MF b/trunk/source/TreeAutomizer/META-INF/MANIFEST.MF index 1c19124a352..859cfc4f1f4 100644 --- a/trunk/source/TreeAutomizer/META-INF/MANIFEST.MF +++ b/trunk/source/TreeAutomizer/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: TreeAutomizer Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.treeautomizer;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-ActivationPolicy: lazy Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, diff --git a/trunk/source/TreeAutomizer/pom.xml b/trunk/source/TreeAutomizer/pom.xml index 48e0c3e5f40..3b693c50465 100644 --- a/trunk/source/TreeAutomizer/pom.xml +++ b/trunk/source/TreeAutomizer/pom.xml @@ -30,12 +30,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.treeautomizer - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/UltimateCLI/META-INF/MANIFEST.MF b/trunk/source/UltimateCLI/META-INF/MANIFEST.MF index b10dd34fe3f..3893969c81d 100644 --- a/trunk/source/UltimateCLI/META-INF/MANIFEST.MF +++ b/trunk/source/UltimateCLI/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: UltimateCLI Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.cli;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.core, diff --git a/trunk/source/UltimateCLI/pom.xml b/trunk/source/UltimateCLI/pom.xml index c59ced45358..e2b3892ac22 100644 --- a/trunk/source/UltimateCLI/pom.xml +++ b/trunk/source/UltimateCLI/pom.xml @@ -31,12 +31,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.cli - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/UltimateDeltaDebugger/META-INF/MANIFEST.MF b/trunk/source/UltimateDeltaDebugger/META-INF/MANIFEST.MF index 3513c7234ad..b94c97a3715 100644 --- a/trunk/source/UltimateDeltaDebugger/META-INF/MANIFEST.MF +++ b/trunk/source/UltimateDeltaDebugger/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Ultimate Delta Debugger Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.deltadebugger;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.core, diff --git a/trunk/source/UltimateDeltaDebugger/pom.xml b/trunk/source/UltimateDeltaDebugger/pom.xml index 796a330d688..2b4aea489a2 100644 --- a/trunk/source/UltimateDeltaDebugger/pom.xml +++ b/trunk/source/UltimateDeltaDebugger/pom.xml @@ -31,12 +31,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.deltadebugger - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/UltimateEliminatorController/META-INF/MANIFEST.MF b/trunk/source/UltimateEliminatorController/META-INF/MANIFEST.MF index 3c2560159ef..9480616ec72 100644 --- a/trunk/source/UltimateEliminatorController/META-INF/MANIFEST.MF +++ b/trunk/source/UltimateEliminatorController/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: de.uni_freiburg.informatik.ultimate.controller.eliminator Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.controller.eliminator;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.core, diff --git a/trunk/source/UltimateEliminatorController/pom.xml b/trunk/source/UltimateEliminatorController/pom.xml index f562a1d039b..f9996bcfcdf 100644 --- a/trunk/source/UltimateEliminatorController/pom.xml +++ b/trunk/source/UltimateEliminatorController/pom.xml @@ -31,12 +31,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.controller.eliminator - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/UltimateRegressionTest/META-INF/MANIFEST.MF b/trunk/source/UltimateRegressionTest/META-INF/MANIFEST.MF index 7d17dff17a9..fd002d935f0 100644 --- a/trunk/source/UltimateRegressionTest/META-INF/MANIFEST.MF +++ b/trunk/source/UltimateRegressionTest/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: UltimateRegressionTest Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.regressiontest;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: org.junit, de.uni_freiburg.informatik.ultimate.lib.core, diff --git a/trunk/source/UltimateRegressionTest/pom.xml b/trunk/source/UltimateRegressionTest/pom.xml index c8abdaf2ed3..fe6b68d875c 100644 --- a/trunk/source/UltimateRegressionTest/pom.xml +++ b/trunk/source/UltimateRegressionTest/pom.xml @@ -29,13 +29,13 @@ 4.0.0 de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.regressiontest - 0.2.2 + 0.2.3 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/UltimateTest/META-INF/MANIFEST.MF b/trunk/source/UltimateTest/META-INF/MANIFEST.MF index 5898567c267..e7f53cccfa7 100644 --- a/trunk/source/UltimateTest/META-INF/MANIFEST.MF +++ b/trunk/source/UltimateTest/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: UltimateTest Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.ultimatetest;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-RequiredExecutionEnvironment: JavaSE-11 Bundle-ActivationPolicy: lazy Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, diff --git a/trunk/source/UltimateTest/pom.xml b/trunk/source/UltimateTest/pom.xml index f73f0f31e71..4de5a8dca31 100644 --- a/trunk/source/UltimateTest/pom.xml +++ b/trunk/source/UltimateTest/pom.xml @@ -29,13 +29,13 @@ 4.0.0 de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.ultimatetest - 0.2.2 + 0.2.3 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/WebInterface/pom.xml b/trunk/source/WebInterface/pom.xml index 1f3f198c280..d1df9e593a1 100644 --- a/trunk/source/WebInterface/pom.xml +++ b/trunk/source/WebInterface/pom.xml @@ -5,7 +5,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/WebUltimateBridge/META-INF/MANIFEST.MF b/trunk/source/WebUltimateBridge/META-INF/MANIFEST.MF index f9023fadb44..6e46285ad92 100644 --- a/trunk/source/WebUltimateBridge/META-INF/MANIFEST.MF +++ b/trunk/source/WebUltimateBridge/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: WebUltimateBridge Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.webbridge;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-Activator: de.uni_freiburg.informatik.ultimate.webbridge.Activator Require-Bundle: org.eclipse.core.runtime Bundle-ActivationPolicy: lazy diff --git a/trunk/source/WebUltimateBridge/pom.xml b/trunk/source/WebUltimateBridge/pom.xml index 203cf8d26b8..623dd91309c 100644 --- a/trunk/source/WebUltimateBridge/pom.xml +++ b/trunk/source/WebUltimateBridge/pom.xml @@ -5,13 +5,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.webbridge - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/Website/pom.xml b/trunk/source/Website/pom.xml index bc4c5790f6f..9d2fa6cb8bc 100644 --- a/trunk/source/Website/pom.xml +++ b/trunk/source/Website/pom.xml @@ -6,13 +6,13 @@ de.uni_freiburg.informatik.ultimate mavenparent - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate UltimateWebsite - 0.2.2 + 0.2.3 war diff --git a/trunk/source/WitnessParser/META-INF/MANIFEST.MF b/trunk/source/WitnessParser/META-INF/MANIFEST.MF index 06a08781be7..5a50306ae1c 100644 --- a/trunk/source/WitnessParser/META-INF/MANIFEST.MF +++ b/trunk/source/WitnessParser/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: WitnessParser Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.witnessparser;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-Activator: de.uni_freiburg.informatik.ultimate.witnessparser.Activator Require-Bundle: de.uni_freiburg.informatik.ultimate.core, edu.uci.ics.jung, diff --git a/trunk/source/WitnessParser/pom.xml b/trunk/source/WitnessParser/pom.xml index a602f722954..1282eb7f808 100644 --- a/trunk/source/WitnessParser/pom.xml +++ b/trunk/source/WitnessParser/pom.xml @@ -31,13 +31,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.witnessparser - 0.2.2 + 0.2.3 eclipse-plugin diff --git a/trunk/source/WitnessPrinter/META-INF/MANIFEST.MF b/trunk/source/WitnessPrinter/META-INF/MANIFEST.MF index 261ee13980d..8b86aa9ac32 100644 --- a/trunk/source/WitnessPrinter/META-INF/MANIFEST.MF +++ b/trunk/source/WitnessPrinter/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: BuchiProgramProduct Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.witnessprinter;singleton:=true -Bundle-Version: 0.2.2 +Bundle-Version: 0.2.3 Bundle-Activator: de.uni_freiburg.informatik.ultimate.witnessprinter.Activator Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.lib.smtlib, diff --git a/trunk/source/WitnessPrinter/pom.xml b/trunk/source/WitnessPrinter/pom.xml index d34ddd585ba..fc42cd37ee1 100644 --- a/trunk/source/WitnessPrinter/pom.xml +++ b/trunk/source/WitnessPrinter/pom.xml @@ -31,13 +31,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.2 + 0.2.3 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.witnessprinter - 0.2.2 + 0.2.3 eclipse-plugin