From 6a47aea7f7ebdf094ecc7deeade61d680a3301a6 Mon Sep 17 00:00:00 2001 From: Daniel Dietsch Date: Tue, 23 Nov 2021 12:33:45 +0100 Subject: [PATCH] update versions to 0.2.2 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 +- .../AbstractInterpretationV2/META-INF/MANIFEST.MF | 2 +- trunk/source/AbstractInterpretationV2/pom.xml | 4 ++-- .../AbstractInterpretationV2Test/META-INF/MANIFEST.MF | 2 +- trunk/source/AbstractInterpretationV2Test/pom.xml | 2 +- .../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 ++-- .../source/AutomatonDeltaDebugger/META-INF/MANIFEST.MF | 2 +- trunk/source/AutomatonDeltaDebugger/pom.xml | 4 ++-- .../BA_FeatureDependenciesCommandlineE4/feature.xml | 2 +- .../source/BA_FeatureDependenciesCommandlineE4/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 +- .../source/BA_FeatureUltimateDeltaDebugger/feature.xml | 2 +- trunk/source/BA_FeatureUltimateDeltaDebugger/pom.xml | 2 +- trunk/source/BA_FeatureUltimateWebbridge/feature.xml | 2 +- trunk/source/BA_FeatureUltimateWebbridge/pom.xml | 2 +- trunk/source/BA_MavenParentUltimate/pom.xml | 4 ++-- trunk/source/BA_SiteRepository/CLI-E4.product | 2 +- trunk/source/BA_SiteRepository/Debug-E4.product | 10 +++++----- trunk/source/BA_SiteRepository/DeltaDebugger.product | 8 ++++---- trunk/source/BA_SiteRepository/ReqAnalyzer.product | 8 ++++---- .../BA_SiteRepository/UltimateEliminator.product | 2 +- trunk/source/BA_SiteRepository/Webbridge.product | 6 +++--- trunk/source/BA_SiteRepository/pom.xml | 2 +- trunk/source/BA_Website/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 ++-- .../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 ++-- .../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 ++-- .../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 ++-- .../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/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 ++-- .../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 ++-- .../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-Disruptor/pom.xml | 2 +- .../Library-IcfgTransformer/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-IcfgTransformer/pom.xml | 4 ++-- .../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 ++-- .../Library-ModelCheckerUtils/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-ModelCheckerUtils/pom.xml | 4 ++-- .../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 +- .../Library-PathExpressions/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-PathExpressions/pom.xml | 4 ++-- .../Library-PathExpressionsTest/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-PathExpressionsTest/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 ++-- .../Library-TraceCheckerUtils/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-TraceCheckerUtils/pom.xml | 4 ++-- trunk/source/Library-UltimateCore/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-UltimateCore/pom.xml | 4 ++-- .../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 ++-- .../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 ++-- .../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 ++-- .../TraceAbstractionConcurrent/META-INF/MANIFEST.MF | 2 +- trunk/source/TraceAbstractionConcurrent/pom.xml | 4 ++-- .../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 ++-- .../source/UltimateDeltaDebugger/META-INF/MANIFEST.MF | 2 +- trunk/source/UltimateDeltaDebugger/pom.xml | 4 ++-- .../UltimateEliminatorController/META-INF/MANIFEST.MF | 2 +- trunk/source/UltimateEliminatorController/pom.xml | 4 ++-- .../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/WebInterface/pom.xml | 2 +- trunk/source/WebUltimateBridge/META-INF/MANIFEST.MF | 2 +- trunk/source/WebUltimateBridge/pom.xml | 4 ++-- trunk/source/Website/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 ++-- 225 files changed, 327 insertions(+), 327 deletions(-) diff --git a/trunk/source/ACSLParser/META-INF/MANIFEST.MF b/trunk/source/ACSLParser/META-INF/MANIFEST.MF index 87f3b2cf8a7..6aa35f9a293 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.1 +Bundle-Version: 0.2.2 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 48fdf494f7b..01a34078339 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/ASTBuilder/META-INF/MANIFEST.MF b/trunk/source/ASTBuilder/META-INF/MANIFEST.MF index 41d44c45679..f94512fa78e 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.1 +Bundle-Version: 0.2.2 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 543528d6bc6..eaffbd64151 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.1 + 0.2.2 ../BA_MavenParentUltimate diff --git a/trunk/source/AbstractInterpretationV2/META-INF/MANIFEST.MF b/trunk/source/AbstractInterpretationV2/META-INF/MANIFEST.MF index ba09d99c686..13393cd0b5b 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.1 +Bundle-Version: 0.2.2 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 0e7a92c5ac7..a0ed0272c5e 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2 - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/AbstractInterpretationV2Test/META-INF/MANIFEST.MF b/trunk/source/AbstractInterpretationV2Test/META-INF/MANIFEST.MF index 220d9e99977..385ee04adac 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.1 +Bundle-Version: 0.2.2 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 5ad0248877b..c0c4f5079b1 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/AutomataScriptInterpreter/META-INF/MANIFEST.MF b/trunk/source/AutomataScriptInterpreter/META-INF/MANIFEST.MF index ca79c48baf9..24516f04c61 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.1 +Bundle-Version: 0.2.2 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 04a062aafe6..0323f6545dc 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/AutomataScriptParser/META-INF/MANIFEST.MF b/trunk/source/AutomataScriptParser/META-INF/MANIFEST.MF index 8e2664204a3..83943cd6e44 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.1 +Bundle-Version: 0.2.2 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 254c2344021..25519c68063 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.source.automatascriptparser - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/AutomatonDeltaDebugger/META-INF/MANIFEST.MF b/trunk/source/AutomatonDeltaDebugger/META-INF/MANIFEST.MF index cad07083259..45882a021c4 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.1 +Bundle-Version: 0.2.2 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 78d00aba2d9..6ea1fe5df56 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.analysis.automatondeltadebugger - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml b/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml index 6aee0cb10f1..e22e8063ce5 100644 --- a/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml +++ b/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml @@ -2,7 +2,7 @@ diff --git a/trunk/source/BA_FeatureDependenciesCommandlineE4/pom.xml b/trunk/source/BA_FeatureDependenciesCommandlineE4/pom.xml index 9687cbbd690..57283ae755f 100644 --- a/trunk/source/BA_FeatureDependenciesCommandlineE4/pom.xml +++ b/trunk/source/BA_FeatureDependenciesCommandlineE4/pom.xml @@ -4,11 +4,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml BA_FeatureDependenciesCommandlineE4 - 0.2.1 + 0.2.2 eclipse-feature \ No newline at end of file diff --git a/trunk/source/BA_FeatureDependenciesCommon/feature.xml b/trunk/source/BA_FeatureDependenciesCommon/feature.xml index 71ae4c0b620..9ded898d6a0 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 61071ec9a3d..5b19a1f200b 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml BA_FeatureDependenciesCommon - 0.2.1 + 0.2.2 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 32ed138de41..50e622d9704 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 7c7aa8bf3c8..6889b46570e 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml BA_FeatureDependenciesDebugE4 - 0.2.1 + 0.2.2 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 82a73dab476..fea3dd3bbe9 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 19ac1c6d938..96831f6895f 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BA_FeatureUltimateCommon/feature.xml b/trunk/source/BA_FeatureUltimateCommon/feature.xml index 54e6ea228b1..928d2194f50 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 18ae24efe81..0cfb97a2c5f 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BA_FeatureUltimateDebug/feature.xml b/trunk/source/BA_FeatureUltimateDebug/feature.xml index c4a2f31662d..938ebe59c99 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 20be40d9fdb..599774a4d6e 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml b/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml index 4de641e0a1e..ce4611f20c0 100644 --- a/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml +++ b/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml @@ -2,7 +2,7 @@ + version="0.2.2"> diff --git a/trunk/source/BA_FeatureUltimateDeltaDebugger/pom.xml b/trunk/source/BA_FeatureUltimateDeltaDebugger/pom.xml index 36a21aaa35a..f928264f1fd 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BA_FeatureUltimateWebbridge/feature.xml b/trunk/source/BA_FeatureUltimateWebbridge/feature.xml index a99b60ddf9e..5d83839fba6 100644 --- a/trunk/source/BA_FeatureUltimateWebbridge/feature.xml +++ b/trunk/source/BA_FeatureUltimateWebbridge/feature.xml @@ -1,7 +1,7 @@ + version="0.2.2"> mavenparent de.uni_freiburg.informatik.ultimate - 0.2.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BA_MavenParentUltimate/pom.xml b/trunk/source/BA_MavenParentUltimate/pom.xml index e0de0b72655..e1eff19a4f4 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.1 + 0.2.2 pom Ultimate @@ -16,7 +16,7 @@ - 0.2.1 + 0.2.2 diff --git a/trunk/source/BA_SiteRepository/CLI-E4.product b/trunk/source/BA_SiteRepository/CLI-E4.product index ea91e1a5dd3..4fa5b808ed6 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 bf1f8881839..52da343b728 100644 --- a/trunk/source/BA_SiteRepository/Debug-E4.product +++ b/trunk/source/BA_SiteRepository/Debug-E4.product @@ -1,7 +1,7 @@ - + @@ -40,10 +40,10 @@ - - - - + + + + diff --git a/trunk/source/BA_SiteRepository/DeltaDebugger.product b/trunk/source/BA_SiteRepository/DeltaDebugger.product index 41d1bb72b58..b37732e6d9a 100644 --- a/trunk/source/BA_SiteRepository/DeltaDebugger.product +++ b/trunk/source/BA_SiteRepository/DeltaDebugger.product @@ -1,7 +1,7 @@ - + @@ -43,9 +43,9 @@ - - - + + + diff --git a/trunk/source/BA_SiteRepository/ReqAnalyzer.product b/trunk/source/BA_SiteRepository/ReqAnalyzer.product index 0cdf678e3c7..c4388e4eed6 100644 --- a/trunk/source/BA_SiteRepository/ReqAnalyzer.product +++ b/trunk/source/BA_SiteRepository/ReqAnalyzer.product @@ -1,7 +1,7 @@ - + @@ -45,9 +45,9 @@ - - - + + + diff --git a/trunk/source/BA_SiteRepository/UltimateEliminator.product b/trunk/source/BA_SiteRepository/UltimateEliminator.product index ac4dea5e848..f2758897629 100644 --- a/trunk/source/BA_SiteRepository/UltimateEliminator.product +++ b/trunk/source/BA_SiteRepository/UltimateEliminator.product @@ -1,7 +1,7 @@ - + diff --git a/trunk/source/BA_SiteRepository/Webbridge.product b/trunk/source/BA_SiteRepository/Webbridge.product index a887f3fbf70..b3ff5ec4b3f 100644 --- a/trunk/source/BA_SiteRepository/Webbridge.product +++ b/trunk/source/BA_SiteRepository/Webbridge.product @@ -1,7 +1,7 @@ - + @@ -41,8 +41,8 @@ - - + + diff --git a/trunk/source/BA_SiteRepository/pom.xml b/trunk/source/BA_SiteRepository/pom.xml index 4efb3915c71..1518abce5e1 100644 --- a/trunk/source/BA_SiteRepository/pom.xml +++ b/trunk/source/BA_SiteRepository/pom.xml @@ -5,7 +5,7 @@ de.uni_freiburg.informatik.ultimate mavenparent - 0.2.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BA_Website/pom.xml b/trunk/source/BA_Website/pom.xml index bb8371f4cb0..cb22b75cd2b 100644 --- a/trunk/source/BA_Website/pom.xml +++ b/trunk/source/BA_Website/pom.xml @@ -5,7 +5,7 @@ de.uni_freiburg.informatik.ultimate mavenparent - 0.2.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BlockEncoding/META-INF/MANIFEST.MF b/trunk/source/BlockEncoding/META-INF/MANIFEST.MF index bbf742474bf..3548bdaf656 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.1 +Bundle-Version: 0.2.2 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 d048926824f..dea6080115f 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.generator.blockencoding - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/BlockEncodingV2/META-INF/MANIFEST.MF b/trunk/source/BlockEncodingV2/META-INF/MANIFEST.MF index 9ee56ac4edf..5e3a42a7f92 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.1 +Bundle-Version: 0.2.2 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 569f296793d..8225b921d19 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.blockencoding - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/BoogieModSetAnnotator/META-INF/MANIFEST.MF b/trunk/source/BoogieModSetAnnotator/META-INF/MANIFEST.MF index 6678d5a1aa9..c583e4ccfa6 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.1 +Bundle-Version: 0.2.2 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 b7ea8a9f221..6ac03dae825 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.generator.modsetannotator - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/BoogiePLParser/META-INF/MANIFEST.MF b/trunk/source/BoogiePLParser/META-INF/MANIFEST.MF index 7cbd4787003..f38d97d1a56 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.1 +Bundle-Version: 0.2.2 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 61679dec883..26184b816b8 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.boogie.parser - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/BoogiePreprocessor/META-INF/MANIFEST.MF b/trunk/source/BoogiePreprocessor/META-INF/MANIFEST.MF index e581164f551..030a84ab9af 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.1 +Bundle-Version: 0.2.2 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 38d54508005..8d4a353f39b 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.boogie.preprocessor - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/BoogiePreprocessorTest/META-INF/MANIFEST.MF b/trunk/source/BoogiePreprocessorTest/META-INF/MANIFEST.MF index 2524b478c7d..8e2de30cb2b 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.1 +Bundle-Version: 0.2.2 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 696b043922c..a9aecdafcc4 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.1 + 0.2.2 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BoogiePrinter/META-INF/MANIFEST.MF b/trunk/source/BoogiePrinter/META-INF/MANIFEST.MF index 1bbd45543d2..863e59f9a0b 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.1 +Bundle-Version: 0.2.2 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 7c562f7648a..9be870a288e 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.boogie.printer - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/BoogieProcedureInliner/META-INF/MANIFEST.MF b/trunk/source/BoogieProcedureInliner/META-INF/MANIFEST.MF index a814ff641a5..4bbcb6acdb3 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.1 +Bundle-Version: 0.2.2 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 758a8e7816e..31269379143 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.boogie.procedureinliner - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/BuchiAutomizer/META-INF/MANIFEST.MF b/trunk/source/BuchiAutomizer/META-INF/MANIFEST.MF index 056d18be4e6..a6a3d7e032d 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.1 +Bundle-Version: 0.2.2 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 4ca740fa054..b3530c04989 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.1 + 0.2.2 eclipse-plugin de.uni_freiburg.informatik.ultimate mavenparent - 0.2.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BuchiProgramProduct/META-INF/MANIFEST.MF b/trunk/source/BuchiProgramProduct/META-INF/MANIFEST.MF index 8970812aa6b..8403eca4792 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.1 +Bundle-Version: 0.2.2 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 6965210d753..3734b2f6ede 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.buchiprogramproduct - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/CACSL2BoogieTranslator/META-INF/MANIFEST.MF b/trunk/source/CACSL2BoogieTranslator/META-INF/MANIFEST.MF index 9e9eb116df0..e43806be445 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.1 +Bundle-Version: 0.2.2 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 74f07d109a5..e7b0b446ca0 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/CDTParser/META-INF/MANIFEST.MF b/trunk/source/CDTParser/META-INF/MANIFEST.MF index 457bc662fe2..5f2664d5fbe 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.1 +Bundle-Version: 0.2.2 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 462aec55dfb..c9813d7ad62 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/CDTPlugin/META-INF/MANIFEST.MF b/trunk/source/CDTPlugin/META-INF/MANIFEST.MF index 13221ec0766..bc77019501c 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.1 +Bundle-Version: 0.2.2 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 ddbc3bb19c8..a13a9714d1a 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/ChcSmtPrinter/META-INF/MANIFEST.MF b/trunk/source/ChcSmtPrinter/META-INF/MANIFEST.MF index 69e288161e4..f67a80fcf9e 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.1 +Bundle-Version: 0.2.2 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 c288ec8106e..fa7a20872e6 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.chcprinter - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/ChcToBoogie/META-INF/MANIFEST.MF b/trunk/source/ChcToBoogie/META-INF/MANIFEST.MF index bdd4735f807..b7d1a210d1a 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.1 +Bundle-Version: 0.2.2 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 73a67801a58..f9347527201 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.chctoboogie - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/CodeCheck/META-INF/MANIFEST.MF b/trunk/source/CodeCheck/META-INF/MANIFEST.MF index 6f475c86e56..9d5f73c7c3e 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.1 +Bundle-Version: 0.2.2 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 170d2f70f19..d9272bd8ec8 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/CoreRCP/META-INF/MANIFEST.MF b/trunk/source/CoreRCP/META-INF/MANIFEST.MF index c93284b8348..0cf527f2ea7 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.1 +Bundle-Version: 0.2.2 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 1204f9d3972..a09a3355ea3 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.core - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/CoreRCPTest/META-INF/MANIFEST.MF b/trunk/source/CoreRCPTest/META-INF/MANIFEST.MF index 45c1a6eb4ca..af4e987b0f3 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.1 +Bundle-Version: 0.2.2 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 edacd146c83..16742e164a5 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.1 + 0.2.2 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Crocotta/META-INF/MANIFEST.MF b/trunk/source/Crocotta/META-INF/MANIFEST.MF index fcd23eeeaf5..e8b89f1b3b1 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.1 +Bundle-Version: 0.2.2 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 82c11f56c7c..2731bf81752 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.crocotta - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/GUIGeneratedPreferencePages/META-INF/MANIFEST.MF b/trunk/source/GUIGeneratedPreferencePages/META-INF/MANIFEST.MF index d88fdf1d7bd..509264c03e1 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.1 +Bundle-Version: 0.2.2 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 e8f0b32f8be..8d5a0bb9fa0 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.gui.preferencepages - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/GUILoggingWindow/META-INF/MANIFEST.MF b/trunk/source/GUILoggingWindow/META-INF/MANIFEST.MF index d8c0de16384..32f3ee371c4 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.1 +Bundle-Version: 0.2.2 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 f7a5739ac62..d2ce3884be8 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.gui.logging - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/GuiRCP/META-INF/MANIFEST.MF b/trunk/source/GuiRCP/META-INF/MANIFEST.MF index d848786ac0f..74967060182 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.1 +Bundle-Version: 0.2.2 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 27ed7538b3d..9877ea0bdd4 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.gui - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/IRSDependencies/META-INF/MANIFEST.MF b/trunk/source/IRSDependencies/META-INF/MANIFEST.MF index 9a68b83a149..e572d12ec15 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.1 +Bundle-Version: 0.2.2 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 318b7650474..14b48a6c2fb 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/IcfgToChc/META-INF/MANIFEST.MF b/trunk/source/IcfgToChc/META-INF/MANIFEST.MF index 46aa2d64bd9..2570cb691ae 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.1 +Bundle-Version: 0.2.2 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 dce33a68c5e..97c98a62099 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.icfgtochc - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/IcfgTransformation/META-INF/MANIFEST.MF b/trunk/source/IcfgTransformation/META-INF/MANIFEST.MF index ca534820f80..24cd6c9174b 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.1 +Bundle-Version: 0.2.2 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 c0476d25d42..8f527d89f51 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/InvariantSynthesis/META-INF/MANIFEST.MF b/trunk/source/InvariantSynthesis/META-INF/MANIFEST.MF index 7507c3c3647..b952884008a 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.1 +Bundle-Version: 0.2.2 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 1c0e1baa40b..1f11812421d 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.invariantsynthesis - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/JavaCup/pom.xml b/trunk/source/JavaCup/pom.xml index fe3e9d9e26d..ab2f94fe9c5 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/JungVisualization/META-INF/MANIFEST.MF b/trunk/source/JungVisualization/META-INF/MANIFEST.MF index 7308e65d3c5..e754509535a 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.1 +Bundle-Version: 0.2.2 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 b192c6e0c35..22f6fc4b7e4 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.1 + 0.2.2 ../BA_MavenParentUltimate diff --git a/trunk/source/LTL2aut/META-INF/MANIFEST.MF b/trunk/source/LTL2aut/META-INF/MANIFEST.MF index 541253bdb5c..e2056159ad1 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.1 +Bundle-Version: 0.2.2 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 c6f56c17776..bc218e6916d 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.ltl2aut - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/LassoRanker/META-INF/MANIFEST.MF b/trunk/source/LassoRanker/META-INF/MANIFEST.MF index 52f360c2845..d69331294bd 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.1 +Bundle-Version: 0.2.2 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 4f8fc2bb485..d6795396738 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/Library-AcceleratedInterpolation/META-INF/MANIFEST.MF b/trunk/source/Library-AcceleratedInterpolation/META-INF/MANIFEST.MF index d8f461c64eb..691a2e4e65d 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.1 +Bundle-Version: 0.2.2 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 f60e8047abb..070d8ccbf8f 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml - 0.2.1 + 0.2.2 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 398eadb8c72..cd7cd0336ee 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-ApacheCommonsLang/pom.xml b/trunk/source/Library-ApacheCommonsLang/pom.xml index de8e7d85b4d..5bf33fb0dc2 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.1 + 0.2.2 ../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 f390ab8c852..2d55ea301d8 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.1 +Bundle-Version: 0.2.2 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 9fb7aa9840f..7486813b907 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.automata - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/Library-AutomataTest/META-INF/MANIFEST.MF b/trunk/source/Library-AutomataTest/META-INF/MANIFEST.MF index c89cb61c47b..09ff0da03ef 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.1 +Bundle-Version: 0.2.2 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 e9502e1fbb1..a2311d23010 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.automata.test - 0.2.1 + 0.2.2 eclipse-test-plugin diff --git a/trunk/source/Library-BoogieAST/META-INF/MANIFEST.MF b/trunk/source/Library-BoogieAST/META-INF/MANIFEST.MF index 787ffd76efc..a4a228568b0 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.1 +Bundle-Version: 0.2.2 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 e69cf03427f..735b1490566 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.boogieast - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/Library-CHC/META-INF/MANIFEST.MF b/trunk/source/Library-CHC/META-INF/MANIFEST.MF index 043444dbd02..27976e75372 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.1 +Bundle-Version: 0.2.2 Bundle-RequiredExecutionEnvironment: JavaSE-11 Bundle-ClassPath: . Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.smtlibutils, diff --git a/trunk/source/Library-CHC/pom.xml b/trunk/source/Library-CHC/pom.xml index eeb9698e0b8..66f1605c6a1 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.chc - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/Library-CZT/pom.xml b/trunk/source/Library-CZT/pom.xml index 84290b60ebe..6c74bdd2ffd 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-Disruptor/pom.xml b/trunk/source/Library-Disruptor/pom.xml index b358e2da95b..bb6c9af7d42 100644 --- a/trunk/source/Library-Disruptor/pom.xml +++ b/trunk/source/Library-Disruptor/pom.xml @@ -4,7 +4,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.1 + 0.2.2 ../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 07ba5121b70..10952a68795 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.1 +Bundle-Version: 0.2.2 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 a46f8687c72..b27a8d9098c 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml - 0.2.1 + 0.2.2 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 83fbca54358..500e4c19c52 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.1 +Bundle-Version: 0.2.2 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 cf2fd474048..3c72f9d6ccf 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.1 + 0.2.2 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-JavaBDD/pom.xml b/trunk/source/Library-JavaBDD/pom.xml index ef69fb2eda2..0efa8a6fbad 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-Jung/pom.xml b/trunk/source/Library-Jung/pom.xml index c31083ed6d1..a7bdc465b3d 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-LassoRanker/pom.xml b/trunk/source/Library-LassoRanker/pom.xml index 8de3bd79011..9a388d63578 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.1 + 0.2.2 ../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 502fc0a4f87..f2b48d009ee 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.1 +Bundle-Version: 0.2.2 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 b44741e9cc8..c764be48b37 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml - 0.2.1 + 0.2.2 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 f8128058c61..a1f14a1dbdd 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.1 +Bundle-Version: 0.2.2 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 d5b0aba3a62..bcaaaaf2753 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml - 0.2.1 + 0.2.2 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 2c74746fa55..90f6ff97e04 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.1 +Bundle-Version: 0.2.2 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 9e8cab31360..b92f0e23ab8 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.1 + 0.2.2 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.1 + 0.2.2 ../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 fa87ea62551..5cf846a3d0c 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.1 +Bundle-Version: 0.2.2 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 da924f86a67..cc77ea704c4 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/Library-ModelCheckerUtilsTest/META-INF/MANIFEST.MF b/trunk/source/Library-ModelCheckerUtilsTest/META-INF/MANIFEST.MF index b282818f826..e30bdebb337 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.1 +Bundle-Version: 0.2.2 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 bfd1d8df2df..77c811b6d56 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.1 + 0.2.2 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.1 + 0.2.2 ../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 229169e492c..30174cd55e9 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.1 +Bundle-Version: 0.2.2 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 83132623d5f..9e462800c6d 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml - 0.2.1 + 0.2.2 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 0690652c276..b2f602381ae 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.1 + 0.2.2 ../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 03cc7087939..f785abc022e 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.1 +Bundle-Version: 0.2.2 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 7fa26bd4a19..7840687cc3b 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml - 0.2.1 + 0.2.2 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 99cb96fc323..111eb2aa11c 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.1 +Bundle-Version: 0.2.2 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 829c9262d33..69d0eef17fd 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml - 0.2.1 + 0.2.2 eclipse-test-plugin de.uni_freiburg.informatik.ultimate.lib.pathexpressions.test diff --git a/trunk/source/Library-SMTLIB/META-INF/MANIFEST.MF b/trunk/source/Library-SMTLIB/META-INF/MANIFEST.MF index 6a7463b72c5..786f32954b2 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.1 +Bundle-Version: 0.2.2 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 e8936558d8f..01488871ebe 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.lib.smtlib - 0.2.1 + 0.2.2 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 a090c80e782..dcc03d3cbe9 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.1 +Bundle-Version: 0.2.2 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 5320555fa25..08e4c2b0bb2 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.1 + 0.2.2 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.1 + 0.2.2 ../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 61296c8e0e9..aa5dc80605b 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.1 +Bundle-Version: 0.2.2 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 4cb1bd74ceb..908d1204fa2 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml - 0.2.1 + 0.2.2 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 4f1b3857fc8..121bf161f28 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.1 +Bundle-Version: 0.2.2 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 a00a08aad13..038c1887554 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml - 0.2.1 + 0.2.2 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 991f970d051..187b3b79389 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.1 +Bundle-Version: 0.2.2 Bundle-RequiredExecutionEnvironment: JavaSE-11 Export-Package: de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.bdd, de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.scripttransfer, diff --git a/trunk/source/Library-SmtLibUtils/pom.xml b/trunk/source/Library-SmtLibUtils/pom.xml index e46ebffe999..840bc56228f 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.smtlibutils - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/Library-TraceCheckerUtils/META-INF/MANIFEST.MF b/trunk/source/Library-TraceCheckerUtils/META-INF/MANIFEST.MF index 57bc651e73d..44aae941481 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.1 +Bundle-Version: 0.2.2 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 5c2fc317d90..bfca4451605 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/Library-UltimateCore/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateCore/META-INF/MANIFEST.MF index 38bc19b3f6a..16ab3e719dd 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.1 +Bundle-Version: 0.2.2 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 1811da78d42..d43c2059a3c 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.lib.core - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/Library-UltimateModel/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateModel/META-INF/MANIFEST.MF index e80345af188..e1f446868da 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.1 +Bundle-Version: 0.2.2 Bundle-RequiredExecutionEnvironment: JavaSE-1.8 Export-Package: de.uni_freiburg.informatik.ultimate.core.model, de.uni_freiburg.informatik.ultimate.core.model.models, diff --git a/trunk/source/Library-UltimateModel/pom.xml b/trunk/source/Library-UltimateModel/pom.xml index 32b5d5ed160..3fe736ea396 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.lib.ultimatemodel - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/Library-UltimateTest/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateTest/META-INF/MANIFEST.MF index 4606c09d72b..fe1ceadbe2d 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.1 +Bundle-Version: 0.2.2 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 c0e2d6f8c3a..c16d26db67c 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.1 + 0.2.2 eclipse-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.1 + 0.2.2 ../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 7c2790ccec3..8c2de046047 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.1 +Bundle-Version: 0.2.2 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 3f1bdddca12..68b3687d19f 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.1 + 0.2.2 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.1 + 0.2.2 ../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 34502ae9f6f..1ef78e36271 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.1 +Bundle-Version: 0.2.2 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 4ff974be024..23f7778f57c 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.lib.util - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/Library-UltimateUtilTest/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateUtilTest/META-INF/MANIFEST.MF index 6a7cd5d9146..20ae046588d 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.1 +Bundle-Version: 0.2.2 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 9be7e1673c9..ef6f280e8a2 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.1 + 0.2.2 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-ojAlgo/pom.xml b/trunk/source/Library-ojAlgo/pom.xml index 2b5e4829186..63f1b9624e7 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-srParse/pom.xml b/trunk/source/Library-srParse/pom.xml index a5f2b678a61..0c7d8ff5c67 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.1 + 0.2.2 ../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 7a5f24fc441..faa13bbd373 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.1 +Bundle-Version: 0.2.2 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 cf840ba8f3e..087fb7d782f 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.1 + 0.2.2 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/PEAtoBoogie/META-INF/MANIFEST.MF b/trunk/source/PEAtoBoogie/META-INF/MANIFEST.MF index 986772f80f6..4ca1e81a88a 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.1 +Bundle-Version: 0.2.2 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 16a93b8cfd2..50921ca5baf 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.pea2boogie - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/PEAtoBoogieTest/META-INF/MANIFEST.MF b/trunk/source/PEAtoBoogieTest/META-INF/MANIFEST.MF index c6eccc523a3..372cbb15c1d 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.1 +Bundle-Version: 0.2.2 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 bd8e52e5722..bcb2702a47e 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.1 + 0.2.2 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/PeaExampleGenerator/META-INF/MANIFEST.MF b/trunk/source/PeaExampleGenerator/META-INF/MANIFEST.MF index 53b1124266d..dcb206388cb 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.1 +Bundle-Version: 0.2.2 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 c48d499c6e9..07f74224ef7 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.output.peaexamplegenerator - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/RCFGBuilder/META-INF/MANIFEST.MF b/trunk/source/RCFGBuilder/META-INF/MANIFEST.MF index 95d806a58fd..3947299e728 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.1 +Bundle-Version: 0.2.2 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 80a85b3e2af..8bdd6617c4f 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/ReachingDefinitions/META-INF/MANIFEST.MF b/trunk/source/ReachingDefinitions/META-INF/MANIFEST.MF index e151006cb37..b81dd1f9246 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.1 +Bundle-Version: 0.2.2 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 b33989c8d35..ec954fed470 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/Referee/META-INF/MANIFEST.MF b/trunk/source/Referee/META-INF/MANIFEST.MF index edfd5bad8a1..d1e926b9658 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.1 +Bundle-Version: 0.2.2 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 589270bad97..3a85693688d 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.referee - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/ReqParser/META-INF/MANIFEST.MF b/trunk/source/ReqParser/META-INF/MANIFEST.MF index 08110677f25..8750d5d9c67 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.1 +Bundle-Version: 0.2.2 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 ef5df57306e..6216d424e39 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.reqparser - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/ReqPrinter/META-INF/MANIFEST.MF b/trunk/source/ReqPrinter/META-INF/MANIFEST.MF index 777a4436061..3b8bcc4bd32 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.1 +Bundle-Version: 0.2.2 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 e214ee9651c..b63184d173d 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.req.printer - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/ReqToTest/META-INF/MANIFEST.MF b/trunk/source/ReqToTest/META-INF/MANIFEST.MF index 234573a9dd2..136d2b5de5e 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.1 +Bundle-Version: 0.2.2 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 02c036d9c32..ce75c06896a 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml ReqToTest de.uni_freiburg.informatik.ultimate.reqtotest - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/SMTInterpol/pom.xml b/trunk/source/SMTInterpol/pom.xml index 8eb01fbb823..7b5edaa2cd4 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/SMTInterpolTest/META-INF/MANIFEST.MF b/trunk/source/SMTInterpolTest/META-INF/MANIFEST.MF index d004a090f60..1e18f2266d8 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.1 +Bundle-Version: 0.2.2 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 7daee626fb9..78096986cfc 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.1 + 0.2.2 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/SMTSolverBridge/META-INF/MANIFEST.MF b/trunk/source/SMTSolverBridge/META-INF/MANIFEST.MF index 1e0f158a5f5..1a86f39b3dc 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.1 +Bundle-Version: 0.2.2 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 9f8085473a1..81612a438a2 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/SMTSolverBridgeTest/META-INF/MANIFEST.MF b/trunk/source/SMTSolverBridgeTest/META-INF/MANIFEST.MF index c21834df41d..9084f5c2d6d 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.1 +Bundle-Version: 0.2.2 Fragment-Host: de.uni_freiburg.informatik.ultimate.smtsolver.external Bundle-RequiredExecutionEnvironment: JavaSE-11 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.test diff --git a/trunk/source/SMTSolverBridgeTest/pom.xml b/trunk/source/SMTSolverBridgeTest/pom.xml index 3b0825e0940..d94518e4f71 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.smtsolver.external.test - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/Sifa/META-INF/MANIFEST.MF b/trunk/source/Sifa/META-INF/MANIFEST.MF index 0f463be0843..368b72d8024 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.1 +Bundle-Version: 0.2.2 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 c3e39b473d0..3978d8fc911 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.sifa - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/SmtParser/META-INF/MANIFEST.MF b/trunk/source/SmtParser/META-INF/MANIFEST.MF index a65558939c7..7ea0ad200a4 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.1 +Bundle-Version: 0.2.2 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 aa378a18b9f..de83548191d 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.source.smtparser - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/SpaceExParser/META-INF/MANIFEST.MF b/trunk/source/SpaceExParser/META-INF/MANIFEST.MF index 0129fddfe08..909be079019 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.1 +Bundle-Version: 0.2.2 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 a7e40f8ac52..acafaf24322 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.spaceex.parser - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/SpaceExParserTest/META-INF/MANIFEST.MF b/trunk/source/SpaceExParserTest/META-INF/MANIFEST.MF index e68e0361e2b..50a1412eb15 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.1 +Bundle-Version: 0.2.2 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 e9d1c2a0415..5c964ab9b88 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.spaceex.parser.test - 0.2.1 + 0.2.2 eclipse-test-plugin diff --git a/trunk/source/SyntaxChecker/META-INF/MANIFEST.MF b/trunk/source/SyntaxChecker/META-INF/MANIFEST.MF index 18226ecd8ae..43e97de522d 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.1 +Bundle-Version: 0.2.2 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 95f7c818a87..68660b6337f 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.analysis.syntaxchecker - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/TraceAbstraction/META-INF/MANIFEST.MF b/trunk/source/TraceAbstraction/META-INF/MANIFEST.MF index 8b15f5773c9..6e3a71421bc 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.1 +Bundle-Version: 0.2.2 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 4a7d346b484..a3bf54e1df7 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/TraceAbstractionConcurrent/META-INF/MANIFEST.MF b/trunk/source/TraceAbstractionConcurrent/META-INF/MANIFEST.MF index b7bb43f718f..a05d250beb4 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.1 +Bundle-Version: 0.2.2 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 247a5d73443..16092edba75 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/TraceAbstractionWithAFAs/META-INF/MANIFEST.MF b/trunk/source/TraceAbstractionWithAFAs/META-INF/MANIFEST.MF index 5a68f4f26b1..36d7f1753b2 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.1 +Bundle-Version: 0.2.2 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 d18146a906b..ba27573c77d 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/TreeAutomizer/META-INF/MANIFEST.MF b/trunk/source/TreeAutomizer/META-INF/MANIFEST.MF index f0d9bef471c..1c19124a352 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.1 +Bundle-Version: 0.2.2 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 2dae0b28131..48e0c3e5f40 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.treeautomizer - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/UltimateCLI/META-INF/MANIFEST.MF b/trunk/source/UltimateCLI/META-INF/MANIFEST.MF index 307978c09bf..b10dd34fe3f 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.1 +Bundle-Version: 0.2.2 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 cf136784f88..c59ced45358 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.cli - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/UltimateDeltaDebugger/META-INF/MANIFEST.MF b/trunk/source/UltimateDeltaDebugger/META-INF/MANIFEST.MF index 760ff3deac0..3513c7234ad 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.1 +Bundle-Version: 0.2.2 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 0ca8e582816..796a330d688 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.deltadebugger - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/UltimateEliminatorController/META-INF/MANIFEST.MF b/trunk/source/UltimateEliminatorController/META-INF/MANIFEST.MF index 9986145cc88..3c2560159ef 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.1 +Bundle-Version: 0.2.2 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 67812e81b91..f562a1d039b 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.controller.eliminator - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/UltimateRegressionTest/META-INF/MANIFEST.MF b/trunk/source/UltimateRegressionTest/META-INF/MANIFEST.MF index 9dd49ca24dd..7d17dff17a9 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.1 +Bundle-Version: 0.2.2 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 d3afd619fe8..c8abdaf2ed3 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.1 + 0.2.2 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/UltimateTest/META-INF/MANIFEST.MF b/trunk/source/UltimateTest/META-INF/MANIFEST.MF index 7f1e06a244c..5898567c267 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.1 +Bundle-Version: 0.2.2 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 f9d4b3e27f9..f73f0f31e71 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.1 + 0.2.2 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.2.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/WebInterface/pom.xml b/trunk/source/WebInterface/pom.xml index 9113d891685..1f3f198c280 100644 --- a/trunk/source/WebInterface/pom.xml +++ b/trunk/source/WebInterface/pom.xml @@ -5,7 +5,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/WebUltimateBridge/META-INF/MANIFEST.MF b/trunk/source/WebUltimateBridge/META-INF/MANIFEST.MF index 388a52528bd..f9023fadb44 100644 --- a/trunk/source/WebUltimateBridge/META-INF/MANIFEST.MF +++ b/trunk/source/WebUltimateBridge/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: WebUltimateBridge Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.webbridge;singleton:=true -Bundle-Version: 0.2.1 +Bundle-Version: 0.2.2 Bundle-Activator: de.uni_freiburg.informatik.ultimate.webbridge.Activator Require-Bundle: org.eclipse.core.runtime Bundle-ActivationPolicy: lazy diff --git a/trunk/source/WebUltimateBridge/pom.xml b/trunk/source/WebUltimateBridge/pom.xml index 95ada3f4fd9..203cf8d26b8 100644 --- a/trunk/source/WebUltimateBridge/pom.xml +++ b/trunk/source/WebUltimateBridge/pom.xml @@ -5,13 +5,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.2.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.webbridge - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/Website/pom.xml b/trunk/source/Website/pom.xml index 549e740500d..bc4c5790f6f 100644 --- a/trunk/source/Website/pom.xml +++ b/trunk/source/Website/pom.xml @@ -6,13 +6,13 @@ de.uni_freiburg.informatik.ultimate mavenparent - 0.2.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate UltimateWebsite - 0.2.1 + 0.2.2 war diff --git a/trunk/source/WitnessParser/META-INF/MANIFEST.MF b/trunk/source/WitnessParser/META-INF/MANIFEST.MF index 7970be9a36b..06a08781be7 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.1 +Bundle-Version: 0.2.2 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 689cedea974..a602f722954 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.witnessparser - 0.2.1 + 0.2.2 eclipse-plugin diff --git a/trunk/source/WitnessPrinter/META-INF/MANIFEST.MF b/trunk/source/WitnessPrinter/META-INF/MANIFEST.MF index a4ac013210b..261ee13980d 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.1 +Bundle-Version: 0.2.2 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 026a45f4309..d34ddd585ba 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.1 + 0.2.2 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.witnessprinter - 0.2.1 + 0.2.2 eclipse-plugin