From 0e0057cc4d6d3366d4e9c5c96bf2a8f4fe4c9aad Mon Sep 17 00:00:00 2001 From: Daniel Dietsch Date: Fri, 24 Nov 2023 11:54:30 +0100 Subject: [PATCH] update versions to 0.2.4 for new release --- trunk/source/ACSLParser/META-INF/MANIFEST.MF | 2 +- trunk/source/ACSLParser/pom.xml | 2 +- trunk/source/ASTBuilder/META-INF/MANIFEST.MF | 2 +- trunk/source/ASTBuilder/pom.xml | 2 +- trunk/source/AbstractInterpretationV2/META-INF/MANIFEST.MF | 2 +- trunk/source/AbstractInterpretationV2/pom.xml | 4 ++-- .../source/AbstractInterpretationV2Test/META-INF/MANIFEST.MF | 2 +- trunk/source/AbstractInterpretationV2Test/pom.xml | 2 +- trunk/source/AutomataScriptInterpreter/META-INF/MANIFEST.MF | 2 +- trunk/source/AutomataScriptInterpreter/pom.xml | 4 ++-- trunk/source/AutomataScriptParser/META-INF/MANIFEST.MF | 2 +- trunk/source/AutomataScriptParser/pom.xml | 4 ++-- trunk/source/AutomatonDeltaDebugger/META-INF/MANIFEST.MF | 2 +- trunk/source/AutomatonDeltaDebugger/pom.xml | 4 ++-- trunk/source/BA_FeatureDependenciesCommon/feature.xml | 2 +- trunk/source/BA_FeatureDependenciesCommon/pom.xml | 4 ++-- trunk/source/BA_FeatureDependenciesDebugE4/feature.xml | 2 +- trunk/source/BA_FeatureDependenciesDebugE4/pom.xml | 4 ++-- trunk/source/BA_FeatureUltimateCommandLine/feature.xml | 2 +- trunk/source/BA_FeatureUltimateCommandLine/pom.xml | 2 +- trunk/source/BA_FeatureUltimateCommon/feature.xml | 2 +- trunk/source/BA_FeatureUltimateCommon/pom.xml | 2 +- trunk/source/BA_FeatureUltimateDebug/feature.xml | 2 +- trunk/source/BA_FeatureUltimateDebug/pom.xml | 2 +- trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml | 2 +- trunk/source/BA_FeatureUltimateDeltaDebugger/pom.xml | 2 +- trunk/source/BA_FeatureWebBackend/feature.xml | 2 +- trunk/source/BA_FeatureWebBackend/pom.xml | 4 ++-- trunk/source/BA_MavenParentUltimate/pom.xml | 4 ++-- trunk/source/BA_SiteRepository/CLI-E4.product | 2 +- trunk/source/BA_SiteRepository/Debug-E4.product | 2 +- trunk/source/BA_SiteRepository/DeltaDebugger.product | 2 +- trunk/source/BA_SiteRepository/ReqAnalyzer.product | 2 +- trunk/source/BA_SiteRepository/UltimateEliminator.product | 2 +- trunk/source/BA_SiteRepository/pom.xml | 2 +- trunk/source/BlockEncoding/META-INF/MANIFEST.MF | 2 +- trunk/source/BlockEncoding/pom.xml | 4 ++-- trunk/source/BlockEncodingV2/META-INF/MANIFEST.MF | 2 +- trunk/source/BlockEncodingV2/pom.xml | 4 ++-- trunk/source/BoogieModSetAnnotator/META-INF/MANIFEST.MF | 2 +- trunk/source/BoogieModSetAnnotator/pom.xml | 4 ++-- trunk/source/BoogiePLParser/META-INF/MANIFEST.MF | 2 +- trunk/source/BoogiePLParser/pom.xml | 4 ++-- trunk/source/BoogiePreprocessor/META-INF/MANIFEST.MF | 2 +- trunk/source/BoogiePreprocessor/pom.xml | 4 ++-- trunk/source/BoogiePreprocessorTest/META-INF/MANIFEST.MF | 2 +- trunk/source/BoogiePreprocessorTest/pom.xml | 4 ++-- trunk/source/BoogiePrinter/META-INF/MANIFEST.MF | 2 +- trunk/source/BoogiePrinter/pom.xml | 4 ++-- trunk/source/BoogieProcedureInliner/META-INF/MANIFEST.MF | 2 +- trunk/source/BoogieProcedureInliner/pom.xml | 4 ++-- trunk/source/BuchiAutomizer/META-INF/MANIFEST.MF | 2 +- trunk/source/BuchiAutomizer/pom.xml | 4 ++-- trunk/source/BuchiProgramProduct/META-INF/MANIFEST.MF | 2 +- trunk/source/BuchiProgramProduct/pom.xml | 4 ++-- trunk/source/CACSL2BoogieTranslator/META-INF/MANIFEST.MF | 2 +- trunk/source/CACSL2BoogieTranslator/pom.xml | 2 +- trunk/source/CDTParser/META-INF/MANIFEST.MF | 2 +- trunk/source/CDTParser/pom.xml | 2 +- trunk/source/CDTPlugin/META-INF/MANIFEST.MF | 2 +- trunk/source/CDTPlugin/pom.xml | 2 +- trunk/source/ChcSmtPrinter/META-INF/MANIFEST.MF | 2 +- trunk/source/ChcSmtPrinter/pom.xml | 4 ++-- trunk/source/ChcSolver/META-INF/MANIFEST.MF | 2 +- trunk/source/ChcSolver/pom.xml | 4 ++-- trunk/source/ChcToBoogie/META-INF/MANIFEST.MF | 2 +- trunk/source/ChcToBoogie/pom.xml | 4 ++-- trunk/source/CodeCheck/META-INF/MANIFEST.MF | 2 +- trunk/source/CodeCheck/pom.xml | 4 ++-- trunk/source/CoreRCP/META-INF/MANIFEST.MF | 2 +- trunk/source/CoreRCP/pom.xml | 4 ++-- trunk/source/CoreRCPTest/META-INF/MANIFEST.MF | 2 +- trunk/source/CoreRCPTest/pom.xml | 4 ++-- trunk/source/Crocotta/META-INF/MANIFEST.MF | 2 +- trunk/source/Crocotta/pom.xml | 4 ++-- trunk/source/GUIGeneratedPreferencePages/META-INF/MANIFEST.MF | 2 +- trunk/source/GUIGeneratedPreferencePages/pom.xml | 4 ++-- trunk/source/GUILoggingWindow/META-INF/MANIFEST.MF | 2 +- trunk/source/GUILoggingWindow/pom.xml | 4 ++-- trunk/source/GuiRCP/META-INF/MANIFEST.MF | 2 +- trunk/source/GuiRCP/pom.xml | 4 ++-- trunk/source/IRSDependencies/META-INF/MANIFEST.MF | 2 +- trunk/source/IRSDependencies/pom.xml | 4 ++-- trunk/source/IcfgToChc/META-INF/MANIFEST.MF | 2 +- trunk/source/IcfgToChc/pom.xml | 4 ++-- trunk/source/IcfgTransformation/META-INF/MANIFEST.MF | 2 +- trunk/source/IcfgTransformation/pom.xml | 4 ++-- trunk/source/InvariantSynthesis/META-INF/MANIFEST.MF | 2 +- trunk/source/InvariantSynthesis/pom.xml | 4 ++-- trunk/source/JavaCup/pom.xml | 2 +- trunk/source/JungVisualization/META-INF/MANIFEST.MF | 2 +- trunk/source/JungVisualization/pom.xml | 2 +- trunk/source/LTL2aut/META-INF/MANIFEST.MF | 2 +- trunk/source/LTL2aut/pom.xml | 4 ++-- trunk/source/LassoRanker/META-INF/MANIFEST.MF | 2 +- trunk/source/LassoRanker/pom.xml | 4 ++-- .../Library-AcceleratedInterpolation/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-AcceleratedInterpolation/pom.xml | 4 ++-- trunk/source/Library-ApacheCommonsCLI/pom.xml | 2 +- trunk/source/Library-ApacheCommonsLang/pom.xml | 2 +- trunk/source/Library-Automata/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-Automata/pom.xml | 4 ++-- trunk/source/Library-AutomataTest/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-AutomataTest/pom.xml | 4 ++-- trunk/source/Library-BoogieAST/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-BoogieAST/pom.xml | 4 ++-- trunk/source/Library-CHC/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-CHC/pom.xml | 4 ++-- trunk/source/Library-CZT/pom.xml | 2 +- trunk/source/Library-IcfgTransformer/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-IcfgTransformer/pom.xml | 4 ++-- trunk/source/Library-IcfgTransformerTest/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-IcfgTransformerTest/pom.xml | 4 ++-- trunk/source/Library-JavaBDD/pom.xml | 2 +- trunk/source/Library-Jung/pom.xml | 2 +- trunk/source/Library-LassoRanker/pom.xml | 2 +- trunk/source/Library-MCR/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-MCR/pom.xml | 4 ++-- trunk/source/Library-MSOD/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-MSOD/pom.xml | 4 ++-- trunk/source/Library-MSODTest/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-MSODTest/pom.xml | 4 ++-- trunk/source/Library-ModelCheckerUtils/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-ModelCheckerUtils/pom.xml | 4 ++-- .../source/Library-ModelCheckerUtilsTest/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-ModelCheckerUtilsTest/pom.xml | 4 ++-- trunk/source/Library-PDR/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-PDR/pom.xml | 4 ++-- trunk/source/Library-PEA/pom.xml | 2 +- trunk/source/Library-PathExpressions/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-PathExpressions/pom.xml | 4 ++-- trunk/source/Library-PathExpressionsTest/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-PathExpressionsTest/pom.xml | 4 ++-- trunk/source/Library-PreferenceJson/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-PreferenceJson/pom.xml | 4 ++-- trunk/source/Library-SMTLIB/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-SMTLIB/pom.xml | 4 ++-- trunk/source/Library-SMTLIBTest/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-SMTLIBTest/pom.xml | 4 ++-- trunk/source/Library-Sifa/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-Sifa/pom.xml | 4 ++-- trunk/source/Library-SifaTest/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-SifaTest/pom.xml | 4 ++-- trunk/source/Library-SmtLibUtils/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-SmtLibUtils/pom.xml | 4 ++-- trunk/source/Library-TraceCheckerUtils/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-TraceCheckerUtils/pom.xml | 4 ++-- .../source/Library-TraceCheckerUtilsTest/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-TraceCheckerUtilsTest/pom.xml | 4 ++-- trunk/source/Library-UltimateCore/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-UltimateCore/pom.xml | 4 ++-- trunk/source/Library-UltimateModel/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-UltimateModel/pom.xml | 4 ++-- trunk/source/Library-UltimateTest/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-UltimateTest/pom.xml | 4 ++-- trunk/source/Library-UltimateTestTest/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-UltimateTestTest/pom.xml | 4 ++-- trunk/source/Library-UltimateUtil/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-UltimateUtil/pom.xml | 4 ++-- trunk/source/Library-UltimateUtilTest/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-UltimateUtilTest/pom.xml | 4 ++-- trunk/source/Library-ojAlgo/pom.xml | 2 +- trunk/source/Library-srParse/pom.xml | 2 +- trunk/source/Library-srParseTest/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-srParseTest/pom.xml | 4 ++-- trunk/source/PEAtoBoogie/META-INF/MANIFEST.MF | 2 +- trunk/source/PEAtoBoogie/pom.xml | 4 ++-- trunk/source/PEAtoBoogieTest/META-INF/MANIFEST.MF | 2 +- trunk/source/PEAtoBoogieTest/pom.xml | 4 ++-- trunk/source/PeaExampleGenerator/META-INF/MANIFEST.MF | 2 +- trunk/source/PeaExampleGenerator/pom.xml | 4 ++-- trunk/source/RCFGBuilder/META-INF/MANIFEST.MF | 2 +- trunk/source/RCFGBuilder/pom.xml | 4 ++-- trunk/source/ReachingDefinitions/META-INF/MANIFEST.MF | 2 +- trunk/source/ReachingDefinitions/pom.xml | 4 ++-- trunk/source/Referee/META-INF/MANIFEST.MF | 2 +- trunk/source/Referee/pom.xml | 4 ++-- trunk/source/ReqParser/META-INF/MANIFEST.MF | 2 +- trunk/source/ReqParser/pom.xml | 4 ++-- trunk/source/ReqPrinter/META-INF/MANIFEST.MF | 2 +- trunk/source/ReqPrinter/pom.xml | 4 ++-- trunk/source/ReqToTest/META-INF/MANIFEST.MF | 2 +- trunk/source/ReqToTest/pom.xml | 4 ++-- trunk/source/SMTInterpol/pom.xml | 2 +- trunk/source/SMTInterpolTest/META-INF/MANIFEST.MF | 2 +- trunk/source/SMTInterpolTest/pom.xml | 4 ++-- trunk/source/SMTSolverBridge/META-INF/MANIFEST.MF | 2 +- trunk/source/SMTSolverBridge/pom.xml | 2 +- trunk/source/SMTSolverBridgeTest/META-INF/MANIFEST.MF | 2 +- trunk/source/SMTSolverBridgeTest/pom.xml | 4 ++-- trunk/source/Sifa/META-INF/MANIFEST.MF | 2 +- trunk/source/Sifa/pom.xml | 4 ++-- trunk/source/SmtParser/META-INF/MANIFEST.MF | 2 +- trunk/source/SmtParser/pom.xml | 4 ++-- trunk/source/SpaceExParser/META-INF/MANIFEST.MF | 2 +- trunk/source/SpaceExParser/pom.xml | 4 ++-- trunk/source/SpaceExParserTest/META-INF/MANIFEST.MF | 2 +- trunk/source/SpaceExParserTest/pom.xml | 4 ++-- trunk/source/SyntaxChecker/META-INF/MANIFEST.MF | 2 +- trunk/source/SyntaxChecker/pom.xml | 4 ++-- trunk/source/TraceAbstraction/META-INF/MANIFEST.MF | 2 +- trunk/source/TraceAbstraction/pom.xml | 4 ++-- trunk/source/TraceAbstractionConcurrent/META-INF/MANIFEST.MF | 2 +- trunk/source/TraceAbstractionConcurrent/pom.xml | 4 ++-- trunk/source/TraceAbstractionWithAFAs/META-INF/MANIFEST.MF | 2 +- trunk/source/TraceAbstractionWithAFAs/pom.xml | 4 ++-- trunk/source/TreeAutomizer/META-INF/MANIFEST.MF | 2 +- trunk/source/TreeAutomizer/pom.xml | 4 ++-- trunk/source/UltimateCLI/META-INF/MANIFEST.MF | 2 +- trunk/source/UltimateCLI/pom.xml | 4 ++-- trunk/source/UltimateDeltaDebugger/META-INF/MANIFEST.MF | 2 +- trunk/source/UltimateDeltaDebugger/pom.xml | 4 ++-- .../source/UltimateEliminatorController/META-INF/MANIFEST.MF | 2 +- trunk/source/UltimateEliminatorController/pom.xml | 4 ++-- trunk/source/UltimateRegressionTest/META-INF/MANIFEST.MF | 2 +- trunk/source/UltimateRegressionTest/pom.xml | 4 ++-- trunk/source/UltimateTest/META-INF/MANIFEST.MF | 2 +- trunk/source/UltimateTest/pom.xml | 4 ++-- trunk/source/WebBackend/META-INF/MANIFEST.MF | 2 +- trunk/source/WebBackend/pom.xml | 4 ++-- trunk/source/WitnessParser/META-INF/MANIFEST.MF | 2 +- trunk/source/WitnessParser/pom.xml | 4 ++-- trunk/source/WitnessPrinter/META-INF/MANIFEST.MF | 2 +- trunk/source/WitnessPrinter/pom.xml | 4 ++-- 224 files changed, 316 insertions(+), 316 deletions(-) diff --git a/trunk/source/ACSLParser/META-INF/MANIFEST.MF b/trunk/source/ACSLParser/META-INF/MANIFEST.MF index 80a511bc614..8ae832c109c 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.3 +Bundle-Version: 0.2.4 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 7d43035f334..6b8c702ca0f 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/ASTBuilder/META-INF/MANIFEST.MF b/trunk/source/ASTBuilder/META-INF/MANIFEST.MF index 1a705216898..fae0b38a720 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.3 +Bundle-Version: 0.2.4 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 691bfc2099d..eba12184fb7 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.3 + 0.2.4 ../BA_MavenParentUltimate diff --git a/trunk/source/AbstractInterpretationV2/META-INF/MANIFEST.MF b/trunk/source/AbstractInterpretationV2/META-INF/MANIFEST.MF index c3af231ede1..c0fddacc328 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.3 +Bundle-Version: 0.2.4 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 94783a26fe0..39a5236485e 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2 - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/AbstractInterpretationV2Test/META-INF/MANIFEST.MF b/trunk/source/AbstractInterpretationV2Test/META-INF/MANIFEST.MF index e0ed2ba187d..6daf7ea53ee 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.3 +Bundle-Version: 0.2.4 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 c9517ce4eb2..a9ab6e3768a 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/AutomataScriptInterpreter/META-INF/MANIFEST.MF b/trunk/source/AutomataScriptInterpreter/META-INF/MANIFEST.MF index e967a137f9d..3ea94c70ede 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.3 +Bundle-Version: 0.2.4 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 8b91070b129..a166e539544 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/AutomataScriptParser/META-INF/MANIFEST.MF b/trunk/source/AutomataScriptParser/META-INF/MANIFEST.MF index d0bacba94a3..123e0137a74 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.3 +Bundle-Version: 0.2.4 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 1584c307c41..45e89b51afd 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.source.automatascriptparser - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/AutomatonDeltaDebugger/META-INF/MANIFEST.MF b/trunk/source/AutomatonDeltaDebugger/META-INF/MANIFEST.MF index 178e721ede9..bda51cec95a 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.3 +Bundle-Version: 0.2.4 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 93ad3963332..bdf59d29890 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.analysis.automatondeltadebugger - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/BA_FeatureDependenciesCommon/feature.xml b/trunk/source/BA_FeatureDependenciesCommon/feature.xml index 73f3a9a8d66..c0a032c3d8a 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 ca11f9f9c43..901586d8ade 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml BA_FeatureDependenciesCommon - 0.2.3 + 0.2.4 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 1e27edd85e0..9713c5c4a0c 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 9b96d3e6a52..e689809943c 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml BA_FeatureDependenciesDebugE4 - 0.2.3 + 0.2.4 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 15a76cb5e3b..d9000ee23a0 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 9a427656822..cc5e36e7344 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BA_FeatureUltimateCommon/feature.xml b/trunk/source/BA_FeatureUltimateCommon/feature.xml index becd8baaec3..78454c8b6bc 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 9ef595bb895..fcc9016b41a 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BA_FeatureUltimateDebug/feature.xml b/trunk/source/BA_FeatureUltimateDebug/feature.xml index efeafc0898f..0d94a9b777e 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 eb6e356c4ad..7d52338a2e5 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml b/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml index 7d03bf5a87c..7b34df055f4 100644 --- a/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml +++ b/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml @@ -2,7 +2,7 @@ + version="0.2.4"> diff --git a/trunk/source/BA_FeatureUltimateDeltaDebugger/pom.xml b/trunk/source/BA_FeatureUltimateDeltaDebugger/pom.xml index 14d45ad5970..f6c1262d474 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BA_FeatureWebBackend/feature.xml b/trunk/source/BA_FeatureWebBackend/feature.xml index 61c5db4120a..95f479b7d5e 100644 --- a/trunk/source/BA_FeatureWebBackend/feature.xml +++ b/trunk/source/BA_FeatureWebBackend/feature.xml @@ -2,7 +2,7 @@ diff --git a/trunk/source/BA_FeatureWebBackend/pom.xml b/trunk/source/BA_FeatureWebBackend/pom.xml index 5b6cbf0410b..094dbf4faf4 100644 --- a/trunk/source/BA_FeatureWebBackend/pom.xml +++ b/trunk/source/BA_FeatureWebBackend/pom.xml @@ -4,11 +4,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml BA_FeatureWebBackend - 0.2.3 + 0.2.4 eclipse-feature \ No newline at end of file diff --git a/trunk/source/BA_MavenParentUltimate/pom.xml b/trunk/source/BA_MavenParentUltimate/pom.xml index 0e79d9f955b..129b518cdfd 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.3 + 0.2.4 pom Ultimate @@ -16,7 +16,7 @@ - 0.2.3 + 0.2.4 diff --git a/trunk/source/BA_SiteRepository/CLI-E4.product b/trunk/source/BA_SiteRepository/CLI-E4.product index f799eb28b23..e88149b4221 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 1ef964f0a84..7276d618351 100644 --- a/trunk/source/BA_SiteRepository/Debug-E4.product +++ b/trunk/source/BA_SiteRepository/Debug-E4.product @@ -1,7 +1,7 @@ - + diff --git a/trunk/source/BA_SiteRepository/DeltaDebugger.product b/trunk/source/BA_SiteRepository/DeltaDebugger.product index 9986e25c991..6223c0ed261 100644 --- a/trunk/source/BA_SiteRepository/DeltaDebugger.product +++ b/trunk/source/BA_SiteRepository/DeltaDebugger.product @@ -1,7 +1,7 @@ - + diff --git a/trunk/source/BA_SiteRepository/ReqAnalyzer.product b/trunk/source/BA_SiteRepository/ReqAnalyzer.product index dbad8769473..1880e758135 100644 --- a/trunk/source/BA_SiteRepository/ReqAnalyzer.product +++ b/trunk/source/BA_SiteRepository/ReqAnalyzer.product @@ -1,7 +1,7 @@ - + diff --git a/trunk/source/BA_SiteRepository/UltimateEliminator.product b/trunk/source/BA_SiteRepository/UltimateEliminator.product index 94315168add..6fe9ae19a09 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/pom.xml b/trunk/source/BA_SiteRepository/pom.xml index bd63d8ade92..392b61dd299 100644 --- a/trunk/source/BA_SiteRepository/pom.xml +++ b/trunk/source/BA_SiteRepository/pom.xml @@ -4,7 +4,7 @@ de.uni_freiburg.informatik.ultimate mavenparent - 0.2.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BlockEncoding/META-INF/MANIFEST.MF b/trunk/source/BlockEncoding/META-INF/MANIFEST.MF index 40f1012d217..bb053e411a9 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.3 +Bundle-Version: 0.2.4 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 4be587a2768..c8899fc55dd 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.generator.blockencoding - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/BlockEncodingV2/META-INF/MANIFEST.MF b/trunk/source/BlockEncodingV2/META-INF/MANIFEST.MF index fa3d857f24c..9a9185bb8c2 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.3 +Bundle-Version: 0.2.4 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 5eed54fbf28..f8199d797f8 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.blockencoding - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/BoogieModSetAnnotator/META-INF/MANIFEST.MF b/trunk/source/BoogieModSetAnnotator/META-INF/MANIFEST.MF index 40d55acc314..ddbd4c23c02 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.3 +Bundle-Version: 0.2.4 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 6a161719b1a..7b0de409162 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.generator.modsetannotator - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/BoogiePLParser/META-INF/MANIFEST.MF b/trunk/source/BoogiePLParser/META-INF/MANIFEST.MF index 382bc482be2..d58d46eda92 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.3 +Bundle-Version: 0.2.4 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 1edb955b28c..d3048029099 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.boogie.parser - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/BoogiePreprocessor/META-INF/MANIFEST.MF b/trunk/source/BoogiePreprocessor/META-INF/MANIFEST.MF index 2aae33b0b06..a7bf79dd071 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.3 +Bundle-Version: 0.2.4 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 a0681436126..08263231792 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.boogie.preprocessor - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/BoogiePreprocessorTest/META-INF/MANIFEST.MF b/trunk/source/BoogiePreprocessorTest/META-INF/MANIFEST.MF index 32d65791380..27ef06e635a 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.3 +Bundle-Version: 0.2.4 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 cb21156ad3b..d7270ceda26 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.3 + 0.2.4 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BoogiePrinter/META-INF/MANIFEST.MF b/trunk/source/BoogiePrinter/META-INF/MANIFEST.MF index d115d31940a..41c49a1384a 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.3 +Bundle-Version: 0.2.4 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 96495c4eb12..bde9afc9fcb 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.boogie.printer - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/BoogieProcedureInliner/META-INF/MANIFEST.MF b/trunk/source/BoogieProcedureInliner/META-INF/MANIFEST.MF index d049e711f16..9b5056ae742 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.3 +Bundle-Version: 0.2.4 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 ebf089de773..106a552ee5f 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.boogie.procedureinliner - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/BuchiAutomizer/META-INF/MANIFEST.MF b/trunk/source/BuchiAutomizer/META-INF/MANIFEST.MF index 1605b93904f..6ffb8a4e9a5 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.3 +Bundle-Version: 0.2.4 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 ec73bd5c51c..24d77900440 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.3 + 0.2.4 eclipse-plugin de.uni_freiburg.informatik.ultimate mavenparent - 0.2.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BuchiProgramProduct/META-INF/MANIFEST.MF b/trunk/source/BuchiProgramProduct/META-INF/MANIFEST.MF index e2508816635..32c90beaeed 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.3 +Bundle-Version: 0.2.4 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 cd4d48428f6..1a9944c721d 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.buchiprogramproduct - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/CACSL2BoogieTranslator/META-INF/MANIFEST.MF b/trunk/source/CACSL2BoogieTranslator/META-INF/MANIFEST.MF index 308e3a71884..a07d33165da 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.3 +Bundle-Version: 0.2.4 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 fe67af78e46..57ff2a6588a 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/CDTParser/META-INF/MANIFEST.MF b/trunk/source/CDTParser/META-INF/MANIFEST.MF index 42263f4bab7..dcc5e0bfd3c 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.3 +Bundle-Version: 0.2.4 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 9444eae61a4..032d91d56d2 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/CDTPlugin/META-INF/MANIFEST.MF b/trunk/source/CDTPlugin/META-INF/MANIFEST.MF index 11a334c173b..ccf68fc36e2 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.3 +Bundle-Version: 0.2.4 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 40d1f040687..91c2daec591 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/ChcSmtPrinter/META-INF/MANIFEST.MF b/trunk/source/ChcSmtPrinter/META-INF/MANIFEST.MF index f2a77536b65..ea06cb3292d 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.3 +Bundle-Version: 0.2.4 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 9324064e8b6..0e119a77e47 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.chcprinter - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/ChcSolver/META-INF/MANIFEST.MF b/trunk/source/ChcSolver/META-INF/MANIFEST.MF index 2bade71728a..f28db19155e 100644 --- a/trunk/source/ChcSolver/META-INF/MANIFEST.MF +++ b/trunk/source/ChcSolver/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: ChcSolver Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.chcsolver;singleton:=true -Bundle-Version: 0.2.3 +Bundle-Version: 0.2.4 Bundle-Activator: de.uni_freiburg.informatik.ultimate.plugins.chcsolver.Activator Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.lib.util, diff --git a/trunk/source/ChcSolver/pom.xml b/trunk/source/ChcSolver/pom.xml index f0caccc3dec..38b038bac20 100644 --- a/trunk/source/ChcSolver/pom.xml +++ b/trunk/source/ChcSolver/pom.xml @@ -24,12 +24,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.chcsolver - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/ChcToBoogie/META-INF/MANIFEST.MF b/trunk/source/ChcToBoogie/META-INF/MANIFEST.MF index f7303cfd377..6e75f106253 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.3 +Bundle-Version: 0.2.4 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 70fa4dbfdb0..46c0dad1efb 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.chctoboogie - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/CodeCheck/META-INF/MANIFEST.MF b/trunk/source/CodeCheck/META-INF/MANIFEST.MF index 48605c5b35b..d36b92619ca 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.3 +Bundle-Version: 0.2.4 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 eff2b75e71b..a104feaea10 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/CoreRCP/META-INF/MANIFEST.MF b/trunk/source/CoreRCP/META-INF/MANIFEST.MF index f867fe6d620..3463f390d52 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.3 +Bundle-Version: 0.2.4 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 5b68db80c5f..dd933630b6e 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.core - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/CoreRCPTest/META-INF/MANIFEST.MF b/trunk/source/CoreRCPTest/META-INF/MANIFEST.MF index 4ed31a6a49f..3473f7144cb 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.3 +Bundle-Version: 0.2.4 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 7a6352e282c..8d4e54a0d9e 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.3 + 0.2.4 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Crocotta/META-INF/MANIFEST.MF b/trunk/source/Crocotta/META-INF/MANIFEST.MF index 46b52a16c72..5074c35b860 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.3 +Bundle-Version: 0.2.4 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 ca357e7b362..7d756cada7e 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.crocotta - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/GUIGeneratedPreferencePages/META-INF/MANIFEST.MF b/trunk/source/GUIGeneratedPreferencePages/META-INF/MANIFEST.MF index 010bef334dd..2b218d386ba 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.3 +Bundle-Version: 0.2.4 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 dd6739d7743..f4027c5c83f 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.gui.preferencepages - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/GUILoggingWindow/META-INF/MANIFEST.MF b/trunk/source/GUILoggingWindow/META-INF/MANIFEST.MF index c98b570ef9f..ae5bad1e640 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.3 +Bundle-Version: 0.2.4 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 178d0d10d6e..baaf7614279 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.gui.logging - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/GuiRCP/META-INF/MANIFEST.MF b/trunk/source/GuiRCP/META-INF/MANIFEST.MF index ee9f34b1446..284e60cbb4d 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.3 +Bundle-Version: 0.2.4 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 59b8419e6c5..c165f173328 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.gui - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/IRSDependencies/META-INF/MANIFEST.MF b/trunk/source/IRSDependencies/META-INF/MANIFEST.MF index 54fac5eaaaa..1a9c67981bc 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.3 +Bundle-Version: 0.2.4 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 4110650e9c6..92e6a9d1523 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/IcfgToChc/META-INF/MANIFEST.MF b/trunk/source/IcfgToChc/META-INF/MANIFEST.MF index 9cca73de8d9..f50f73fb57f 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.3 +Bundle-Version: 0.2.4 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 675573675e5..2b9c90ea484 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.icfgtochc - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/IcfgTransformation/META-INF/MANIFEST.MF b/trunk/source/IcfgTransformation/META-INF/MANIFEST.MF index 88417ea0a60..30256713b85 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.3 +Bundle-Version: 0.2.4 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 f00b2cb24d2..4c4b5f99875 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/InvariantSynthesis/META-INF/MANIFEST.MF b/trunk/source/InvariantSynthesis/META-INF/MANIFEST.MF index 93e837923a2..eebe6ccf1e7 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.3 +Bundle-Version: 0.2.4 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 bdac5304905..2cd0f07610c 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.invariantsynthesis - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/JavaCup/pom.xml b/trunk/source/JavaCup/pom.xml index 34fdbb19993..8264d10ecbb 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/JungVisualization/META-INF/MANIFEST.MF b/trunk/source/JungVisualization/META-INF/MANIFEST.MF index 0c6ce19b3b9..587a0c08ddb 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.3 +Bundle-Version: 0.2.4 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 a283edb994b..733659fc9d6 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.3 + 0.2.4 ../BA_MavenParentUltimate diff --git a/trunk/source/LTL2aut/META-INF/MANIFEST.MF b/trunk/source/LTL2aut/META-INF/MANIFEST.MF index dba427aa628..4c4c310c5fa 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.3 +Bundle-Version: 0.2.4 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 df473f14dc6..564c5964b66 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.ltl2aut - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/LassoRanker/META-INF/MANIFEST.MF b/trunk/source/LassoRanker/META-INF/MANIFEST.MF index 7771424cd1b..fa0ce13aa16 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.3 +Bundle-Version: 0.2.4 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 b1831e3c056..43c9adbfd2d 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/Library-AcceleratedInterpolation/META-INF/MANIFEST.MF b/trunk/source/Library-AcceleratedInterpolation/META-INF/MANIFEST.MF index f9f0f55985e..3006808b9c5 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.3 +Bundle-Version: 0.2.4 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 c5e9a951ba7..890681e093d 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml - 0.2.3 + 0.2.4 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 55891929318..39b5c7f0fb3 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-ApacheCommonsLang/pom.xml b/trunk/source/Library-ApacheCommonsLang/pom.xml index ae5f520444e..e059fa7b999 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.3 + 0.2.4 ../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 01cd540819a..4a95992cc1f 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.3 +Bundle-Version: 0.2.4 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 2d9dca13acc..0736f11d52b 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.automata - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/Library-AutomataTest/META-INF/MANIFEST.MF b/trunk/source/Library-AutomataTest/META-INF/MANIFEST.MF index bd5e224eb42..a41f1818b1b 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.3 +Bundle-Version: 0.2.4 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 29f284c1ed9..152e80fdaad 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.automata.test - 0.2.3 + 0.2.4 eclipse-test-plugin diff --git a/trunk/source/Library-BoogieAST/META-INF/MANIFEST.MF b/trunk/source/Library-BoogieAST/META-INF/MANIFEST.MF index 0f77df95456..b0413353b6e 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.3 +Bundle-Version: 0.2.4 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 112e8b603bc..d6b7fd57061 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.boogieast - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/Library-CHC/META-INF/MANIFEST.MF b/trunk/source/Library-CHC/META-INF/MANIFEST.MF index c5d4f58cf81..d2ef0fef90c 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.3 +Bundle-Version: 0.2.4 Bundle-RequiredExecutionEnvironment: JavaSE-11 Bundle-ClassPath: ., Eldarica-assembly-2.0.8.jar diff --git a/trunk/source/Library-CHC/pom.xml b/trunk/source/Library-CHC/pom.xml index b58ab01d3d3..0703a48c8c2 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.chc - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/Library-CZT/pom.xml b/trunk/source/Library-CZT/pom.xml index c6cdc890770..5ce195b5342 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.3 + 0.2.4 ../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 553b731c095..3c110707682 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.3 +Bundle-Version: 0.2.4 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 1eaeac34ac7..a9bb6845472 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml - 0.2.3 + 0.2.4 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 1f446ab99b3..f971b9356e5 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.3 +Bundle-Version: 0.2.4 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 442a57f2b8c..29448d97095 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.3 + 0.2.4 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-JavaBDD/pom.xml b/trunk/source/Library-JavaBDD/pom.xml index 36a43a7f2fb..32f7ee6d4d1 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-Jung/pom.xml b/trunk/source/Library-Jung/pom.xml index 9c0a50e5a86..7d19238da54 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-LassoRanker/pom.xml b/trunk/source/Library-LassoRanker/pom.xml index c62dc9dcf59..dad7b98c2dd 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.3 + 0.2.4 ../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 c0f082cbae3..2ab6c3458f4 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.3 +Bundle-Version: 0.2.4 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 446494f1b7f..0b982d214f3 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml - 0.2.3 + 0.2.4 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 afed7b6db8b..91427139b56 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.3 +Bundle-Version: 0.2.4 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 a7667fbc1ec..ea1ba38bacf 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml - 0.2.3 + 0.2.4 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 c4b5bebe907..617e458ccde 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.3 +Bundle-Version: 0.2.4 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 b9c9d777578..045efbed37b 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.3 + 0.2.4 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.3 + 0.2.4 ../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 34ceb62117f..5c3db1340b6 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.3 +Bundle-Version: 0.2.4 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 996ad687c23..95732ddff6e 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/Library-ModelCheckerUtilsTest/META-INF/MANIFEST.MF b/trunk/source/Library-ModelCheckerUtilsTest/META-INF/MANIFEST.MF index a4cf3290cd1..614cfd1e001 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.3 +Bundle-Version: 0.2.4 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 9e1667ef9b3..fb2761a97b6 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.3 + 0.2.4 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.3 + 0.2.4 ../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 0a722f498bc..829a5e2729d 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.3 +Bundle-Version: 0.2.4 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 9f4c317f9fc..5aed60720bb 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml - 0.2.3 + 0.2.4 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 c983957f378..af8bb54c682 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.3 + 0.2.4 ../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 f0da4092a67..924138ecd2c 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.3 +Bundle-Version: 0.2.4 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 9368453f9a9..004e86cf956 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml - 0.2.3 + 0.2.4 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 5be3bef9ff0..8f8fee49283 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.3 +Bundle-Version: 0.2.4 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 08bf11674e9..a819102dcc0 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml - 0.2.3 + 0.2.4 eclipse-test-plugin de.uni_freiburg.informatik.ultimate.lib.pathexpressions.test diff --git a/trunk/source/Library-PreferenceJson/META-INF/MANIFEST.MF b/trunk/source/Library-PreferenceJson/META-INF/MANIFEST.MF index 1e1e73256a2..76db892f903 100644 --- a/trunk/source/Library-PreferenceJson/META-INF/MANIFEST.MF +++ b/trunk/source/Library-PreferenceJson/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: de.uni_freiburg.informatik.ultimate.lib.preferencejson Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.preferencejson -Bundle-Version: 0.2.3 +Bundle-Version: 0.2.4 Bundle-RequiredExecutionEnvironment: JavaSE-11 Automatic-Module-Name: de.uni.freiburg.informatik.ultimate.lib.preferencejson Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.ultimatemodel, diff --git a/trunk/source/Library-PreferenceJson/pom.xml b/trunk/source/Library-PreferenceJson/pom.xml index 266798c621d..d8cb3eaae93 100644 --- a/trunk/source/Library-PreferenceJson/pom.xml +++ b/trunk/source/Library-PreferenceJson/pom.xml @@ -22,12 +22,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.preferencejson - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/Library-SMTLIB/META-INF/MANIFEST.MF b/trunk/source/Library-SMTLIB/META-INF/MANIFEST.MF index e454d4a6972..19381e9a184 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.3 +Bundle-Version: 0.2.4 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 01c3a881a5a..cd63592ad9a 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.lib.smtlib - 0.2.3 + 0.2.4 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 d0828cc4be3..6c0f15805bf 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.3 +Bundle-Version: 0.2.4 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 7611b2113b8..ff19f598167 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.3 + 0.2.4 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.3 + 0.2.4 ../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 ab6e009db0c..1b27fdcc490 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.3 +Bundle-Version: 0.2.4 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 6befd26b711..505ac7b74bf 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml - 0.2.3 + 0.2.4 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 d7b485f3882..9ec4b64cddc 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.3 +Bundle-Version: 0.2.4 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 56abdacb45d..d83e5c44d8f 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml - 0.2.3 + 0.2.4 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 2d9a1db2c41..61f64fbbbf2 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.3 +Bundle-Version: 0.2.4 Bundle-RequiredExecutionEnvironment: JavaSE-11 Export-Package: de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.scripttransfer, de.uni_freiburg.informatik.ultimate.lib.smtlibutils, diff --git a/trunk/source/Library-SmtLibUtils/pom.xml b/trunk/source/Library-SmtLibUtils/pom.xml index 01aeebde94f..dbc8f0c9660 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.smtlibutils - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/Library-TraceCheckerUtils/META-INF/MANIFEST.MF b/trunk/source/Library-TraceCheckerUtils/META-INF/MANIFEST.MF index db3f9a36e97..0ed517d9925 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.3 +Bundle-Version: 0.2.4 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 0d15153a073..4d77aca49e1 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/Library-TraceCheckerUtilsTest/META-INF/MANIFEST.MF b/trunk/source/Library-TraceCheckerUtilsTest/META-INF/MANIFEST.MF index 3eb85f48866..7cf353ea890 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.3 +Bundle-Version: 0.2.4 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 3928eeba243..07a72371a91 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.3 + 0.2.4 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.3 + 0.2.4 ../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 9e39f7513bb..be58b3b332a 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.3 +Bundle-Version: 0.2.4 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 3a522655236..7e1ce87815b 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.lib.core - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/Library-UltimateModel/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateModel/META-INF/MANIFEST.MF index ce0f67f2e02..476f8de5ace 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.3 +Bundle-Version: 0.2.4 Bundle-RequiredExecutionEnvironment: JavaSE-11 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 37bc7efde19..4af3c96e8a6 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.lib.ultimatemodel - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/Library-UltimateTest/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateTest/META-INF/MANIFEST.MF index 00f748e7e99..a580797b004 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.3 +Bundle-Version: 0.2.4 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 fa724dcd691..ff52c716b75 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.3 + 0.2.4 eclipse-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.3 + 0.2.4 ../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 ad8e271e1fb..48176e001a2 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.3 +Bundle-Version: 0.2.4 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 37077f47396..c8ba9011e1d 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.3 + 0.2.4 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.3 + 0.2.4 ../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 ac586e0b964..52acc0d72e1 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.3 +Bundle-Version: 0.2.4 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 a8556d0763d..c29dd9dab1c 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.lib.util - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/Library-UltimateUtilTest/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateUtilTest/META-INF/MANIFEST.MF index d83f9eb043e..ab101b4e24a 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.3 +Bundle-Version: 0.2.4 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 b43e559aafa..aa8573b962e 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.3 + 0.2.4 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-ojAlgo/pom.xml b/trunk/source/Library-ojAlgo/pom.xml index e4169c9de03..918b2c6c7e4 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-srParse/pom.xml b/trunk/source/Library-srParse/pom.xml index c79f02dc96a..f842738f395 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.3 + 0.2.4 ../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 1411086d1f7..e6ba9c6900a 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.3 +Bundle-Version: 0.2.4 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 7a41af3f6a0..8a65241421f 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.3 + 0.2.4 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/PEAtoBoogie/META-INF/MANIFEST.MF b/trunk/source/PEAtoBoogie/META-INF/MANIFEST.MF index cde63ca9fe8..0a56beaa969 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.3 +Bundle-Version: 0.2.4 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 c6248394527..457567a642d 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.pea2boogie - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/PEAtoBoogieTest/META-INF/MANIFEST.MF b/trunk/source/PEAtoBoogieTest/META-INF/MANIFEST.MF index 591a1b7264e..8607d7d1786 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.3 +Bundle-Version: 0.2.4 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 89f4f44e1b9..7a1d135d684 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.3 + 0.2.4 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/PeaExampleGenerator/META-INF/MANIFEST.MF b/trunk/source/PeaExampleGenerator/META-INF/MANIFEST.MF index da8d8d89857..a2a105eb426 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.3 +Bundle-Version: 0.2.4 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 8ef993347a6..cdd52eea368 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.output.peaexamplegenerator - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/RCFGBuilder/META-INF/MANIFEST.MF b/trunk/source/RCFGBuilder/META-INF/MANIFEST.MF index 3c7ecca3c3c..4012cdf4531 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.3 +Bundle-Version: 0.2.4 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 69cafa00efa..6433245d39f 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/ReachingDefinitions/META-INF/MANIFEST.MF b/trunk/source/ReachingDefinitions/META-INF/MANIFEST.MF index 18baa54f289..a1d648da250 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.3 +Bundle-Version: 0.2.4 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 4b71d041cc2..88cb7fd500e 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/Referee/META-INF/MANIFEST.MF b/trunk/source/Referee/META-INF/MANIFEST.MF index 7ab64d71646..b479c439dc6 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.3 +Bundle-Version: 0.2.4 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 21527690216..645156466f3 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.referee - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/ReqParser/META-INF/MANIFEST.MF b/trunk/source/ReqParser/META-INF/MANIFEST.MF index 4443cbb32d0..99b3cf0fb13 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.3 +Bundle-Version: 0.2.4 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 071ee44d603..421ec92669e 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.reqparser - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/ReqPrinter/META-INF/MANIFEST.MF b/trunk/source/ReqPrinter/META-INF/MANIFEST.MF index e54400886b4..712c5ce4e69 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.3 +Bundle-Version: 0.2.4 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 0a69c8c9875..f0cce7269dc 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.req.printer - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/ReqToTest/META-INF/MANIFEST.MF b/trunk/source/ReqToTest/META-INF/MANIFEST.MF index 2d258b6d16c..ce2ff76e88d 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.3 +Bundle-Version: 0.2.4 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 55ee2a5b008..feaffec35a2 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml ReqToTest de.uni_freiburg.informatik.ultimate.reqtotest - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/SMTInterpol/pom.xml b/trunk/source/SMTInterpol/pom.xml index d7c8e70c07d..3b1cf1cba98 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/SMTInterpolTest/META-INF/MANIFEST.MF b/trunk/source/SMTInterpolTest/META-INF/MANIFEST.MF index 4a6a33697cd..e4657716708 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.3 +Bundle-Version: 0.2.4 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 666a9eb5266..32f7004ad65 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.3 + 0.2.4 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/SMTSolverBridge/META-INF/MANIFEST.MF b/trunk/source/SMTSolverBridge/META-INF/MANIFEST.MF index 691f2844e09..435331b5822 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.3 +Bundle-Version: 0.2.4 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 54379b88248..ee1b72840bf 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/SMTSolverBridgeTest/META-INF/MANIFEST.MF b/trunk/source/SMTSolverBridgeTest/META-INF/MANIFEST.MF index dc2f600e074..6530029bfe1 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.3 +Bundle-Version: 0.2.4 Fragment-Host: de.uni_freiburg.informatik.ultimate.smtsolver.external Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: org.junit, de.uni_freiburg.informatik.ultimate.lib.test diff --git a/trunk/source/SMTSolverBridgeTest/pom.xml b/trunk/source/SMTSolverBridgeTest/pom.xml index cb6a74d8041..9a97aa720d1 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.smtsolver.external.test - 0.2.3 + 0.2.4 eclipse-test-plugin diff --git a/trunk/source/Sifa/META-INF/MANIFEST.MF b/trunk/source/Sifa/META-INF/MANIFEST.MF index bbed6b4e445..9c4f9e5bda7 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.3 +Bundle-Version: 0.2.4 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 d7455329e03..2c5c457a1b9 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.sifa - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/SmtParser/META-INF/MANIFEST.MF b/trunk/source/SmtParser/META-INF/MANIFEST.MF index 58427b9f01b..3e87fd03bd1 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.3 +Bundle-Version: 0.2.4 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 43b69b54e95..382bb7aabbb 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.source.smtparser - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/SpaceExParser/META-INF/MANIFEST.MF b/trunk/source/SpaceExParser/META-INF/MANIFEST.MF index d168c158639..b6ada437073 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.3 +Bundle-Version: 0.2.4 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 b0a13235894..189116d3c4d 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.spaceex.parser - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/SpaceExParserTest/META-INF/MANIFEST.MF b/trunk/source/SpaceExParserTest/META-INF/MANIFEST.MF index a0d931dbe6d..ef9fc897ca3 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.3 +Bundle-Version: 0.2.4 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 01fe293d57a..4a44cc93a37 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.spaceex.parser.test - 0.2.3 + 0.2.4 eclipse-test-plugin diff --git a/trunk/source/SyntaxChecker/META-INF/MANIFEST.MF b/trunk/source/SyntaxChecker/META-INF/MANIFEST.MF index bfa2d1ed223..7a5ba1cfc07 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.3 +Bundle-Version: 0.2.4 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 1a5cf3eccd1..34373cb1464 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.analysis.syntaxchecker - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/TraceAbstraction/META-INF/MANIFEST.MF b/trunk/source/TraceAbstraction/META-INF/MANIFEST.MF index edd1d1b24f6..e1a77a2ddae 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.3 +Bundle-Version: 0.2.4 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 801010ba91f..4d1a5810c93 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/TraceAbstractionConcurrent/META-INF/MANIFEST.MF b/trunk/source/TraceAbstractionConcurrent/META-INF/MANIFEST.MF index f15590c050a..5a290b39f53 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.3 +Bundle-Version: 0.2.4 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 9dbd30b6a0f..43c64027b67 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/TraceAbstractionWithAFAs/META-INF/MANIFEST.MF b/trunk/source/TraceAbstractionWithAFAs/META-INF/MANIFEST.MF index 16ece55edc5..4e6b8128ea4 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.3 +Bundle-Version: 0.2.4 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 020f5412e8b..35578f7b9bb 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/TreeAutomizer/META-INF/MANIFEST.MF b/trunk/source/TreeAutomizer/META-INF/MANIFEST.MF index 92114ca2e26..098c87efde5 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.3 +Bundle-Version: 0.2.4 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 3b693c50465..3763f24b064 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.treeautomizer - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/UltimateCLI/META-INF/MANIFEST.MF b/trunk/source/UltimateCLI/META-INF/MANIFEST.MF index 62cf6546005..054a1da6e76 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.3 +Bundle-Version: 0.2.4 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 e2b3892ac22..7a1a72d01f9 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.cli - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/UltimateDeltaDebugger/META-INF/MANIFEST.MF b/trunk/source/UltimateDeltaDebugger/META-INF/MANIFEST.MF index b94c97a3715..69300b73600 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.3 +Bundle-Version: 0.2.4 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 2b4aea489a2..07c3e3f0296 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.deltadebugger - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/UltimateEliminatorController/META-INF/MANIFEST.MF b/trunk/source/UltimateEliminatorController/META-INF/MANIFEST.MF index 9480616ec72..5c4f3e150e3 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.3 +Bundle-Version: 0.2.4 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 f9996bcfcdf..257c33c91f7 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.controller.eliminator - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/UltimateRegressionTest/META-INF/MANIFEST.MF b/trunk/source/UltimateRegressionTest/META-INF/MANIFEST.MF index 96e53b02ae7..d4f1ce2e281 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.3 +Bundle-Version: 0.2.4 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 fe6b68d875c..8faa46400c7 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.3 + 0.2.4 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/UltimateTest/META-INF/MANIFEST.MF b/trunk/source/UltimateTest/META-INF/MANIFEST.MF index e7f53cccfa7..a1318e01ccf 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.3 +Bundle-Version: 0.2.4 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 4de5a8dca31..6e166708b4c 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.3 + 0.2.4 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/WebBackend/META-INF/MANIFEST.MF b/trunk/source/WebBackend/META-INF/MANIFEST.MF index 50c923c344c..3e5a3aeef84 100644 --- a/trunk/source/WebBackend/META-INF/MANIFEST.MF +++ b/trunk/source/WebBackend/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: WebBackend Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.web.backend;singleton:=true -Bundle-Version: 0.2.3 +Bundle-Version: 0.2.4 Bundle-Activator: de.uni_freiburg.informatik.ultimate.web.backend.Activator Bundle-RequiredExecutionEnvironment: JavaSE-11 Bundle-ActivationPolicy: lazy diff --git a/trunk/source/WebBackend/pom.xml b/trunk/source/WebBackend/pom.xml index a711a074ce2..465f3cbf6d4 100644 --- a/trunk/source/WebBackend/pom.xml +++ b/trunk/source/WebBackend/pom.xml @@ -5,13 +5,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.web.backend - 0.2.3 + 0.2.4 eclipse-plugin \ No newline at end of file diff --git a/trunk/source/WitnessParser/META-INF/MANIFEST.MF b/trunk/source/WitnessParser/META-INF/MANIFEST.MF index 22cf940e009..e4968856c21 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.3 +Bundle-Version: 0.2.4 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 1282eb7f808..6ca89e896e1 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.witnessparser - 0.2.3 + 0.2.4 eclipse-plugin diff --git a/trunk/source/WitnessPrinter/META-INF/MANIFEST.MF b/trunk/source/WitnessPrinter/META-INF/MANIFEST.MF index 011ef985752..29c822c4a19 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.3 +Bundle-Version: 0.2.4 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 fc42cd37ee1..1439269aad6 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.3 + 0.2.4 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.witnessprinter - 0.2.3 + 0.2.4 eclipse-plugin