From 2977d7cc44ef5441461b521a34558c1fcc81525c Mon Sep 17 00:00:00 2001 From: Daniel Dietsch Date: Wed, 4 Oct 2017 13:46:18 +0200 Subject: [PATCH] update versions to 0.1.21 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 +- .../source/AbstractInterpretationV2/META-INF/MANIFEST.MF | 2 +- trunk/source/AbstractInterpretationV2/pom.xml | 4 ++-- .../AbstractInterpretationV2Test/META-INF/MANIFEST.MF | 2 +- trunk/source/AbstractInterpretationV2Test/pom.xml | 2 +- .../source/AutomataScriptInterpreter/META-INF/MANIFEST.MF | 2 +- trunk/source/AutomataScriptInterpreter/pom.xml | 4 ++-- trunk/source/AutomataScriptParser/META-INF/MANIFEST.MF | 2 +- trunk/source/AutomataScriptParser/pom.xml | 4 ++-- trunk/source/AutomatonDeltaDebugger/META-INF/MANIFEST.MF | 2 +- trunk/source/AutomatonDeltaDebugger/pom.xml | 4 ++-- .../BA_FeatureDependenciesCommandlineE4/feature.xml | 2 +- trunk/source/BA_FeatureDependenciesCommandlineE4/pom.xml | 4 ++-- trunk/source/BA_FeatureDependenciesDebugE4/feature.xml | 2 +- trunk/source/BA_FeatureDependenciesDebugE4/pom.xml | 4 ++-- trunk/source/BA_FeatureUltimateCommandLine/feature.xml | 2 +- trunk/source/BA_FeatureUltimateCommandLine/pom.xml | 2 +- trunk/source/BA_FeatureUltimateCommon/feature.xml | 2 +- trunk/source/BA_FeatureUltimateCommon/pom.xml | 2 +- trunk/source/BA_FeatureUltimateDebug/feature.xml | 2 +- trunk/source/BA_FeatureUltimateDebug/pom.xml | 2 +- trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml | 2 +- trunk/source/BA_FeatureUltimateDeltaDebugger/pom.xml | 2 +- trunk/source/BA_MavenParentUltimate/pom.xml | 4 ++-- trunk/source/BA_SiteRepository/CLI-E4.product | 8 ++++---- trunk/source/BA_SiteRepository/Debug-E4.product | 8 ++++---- trunk/source/BA_SiteRepository/DeltaDebugger.product | 8 ++++---- trunk/source/BA_SiteRepository/ReqAnalyzer.product | 8 ++++---- trunk/source/BA_SiteRepository/pom.xml | 2 +- trunk/source/BlockEncoding/META-INF/MANIFEST.MF | 2 +- trunk/source/BlockEncoding/pom.xml | 4 ++-- trunk/source/BlockEncodingV2/META-INF/MANIFEST.MF | 2 +- trunk/source/BlockEncodingV2/pom.xml | 4 ++-- trunk/source/BoogieModSetAnnotator/META-INF/MANIFEST.MF | 2 +- trunk/source/BoogieModSetAnnotator/pom.xml | 4 ++-- trunk/source/BoogiePLParser/META-INF/MANIFEST.MF | 2 +- trunk/source/BoogiePLParser/pom.xml | 4 ++-- trunk/source/BoogiePreprocessor/META-INF/MANIFEST.MF | 2 +- trunk/source/BoogiePreprocessor/pom.xml | 4 ++-- trunk/source/BoogiePreprocessorTest/META-INF/MANIFEST.MF | 2 +- trunk/source/BoogiePreprocessorTest/pom.xml | 4 ++-- trunk/source/BoogiePrinter/META-INF/MANIFEST.MF | 2 +- trunk/source/BoogiePrinter/pom.xml | 4 ++-- trunk/source/BoogieProcedureInliner/META-INF/MANIFEST.MF | 2 +- trunk/source/BoogieProcedureInliner/pom.xml | 4 ++-- trunk/source/BuchiAutomizer/META-INF/MANIFEST.MF | 2 +- trunk/source/BuchiAutomizer/pom.xml | 4 ++-- trunk/source/BuchiProgramProduct/META-INF/MANIFEST.MF | 2 +- trunk/source/BuchiProgramProduct/pom.xml | 4 ++-- trunk/source/CACSL2BoogieTranslator/META-INF/MANIFEST.MF | 2 +- trunk/source/CACSL2BoogieTranslator/pom.xml | 2 +- trunk/source/CDTParser/META-INF/MANIFEST.MF | 2 +- trunk/source/CDTParser/pom.xml | 2 +- trunk/source/CDTPlugin/META-INF/MANIFEST.MF | 2 +- trunk/source/CDTPlugin/pom.xml | 2 +- trunk/source/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 ++-- .../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/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 ++-- 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-Batik/pom.xml | 2 +- trunk/source/Library-BoogieAST/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-BoogieAST/pom.xml | 4 ++-- trunk/source/Library-CZT/pom.xml | 2 +- trunk/source/Library-Disruptor/pom.xml | 2 +- trunk/source/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 ++-- .../source/Library-InteractiveCommon/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-InteractiveCommon/pom.xml | 4 ++-- .../source/Library-InteractiveModel/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-InteractiveModel/pom.xml | 4 ++-- trunk/source/Library-InteractiveTA/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-InteractiveTA/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-Log4j2/pom.xml | 2 +- .../source/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-PEA/pom.xml | 2 +- trunk/source/Library-Protobuf/pom.xml | 2 +- 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-Server/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-Server/pom.xml | 4 ++-- trunk/source/Library-TreeAutomizer/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-TreeAutomizer/pom.xml | 4 ++-- trunk/source/Library-UltimateCore/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-UltimateCore/pom.xml | 4 ++-- trunk/source/Library-UltimateModel/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-UltimateModel/pom.xml | 4 ++-- trunk/source/Library-UltimateTest/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-UltimateTest/pom.xml | 4 ++-- .../source/Library-UltimateTestTest/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-UltimateTestTest/pom.xml | 4 ++-- trunk/source/Library-UltimateUtil/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-UltimateUtil/pom.xml | 4 ++-- .../source/Library-UltimateUtilTest/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-UltimateUtilTest/pom.xml | 4 ++-- trunk/source/Library-jdom/pom.xml | 2 +- trunk/source/Library-log4j/pom.xml | 2 +- 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/Library-xerces/pom.xml | 2 +- trunk/source/PEAtoBoogie/META-INF/MANIFEST.MF | 2 +- trunk/source/PEAtoBoogie/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/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/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 ++-- .../source/TraceAbstractionWithAFAs/META-INF/MANIFEST.MF | 2 +- trunk/source/TraceAbstractionWithAFAs/pom.xml | 4 ++-- trunk/source/TreeAutomizer/META-INF/MANIFEST.MF | 2 +- trunk/source/TreeAutomizer/pom.xml | 4 ++-- trunk/source/UltimateCLI/META-INF/MANIFEST.MF | 2 +- trunk/source/UltimateCLI/pom.xml | 4 ++-- trunk/source/UltimateDeltaDebugger/META-INF/MANIFEST.MF | 2 +- trunk/source/UltimateDeltaDebugger/pom.xml | 4 ++-- trunk/source/UltimateRegressionTest/META-INF/MANIFEST.MF | 2 +- trunk/source/UltimateRegressionTest/pom.xml | 4 ++-- trunk/source/UltimateServer/META-INF/MANIFEST.MF | 2 +- trunk/source/UltimateServer/pom.xml | 4 ++-- trunk/source/UltimateTest/META-INF/MANIFEST.MF | 2 +- trunk/source/UltimateTest/pom.xml | 4 ++-- trunk/source/WebUltimateBridge/META-INF/MANIFEST.MF | 2 +- trunk/source/WebUltimateBridge/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 ++-- 186 files changed, 268 insertions(+), 268 deletions(-) diff --git a/trunk/source/ACSLParser/META-INF/MANIFEST.MF b/trunk/source/ACSLParser/META-INF/MANIFEST.MF index 6c33dcc47f..cabb30facd 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.1.20 +Bundle-Version: 0.1.21 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 f8809b3262..b2bd5c31c3 100644 --- a/trunk/source/ACSLParser/pom.xml +++ b/trunk/source/ACSLParser/pom.xml @@ -32,7 +32,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/ASTBuilder/META-INF/MANIFEST.MF b/trunk/source/ASTBuilder/META-INF/MANIFEST.MF index f765ed2fc1..10055a7f6b 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.1.20 +Bundle-Version: 0.1.21 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 3696b87c20..fc9850227c 100644 --- a/trunk/source/ASTBuilder/pom.xml +++ b/trunk/source/ASTBuilder/pom.xml @@ -35,7 +35,7 @@ de.uni_freiburg.informatik.ultimate mavenparent - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate diff --git a/trunk/source/AbstractInterpretationV2/META-INF/MANIFEST.MF b/trunk/source/AbstractInterpretationV2/META-INF/MANIFEST.MF index 779cd2420b..a0cb0eeacc 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.1.20 +Bundle-Version: 0.1.21 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.lib.smtlib, de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils, diff --git a/trunk/source/AbstractInterpretationV2/pom.xml b/trunk/source/AbstractInterpretationV2/pom.xml index 0f218f5dd2..934983449c 100644 --- a/trunk/source/AbstractInterpretationV2/pom.xml +++ b/trunk/source/AbstractInterpretationV2/pom.xml @@ -31,12 +31,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2 - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/AbstractInterpretationV2Test/META-INF/MANIFEST.MF b/trunk/source/AbstractInterpretationV2Test/META-INF/MANIFEST.MF index 6fce81ab7c..c62ed7e9b9 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.1.20 +Bundle-Version: 0.1.21 Fragment-Host: de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2 Bundle-RequiredExecutionEnvironment: JavaSE-1.8 Require-Bundle: de.uni_freiburg.informatik.ultimate.core, diff --git a/trunk/source/AbstractInterpretationV2Test/pom.xml b/trunk/source/AbstractInterpretationV2Test/pom.xml index 0a10899d72..9ceb134074 100644 --- a/trunk/source/AbstractInterpretationV2Test/pom.xml +++ b/trunk/source/AbstractInterpretationV2Test/pom.xml @@ -35,7 +35,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/AutomataScriptInterpreter/META-INF/MANIFEST.MF b/trunk/source/AutomataScriptInterpreter/META-INF/MANIFEST.MF index b2fe305937..42507537a7 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.1.20 +Bundle-Version: 0.1.21 Require-Bundle: de.uni_freiburg.informatik.ultimate.core, de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.lib.automata, diff --git a/trunk/source/AutomataScriptInterpreter/pom.xml b/trunk/source/AutomataScriptInterpreter/pom.xml index 9acf3b6be0..eae3e55a14 100644 --- a/trunk/source/AutomataScriptInterpreter/pom.xml +++ b/trunk/source/AutomataScriptInterpreter/pom.xml @@ -30,11 +30,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/AutomataScriptParser/META-INF/MANIFEST.MF b/trunk/source/AutomataScriptParser/META-INF/MANIFEST.MF index dff174cb69..ae77a06004 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.1.20 +Bundle-Version: 0.1.21 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.lib.ultimatemodel, de.uni_freiburg.informatik.ultimate.core, diff --git a/trunk/source/AutomataScriptParser/pom.xml b/trunk/source/AutomataScriptParser/pom.xml index 11e0c6c03c..e219d42c2a 100644 --- a/trunk/source/AutomataScriptParser/pom.xml +++ b/trunk/source/AutomataScriptParser/pom.xml @@ -30,13 +30,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.source.automatascriptparser - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/AutomatonDeltaDebugger/META-INF/MANIFEST.MF b/trunk/source/AutomatonDeltaDebugger/META-INF/MANIFEST.MF index c1c54c1b9b..807330a670 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.1.20 +Bundle-Version: 0.1.21 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 5207e73e15..8216a0aeac 100644 --- a/trunk/source/AutomatonDeltaDebugger/pom.xml +++ b/trunk/source/AutomatonDeltaDebugger/pom.xml @@ -31,12 +31,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.analysis.automatondeltadebugger - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml b/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml index e55add9785..04637025da 100644 --- a/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml +++ b/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml @@ -2,7 +2,7 @@ + version="0.1.21"> [Enter Feature Description here.] diff --git a/trunk/source/BA_FeatureDependenciesCommandlineE4/pom.xml b/trunk/source/BA_FeatureDependenciesCommandlineE4/pom.xml index 0420936bcb..8e3a41f3d2 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.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml BA_FeatureDependenciesCommandlineE4 - 0.1.20 + 0.1.21 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 6c6a4616a2..75335dc5d9 100644 --- a/trunk/source/BA_FeatureDependenciesDebugE4/feature.xml +++ b/trunk/source/BA_FeatureDependenciesDebugE4/feature.xml @@ -2,7 +2,7 @@ + version="0.1.21"> [Enter Feature Description here.] diff --git a/trunk/source/BA_FeatureDependenciesDebugE4/pom.xml b/trunk/source/BA_FeatureDependenciesDebugE4/pom.xml index 32361b2af2..4662f83b28 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.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml BA_FeatureDependenciesDebugE4 - 0.1.20 + 0.1.21 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 9e4143e827..393efaae31 100644 --- a/trunk/source/BA_FeatureUltimateCommandLine/feature.xml +++ b/trunk/source/BA_FeatureUltimateCommandLine/feature.xml @@ -2,7 +2,7 @@ + version="0.1.21"> diff --git a/trunk/source/BA_FeatureUltimateCommandLine/pom.xml b/trunk/source/BA_FeatureUltimateCommandLine/pom.xml index e88d753fca..634069038c 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.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BA_FeatureUltimateCommon/feature.xml b/trunk/source/BA_FeatureUltimateCommon/feature.xml index 30d63b25c9..e1a681db0f 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 6c8435646f..28351753a1 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.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BA_FeatureUltimateDebug/feature.xml b/trunk/source/BA_FeatureUltimateDebug/feature.xml index 2218e570aa..674f0c2804 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 5ef8bb470a..43303d5805 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.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml b/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml index 7508a1aadb..0fd0facdbb 100644 --- a/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml +++ b/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml @@ -2,7 +2,7 @@ + version="0.1.21"> diff --git a/trunk/source/BA_FeatureUltimateDeltaDebugger/pom.xml b/trunk/source/BA_FeatureUltimateDeltaDebugger/pom.xml index f4e71b1cd8..f878118496 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.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BA_MavenParentUltimate/pom.xml b/trunk/source/BA_MavenParentUltimate/pom.xml index 651a08a517..ff28603bd3 100644 --- a/trunk/source/BA_MavenParentUltimate/pom.xml +++ b/trunk/source/BA_MavenParentUltimate/pom.xml @@ -3,7 +3,7 @@ 4.0.0 de.uni_freiburg.informatik.ultimate mavenparent - 0.1.20 + 0.1.21 pom Ultimate @@ -15,7 +15,7 @@ - 0.1.20 + 0.1.21 1.0.0 diff --git a/trunk/source/BA_SiteRepository/CLI-E4.product b/trunk/source/BA_SiteRepository/CLI-E4.product index 7e390dbf3f..7b8f046daf 100644 --- a/trunk/source/BA_SiteRepository/CLI-E4.product +++ b/trunk/source/BA_SiteRepository/CLI-E4.product @@ -1,7 +1,7 @@ - + @@ -41,9 +41,9 @@ - - - + + + diff --git a/trunk/source/BA_SiteRepository/Debug-E4.product b/trunk/source/BA_SiteRepository/Debug-E4.product index 0c680b81c9..9839b2dcbd 100644 --- a/trunk/source/BA_SiteRepository/Debug-E4.product +++ b/trunk/source/BA_SiteRepository/Debug-E4.product @@ -1,7 +1,7 @@ - + @@ -42,9 +42,9 @@ - - - + + + diff --git a/trunk/source/BA_SiteRepository/DeltaDebugger.product b/trunk/source/BA_SiteRepository/DeltaDebugger.product index 9a4f92dbbb..2e250f35e2 100644 --- a/trunk/source/BA_SiteRepository/DeltaDebugger.product +++ b/trunk/source/BA_SiteRepository/DeltaDebugger.product @@ -1,7 +1,7 @@ - + @@ -41,9 +41,9 @@ - - - + + + diff --git a/trunk/source/BA_SiteRepository/ReqAnalyzer.product b/trunk/source/BA_SiteRepository/ReqAnalyzer.product index 29eaf16e8a..bd1d2505ef 100644 --- a/trunk/source/BA_SiteRepository/ReqAnalyzer.product +++ b/trunk/source/BA_SiteRepository/ReqAnalyzer.product @@ -1,7 +1,7 @@ - + @@ -48,9 +48,9 @@ - - - + + + diff --git a/trunk/source/BA_SiteRepository/pom.xml b/trunk/source/BA_SiteRepository/pom.xml index cca7e7ce22..8c18d0c199 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.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BlockEncoding/META-INF/MANIFEST.MF b/trunk/source/BlockEncoding/META-INF/MANIFEST.MF index 4295b930b9..643676b313 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.1.20 +Bundle-Version: 0.1.21 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 adcdfb9241..6b991b2d1d 100644 --- a/trunk/source/BlockEncoding/pom.xml +++ b/trunk/source/BlockEncoding/pom.xml @@ -30,11 +30,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.generator.blockencoding - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/BlockEncodingV2/META-INF/MANIFEST.MF b/trunk/source/BlockEncodingV2/META-INF/MANIFEST.MF index e863d58d57..f767eb623f 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.1.20 +Bundle-Version: 0.1.21 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 95fd43cba7..73e13ac219 100644 --- a/trunk/source/BlockEncodingV2/pom.xml +++ b/trunk/source/BlockEncodingV2/pom.xml @@ -23,12 +23,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.blockencoding - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/BoogieModSetAnnotator/META-INF/MANIFEST.MF b/trunk/source/BoogieModSetAnnotator/META-INF/MANIFEST.MF index 9eeb9f2a33..388c38f56e 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.1.20 +Bundle-Version: 0.1.21 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 60a2cf205d..a8381e53d1 100644 --- a/trunk/source/BoogieModSetAnnotator/pom.xml +++ b/trunk/source/BoogieModSetAnnotator/pom.xml @@ -31,12 +31,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.generator.modsetannotator - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/BoogiePLParser/META-INF/MANIFEST.MF b/trunk/source/BoogiePLParser/META-INF/MANIFEST.MF index 87aa3c96bc..f10b67ce94 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.1.20 +Bundle-Version: 0.1.21 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 3e92202826..f63b94a441 100644 --- a/trunk/source/BoogiePLParser/pom.xml +++ b/trunk/source/BoogiePLParser/pom.xml @@ -32,13 +32,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.boogie.parser - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/BoogiePreprocessor/META-INF/MANIFEST.MF b/trunk/source/BoogiePreprocessor/META-INF/MANIFEST.MF index bcc4a80b9b..3fca4799e9 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.1.20 +Bundle-Version: 0.1.21 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 cee02686b8..c2bf12e10f 100644 --- a/trunk/source/BoogiePreprocessor/pom.xml +++ b/trunk/source/BoogiePreprocessor/pom.xml @@ -31,12 +31,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.boogie.preprocessor - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/BoogiePreprocessorTest/META-INF/MANIFEST.MF b/trunk/source/BoogiePreprocessorTest/META-INF/MANIFEST.MF index ab57498f62..ed19035689 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.1.20 +Bundle-Version: 0.1.21 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 76744a7abf..21a84ac9e0 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.1.20 + 0.1.21 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BoogiePrinter/META-INF/MANIFEST.MF b/trunk/source/BoogiePrinter/META-INF/MANIFEST.MF index b5ff6c22e5..42b860b443 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.1.20 +Bundle-Version: 0.1.21 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 c1794b8974..03a1a13b36 100644 --- a/trunk/source/BoogiePrinter/pom.xml +++ b/trunk/source/BoogiePrinter/pom.xml @@ -30,11 +30,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.boogie.printer - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/BoogieProcedureInliner/META-INF/MANIFEST.MF b/trunk/source/BoogieProcedureInliner/META-INF/MANIFEST.MF index ca2dd1265f..266b0eb961 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.1.20 +Bundle-Version: 0.1.21 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 8a60400ada..68694bf6ae 100644 --- a/trunk/source/BoogieProcedureInliner/pom.xml +++ b/trunk/source/BoogieProcedureInliner/pom.xml @@ -32,11 +32,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.boogie.procedureinliner - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/BuchiAutomizer/META-INF/MANIFEST.MF b/trunk/source/BuchiAutomizer/META-INF/MANIFEST.MF index f1888d996c..f64b9aa600 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.1.20 +Bundle-Version: 0.1.21 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 de52e9fc0e..846177337b 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.1.20 + 0.1.21 eclipse-plugin de.uni_freiburg.informatik.ultimate mavenparent - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BuchiProgramProduct/META-INF/MANIFEST.MF b/trunk/source/BuchiProgramProduct/META-INF/MANIFEST.MF index 8674c6c228..a95f8b9a24 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.1.20 +Bundle-Version: 0.1.21 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 dee1ae27ad..29e24b518e 100644 --- a/trunk/source/BuchiProgramProduct/pom.xml +++ b/trunk/source/BuchiProgramProduct/pom.xml @@ -32,12 +32,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.buchiprogramproduct - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/CACSL2BoogieTranslator/META-INF/MANIFEST.MF b/trunk/source/CACSL2BoogieTranslator/META-INF/MANIFEST.MF index a01114a6ef..ea329cdce6 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.1.20 +Bundle-Version: 0.1.21 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 0000de25c7..dfa469446d 100644 --- a/trunk/source/CACSL2BoogieTranslator/pom.xml +++ b/trunk/source/CACSL2BoogieTranslator/pom.xml @@ -31,7 +31,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/CDTParser/META-INF/MANIFEST.MF b/trunk/source/CDTParser/META-INF/MANIFEST.MF index cc78cac602..3cb63f1309 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.1.20 +Bundle-Version: 0.1.21 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.core, org.eclipse.cdt.core;bundle-version="5.6.0", diff --git a/trunk/source/CDTParser/pom.xml b/trunk/source/CDTParser/pom.xml index 9819284ab6..5e5f43e2f1 100644 --- a/trunk/source/CDTParser/pom.xml +++ b/trunk/source/CDTParser/pom.xml @@ -31,7 +31,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/CDTPlugin/META-INF/MANIFEST.MF b/trunk/source/CDTPlugin/META-INF/MANIFEST.MF index f4cefc9a9d..e2fc448312 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.1.20 +Bundle-Version: 0.1.21 Bundle-Activator: de.uni_freiburg.informatik.ultimate.cdt.Activator Bundle-ActivationPolicy: lazy Bundle-RequiredExecutionEnvironment: JavaSE-1.8 diff --git a/trunk/source/CDTPlugin/pom.xml b/trunk/source/CDTPlugin/pom.xml index 9d7b1067a4..5d118c24e4 100644 --- a/trunk/source/CDTPlugin/pom.xml +++ b/trunk/source/CDTPlugin/pom.xml @@ -31,7 +31,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/CodeCheck/META-INF/MANIFEST.MF b/trunk/source/CodeCheck/META-INF/MANIFEST.MF index 15d4a28a3d..739f79c90a 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.1.20 +Bundle-Version: 0.1.21 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/CodeCheck/pom.xml b/trunk/source/CodeCheck/pom.xml index 1a8ac25656..3af38845b2 100644 --- a/trunk/source/CodeCheck/pom.xml +++ b/trunk/source/CodeCheck/pom.xml @@ -32,11 +32,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/CoreRCP/META-INF/MANIFEST.MF b/trunk/source/CoreRCP/META-INF/MANIFEST.MF index c9e2a4cb8b..687affc368 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.1.20 +Bundle-Version: 0.1.21 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 72bef9697b..22ec1f6563 100644 --- a/trunk/source/CoreRCP/pom.xml +++ b/trunk/source/CoreRCP/pom.xml @@ -32,12 +32,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.core - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/CoreRCPTest/META-INF/MANIFEST.MF b/trunk/source/CoreRCPTest/META-INF/MANIFEST.MF index 96715cb61e..6080e8fc6d 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.1.20 +Bundle-Version: 0.1.21 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 883fa0afa2..32673164bc 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.1.20 + 0.1.21 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/GUIGeneratedPreferencePages/META-INF/MANIFEST.MF b/trunk/source/GUIGeneratedPreferencePages/META-INF/MANIFEST.MF index e95236cc78..dc28da1d34 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.1.20 +Bundle-Version: 0.1.21 Bundle-RequiredExecutionEnvironment: JavaSE-1.8 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 adee806227..9c34ad6456 100644 --- a/trunk/source/GUIGeneratedPreferencePages/pom.xml +++ b/trunk/source/GUIGeneratedPreferencePages/pom.xml @@ -31,11 +31,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.gui.preferencepages - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/GUILoggingWindow/META-INF/MANIFEST.MF b/trunk/source/GUILoggingWindow/META-INF/MANIFEST.MF index 2c9b66b9ff..0f5da0c5b1 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.1.20 +Bundle-Version: 0.1.21 Bundle-RequiredExecutionEnvironment: JavaSE-1.8 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 7249cceb7a..6ef897ed50 100644 --- a/trunk/source/GUILoggingWindow/pom.xml +++ b/trunk/source/GUILoggingWindow/pom.xml @@ -31,11 +31,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.gui.logging - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/GuiRCP/META-INF/MANIFEST.MF b/trunk/source/GuiRCP/META-INF/MANIFEST.MF index e64e87a381..66ee99722c 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.1.20 +Bundle-Version: 0.1.21 Require-Bundle: org.eclipse.ui;visibility:=reexport, de.uni_freiburg.informatik.ultimate.lib.ultimatemodel, diff --git a/trunk/source/GuiRCP/pom.xml b/trunk/source/GuiRCP/pom.xml index a6f519506b..c19fef3412 100644 --- a/trunk/source/GuiRCP/pom.xml +++ b/trunk/source/GuiRCP/pom.xml @@ -31,11 +31,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.gui - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/IRSDependencies/META-INF/MANIFEST.MF b/trunk/source/IRSDependencies/META-INF/MANIFEST.MF index 2b9caeb536..9396dff277 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.1.20 +Bundle-Version: 0.1.21 Bundle-RequiredExecutionEnvironment: JavaSE-1.8 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 b3c9862404..a643d944c8 100644 --- a/trunk/source/IRSDependencies/pom.xml +++ b/trunk/source/IRSDependencies/pom.xml @@ -31,12 +31,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/IcfgTransformation/META-INF/MANIFEST.MF b/trunk/source/IcfgTransformation/META-INF/MANIFEST.MF index b581ba9977..5fd7c453e1 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.1.20 +Bundle-Version: 0.1.21 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 8fa8a0349d..3db0131300 100644 --- a/trunk/source/IcfgTransformation/pom.xml +++ b/trunk/source/IcfgTransformation/pom.xml @@ -23,12 +23,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/InvariantSynthesis/META-INF/MANIFEST.MF b/trunk/source/InvariantSynthesis/META-INF/MANIFEST.MF index f115ecc36c..315f4b5b3e 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.1.20 +Bundle-Version: 0.1.21 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/InvariantSynthesis/pom.xml b/trunk/source/InvariantSynthesis/pom.xml index 60cb1e054e..6fc4f04e0f 100644 --- a/trunk/source/InvariantSynthesis/pom.xml +++ b/trunk/source/InvariantSynthesis/pom.xml @@ -30,13 +30,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.invariantsynthesis - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/JavaCup/pom.xml b/trunk/source/JavaCup/pom.xml index 0210c00910..c1116c20d9 100644 --- a/trunk/source/JavaCup/pom.xml +++ b/trunk/source/JavaCup/pom.xml @@ -4,7 +4,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/JungVisualization/META-INF/MANIFEST.MF b/trunk/source/JungVisualization/META-INF/MANIFEST.MF index fd96f90205..1b7864c016 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.1.20 +Bundle-Version: 0.1.21 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, edu.uci.ics.jung, org.apache.batik, diff --git a/trunk/source/JungVisualization/pom.xml b/trunk/source/JungVisualization/pom.xml index 10265e7695..d3c664bfdf 100644 --- a/trunk/source/JungVisualization/pom.xml +++ b/trunk/source/JungVisualization/pom.xml @@ -33,7 +33,7 @@ de.uni_freiburg.informatik.ultimate mavenparent - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate diff --git a/trunk/source/LTL2aut/META-INF/MANIFEST.MF b/trunk/source/LTL2aut/META-INF/MANIFEST.MF index 571939e1fe..242fd0e228 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.1.20 +Bundle-Version: 0.1.21 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 bc05ace55a..7b4fa31f99 100644 --- a/trunk/source/LTL2aut/pom.xml +++ b/trunk/source/LTL2aut/pom.xml @@ -32,14 +32,14 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.ltl2aut - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/LassoRanker/META-INF/MANIFEST.MF b/trunk/source/LassoRanker/META-INF/MANIFEST.MF index eb02382b35..63e24dde8a 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.1.20 +Bundle-Version: 0.1.21 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.lib.smtlib, de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils, diff --git a/trunk/source/LassoRanker/pom.xml b/trunk/source/LassoRanker/pom.xml index 942cc5bdde..1e11db5795 100644 --- a/trunk/source/LassoRanker/pom.xml +++ b/trunk/source/LassoRanker/pom.xml @@ -31,12 +31,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/Library-ApacheCommonsCLI/pom.xml b/trunk/source/Library-ApacheCommonsCLI/pom.xml index ee4bac987b..3c62f59f82 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.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-ApacheCommonsLang/pom.xml b/trunk/source/Library-ApacheCommonsLang/pom.xml index 0d0c8672e7..f0c570a888 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.1.20 + 0.1.21 ../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 46554028ce..45c553a4c1 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.1.20 +Bundle-Version: 0.1.21 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 da7a23ba47..f5998cc3b0 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.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.automata - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/Library-AutomataTest/META-INF/MANIFEST.MF b/trunk/source/Library-AutomataTest/META-INF/MANIFEST.MF index a52ceb8ea2..e657d8c2ce 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.1.20 +Bundle-Version: 0.1.21 Fragment-Host: de.uni_freiburg.informatik.ultimate.lib.automata Bundle-RequiredExecutionEnvironment: JavaSE-1.8 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 44b62cd670..2d28c8bdd2 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.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.automata.test - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/Library-Batik/pom.xml b/trunk/source/Library-Batik/pom.xml index 6873e40af1..7de6c269af 100644 --- a/trunk/source/Library-Batik/pom.xml +++ b/trunk/source/Library-Batik/pom.xml @@ -5,7 +5,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-BoogieAST/META-INF/MANIFEST.MF b/trunk/source/Library-BoogieAST/META-INF/MANIFEST.MF index baeb36defa..195f52984f 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.1.20 +Bundle-Version: 0.1.21 Bundle-RequiredExecutionEnvironment: JavaSE-1.8 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 ac1903a63d..ddb04933f3 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.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.boogieast - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/Library-CZT/pom.xml b/trunk/source/Library-CZT/pom.xml index 33e0991ccd..6b9bd3b4d4 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.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-Disruptor/pom.xml b/trunk/source/Library-Disruptor/pom.xml index cb84306468..19d2b50b41 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.1.20 + 0.1.21 ../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 649651ca8d..52616a31d5 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.1.20 +Bundle-Version: 0.1.21 Bundle-RequiredExecutionEnvironment: JavaSE-1.8 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils, de.uni_freiburg.informatik.ultimate.lib.ultimatemodel, diff --git a/trunk/source/Library-IcfgTransformer/pom.xml b/trunk/source/Library-IcfgTransformer/pom.xml index 1d10142f7d..c976dd8c04 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.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml - 0.1.20 + 0.1.21 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 e858c05f64..b702f71dc3 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.1.20 +Bundle-Version: 0.1.21 Bundle-RequiredExecutionEnvironment: JavaSE-1.8 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 8e9f4c37e1..1ddb849cdc 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.1.20 + 0.1.21 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-InteractiveCommon/META-INF/MANIFEST.MF b/trunk/source/Library-InteractiveCommon/META-INF/MANIFEST.MF index b89b41fc89..53d1626e78 100644 --- a/trunk/source/Library-InteractiveCommon/META-INF/MANIFEST.MF +++ b/trunk/source/Library-InteractiveCommon/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Library-InteractiveCommon Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.interactive.common;singleton:=true -Bundle-Version: 0.1.20 +Bundle-Version: 0.1.21 Bundle-RequiredExecutionEnvironment: JavaSE-1.8 Require-Bundle: de.uni_freiburg.informatik.ultimate.core, com.google.protobuf, diff --git a/trunk/source/Library-InteractiveCommon/pom.xml b/trunk/source/Library-InteractiveCommon/pom.xml index 00bf7bd754..2581b5b71a 100644 --- a/trunk/source/Library-InteractiveCommon/pom.xml +++ b/trunk/source/Library-InteractiveCommon/pom.xml @@ -4,12 +4,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.interactive.common de.uni_freiburg.informatik.ultimate.interactive.common - 0.1.20 + 0.1.21 eclipse-plugin \ No newline at end of file diff --git a/trunk/source/Library-InteractiveModel/META-INF/MANIFEST.MF b/trunk/source/Library-InteractiveModel/META-INF/MANIFEST.MF index 6d24db4a00..63dfe790ca 100644 --- a/trunk/source/Library-InteractiveModel/META-INF/MANIFEST.MF +++ b/trunk/source/Library-InteractiveModel/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: InteractiveModel Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.interactive -Bundle-Version: 0.1.20 +Bundle-Version: 0.1.21 Bundle-RequiredExecutionEnvironment: JavaSE-1.8 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core Export-Package: de.uni_freiburg.informatik.ultimate.interactive, diff --git a/trunk/source/Library-InteractiveModel/pom.xml b/trunk/source/Library-InteractiveModel/pom.xml index 04365046d4..a8e2587e15 100644 --- a/trunk/source/Library-InteractiveModel/pom.xml +++ b/trunk/source/Library-InteractiveModel/pom.xml @@ -30,12 +30,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.interactive de.uni_freiburg.informatik.ultimate.interactive - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/Library-InteractiveTA/META-INF/MANIFEST.MF b/trunk/source/Library-InteractiveTA/META-INF/MANIFEST.MF index c55a50816d..06676f8fa4 100644 --- a/trunk/source/Library-InteractiveTA/META-INF/MANIFEST.MF +++ b/trunk/source/Library-InteractiveTA/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Library-InteractiveTA Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.interactive.traceabstraction;singleton:=true -Bundle-Version: 0.1.20 +Bundle-Version: 0.1.21 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/Library-InteractiveTA/pom.xml b/trunk/source/Library-InteractiveTA/pom.xml index 49884dec28..523359664e 100644 --- a/trunk/source/Library-InteractiveTA/pom.xml +++ b/trunk/source/Library-InteractiveTA/pom.xml @@ -4,12 +4,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.interactive.traceabstraction de.uni_freiburg.informatik.ultimate.interactive.traceabstraction - 0.1.20 + 0.1.21 eclipse-plugin \ No newline at end of file diff --git a/trunk/source/Library-JavaBDD/pom.xml b/trunk/source/Library-JavaBDD/pom.xml index bff94c24ea..ced47496ce 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.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-Jung/pom.xml b/trunk/source/Library-Jung/pom.xml index ad937bf13d..179bf47b13 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.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-LassoRanker/pom.xml b/trunk/source/Library-LassoRanker/pom.xml index 3712bdac8f..40ebcb4df9 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.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-Log4j2/pom.xml b/trunk/source/Library-Log4j2/pom.xml index 3cc700bb20..5887a3e5a3 100644 --- a/trunk/source/Library-Log4j2/pom.xml +++ b/trunk/source/Library-Log4j2/pom.xml @@ -4,7 +4,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../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 5128e0dd05..87742ca495 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.1.20 +Bundle-Version: 0.1.21 Bundle-RequiredExecutionEnvironment: JavaSE-1.8 Export-Package: de.uni_freiburg.informatik.ultimate.modelcheckerutils.absint, de.uni_freiburg.informatik.ultimate.modelcheckerutils.boogie, diff --git a/trunk/source/Library-ModelCheckerUtils/pom.xml b/trunk/source/Library-ModelCheckerUtils/pom.xml index 107023ff2f..1920ac44d7 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.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/Library-ModelCheckerUtilsTest/META-INF/MANIFEST.MF b/trunk/source/Library-ModelCheckerUtilsTest/META-INF/MANIFEST.MF index 9efed7096b..8e7b4d52f2 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.1.20 +Bundle-Version: 0.1.21 Fragment-Host: de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils;bundle-version="0.0.1" Bundle-RequiredExecutionEnvironment: JavaSE-1.8 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 95c8c4e744..4810923066 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.1.20 + 0.1.21 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-PEA/pom.xml b/trunk/source/Library-PEA/pom.xml index e988a70132..13269a58b6 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.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-Protobuf/pom.xml b/trunk/source/Library-Protobuf/pom.xml index 5d56e5495a..bfd5d117a8 100644 --- a/trunk/source/Library-Protobuf/pom.xml +++ b/trunk/source/Library-Protobuf/pom.xml @@ -4,7 +4,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-SMTLIB/META-INF/MANIFEST.MF b/trunk/source/Library-SMTLIB/META-INF/MANIFEST.MF index c1362f3a01..a48c229550 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.1.20 +Bundle-Version: 0.1.21 Bundle-RequiredExecutionEnvironment: JavaSE-1.7 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 17078f5c92..937359f0b2 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.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.lib.smtlib - 0.1.20 + 0.1.21 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 8b47aafc08..f9c5b00b18 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.1.20 +Bundle-Version: 0.1.21 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 a37b95ecab..c94bdf76f0 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.1.20 + 0.1.21 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-Server/META-INF/MANIFEST.MF b/trunk/source/Library-Server/META-INF/MANIFEST.MF index 5d917a693f..1f4a1134ff 100644 --- a/trunk/source/Library-Server/META-INF/MANIFEST.MF +++ b/trunk/source/Library-Server/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Server Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.server -Bundle-Version: 0.1.20 +Bundle-Version: 0.1.21 Bundle-RequiredExecutionEnvironment: JavaSE-1.8 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.interactive diff --git a/trunk/source/Library-Server/pom.xml b/trunk/source/Library-Server/pom.xml index bd88c21ff9..3a1965e950 100644 --- a/trunk/source/Library-Server/pom.xml +++ b/trunk/source/Library-Server/pom.xml @@ -30,12 +30,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.server de.uni_freiburg.informatik.ultimate.server - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/Library-TreeAutomizer/META-INF/MANIFEST.MF b/trunk/source/Library-TreeAutomizer/META-INF/MANIFEST.MF index 6f61945b38..c118bb94be 100644 --- a/trunk/source/Library-TreeAutomizer/META-INF/MANIFEST.MF +++ b/trunk/source/Library-TreeAutomizer/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.treeautomizer -Bundle-Version: 0.1.20 +Bundle-Version: 0.1.21 Bundle-RequiredExecutionEnvironment: JavaSE-1.8 Bundle-ClassPath: . Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils;bundle-version="0.1.19", diff --git a/trunk/source/Library-TreeAutomizer/pom.xml b/trunk/source/Library-TreeAutomizer/pom.xml index a8e226aff6..29fda2169a 100644 --- a/trunk/source/Library-TreeAutomizer/pom.xml +++ b/trunk/source/Library-TreeAutomizer/pom.xml @@ -30,11 +30,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.treeautomizer - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/Library-UltimateCore/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateCore/META-INF/MANIFEST.MF index 38bb91ff22..f80ffc2a83 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.1.20 +Bundle-Version: 0.1.21 Bundle-RequiredExecutionEnvironment: JavaSE-1.8 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 76babbb51f..a069f7dca5 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.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.lib.core - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/Library-UltimateModel/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateModel/META-INF/MANIFEST.MF index e327fa1cc4..a29a18dca5 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.1.20 +Bundle-Version: 0.1.21 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 207dd0558e..d97bce6817 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.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.lib.ultimatemodel - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/Library-UltimateTest/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateTest/META-INF/MANIFEST.MF index 8361730bc0..a082fa51eb 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.1.20 +Bundle-Version: 0.1.21 Bundle-RequiredExecutionEnvironment: JavaSE-1.8 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 f72bc428db..822a16018d 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.1.20 + 0.1.21 eclipse-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../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 bfaf9083d8..98012a715f 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.1.20 +Bundle-Version: 0.1.21 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 b35052a21e..ed92947180 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.1.20 + 0.1.21 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../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 27e20872ff..ea33099476 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.1.20 +Bundle-Version: 0.1.21 Bundle-RequiredExecutionEnvironment: JavaSE-1.8 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 3b6e2bfbbe..b26ad4b2b1 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.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.lib.util - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/Library-UltimateUtilTest/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateUtilTest/META-INF/MANIFEST.MF index 30127c1233..55d65cd466 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.utilTest Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.util.test -Bundle-Version: 0.1.20 +Bundle-Version: 0.1.21 Fragment-Host: de.uni_freiburg.informatik.ultimate.lib.util Bundle-RequiredExecutionEnvironment: JavaSE-1.8 Require-Bundle: org.junit diff --git a/trunk/source/Library-UltimateUtilTest/pom.xml b/trunk/source/Library-UltimateUtilTest/pom.xml index a3f738794c..0a4b0d5f6b 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.1.20 + 0.1.21 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-jdom/pom.xml b/trunk/source/Library-jdom/pom.xml index 6a1dae075e..55043e99a2 100644 --- a/trunk/source/Library-jdom/pom.xml +++ b/trunk/source/Library-jdom/pom.xml @@ -4,7 +4,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-log4j/pom.xml b/trunk/source/Library-log4j/pom.xml index 5b5636fc9a..04e28021f4 100644 --- a/trunk/source/Library-log4j/pom.xml +++ b/trunk/source/Library-log4j/pom.xml @@ -4,7 +4,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-ojAlgo/pom.xml b/trunk/source/Library-ojAlgo/pom.xml index 9827c86299..292ac884b6 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.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-srParse/pom.xml b/trunk/source/Library-srParse/pom.xml index 564e9891cb..d2c171f67b 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.1.20 + 0.1.21 ../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 251c2c1e45..d6eca38f61 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.1.20 +Bundle-Version: 0.1.21 Fragment-Host: de.uni_freiburg.informatik.ultimate.lib.srparse Bundle-RequiredExecutionEnvironment: JavaSE-1.8 Require-Bundle: org.junit, diff --git a/trunk/source/Library-srParseTest/pom.xml b/trunk/source/Library-srParseTest/pom.xml index 6c4c36301a..cdb275c202 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.1.20 + 0.1.21 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-xerces/pom.xml b/trunk/source/Library-xerces/pom.xml index 370c19bd87..02ab9e1642 100644 --- a/trunk/source/Library-xerces/pom.xml +++ b/trunk/source/Library-xerces/pom.xml @@ -4,7 +4,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/PEAtoBoogie/META-INF/MANIFEST.MF b/trunk/source/PEAtoBoogie/META-INF/MANIFEST.MF index f132095e9a..5b0c4bad45 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.1.20 +Bundle-Version: 0.1.21 Bundle-Activator: de.uni_freiburg.informatik.ultimate.pea2boogie.Activator Bundle-ActivationPolicy: lazy Bundle-RequiredExecutionEnvironment: JavaSE-1.8 diff --git a/trunk/source/PEAtoBoogie/pom.xml b/trunk/source/PEAtoBoogie/pom.xml index 1adb0af30b..3395c6107e 100644 --- a/trunk/source/PEAtoBoogie/pom.xml +++ b/trunk/source/PEAtoBoogie/pom.xml @@ -30,12 +30,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.pea2boogie - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/RCFGBuilder/META-INF/MANIFEST.MF b/trunk/source/RCFGBuilder/META-INF/MANIFEST.MF index 0972e6e50c..aaa7d7a87f 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.1.20 +Bundle-Version: 0.1.21 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 745015459e..6bc628bf2f 100644 --- a/trunk/source/RCFGBuilder/pom.xml +++ b/trunk/source/RCFGBuilder/pom.xml @@ -30,12 +30,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/ReachingDefinitions/META-INF/MANIFEST.MF b/trunk/source/ReachingDefinitions/META-INF/MANIFEST.MF index 59b0063e8e..87df28120d 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.1.20 +Bundle-Version: 0.1.21 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 609125f8e9..fa8894cd26 100644 --- a/trunk/source/ReachingDefinitions/pom.xml +++ b/trunk/source/ReachingDefinitions/pom.xml @@ -30,12 +30,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/SMTInterpol/pom.xml b/trunk/source/SMTInterpol/pom.xml index d2d375497a..64e494bb2a 100644 --- a/trunk/source/SMTInterpol/pom.xml +++ b/trunk/source/SMTInterpol/pom.xml @@ -5,7 +5,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/SMTInterpolTest/META-INF/MANIFEST.MF b/trunk/source/SMTInterpolTest/META-INF/MANIFEST.MF index d396e1c2b5..fe9607f97c 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.1.20 +Bundle-Version: 0.1.21 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 935197565c..b142bd654a 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.1.20 + 0.1.21 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/SMTSolverBridge/META-INF/MANIFEST.MF b/trunk/source/SMTSolverBridge/META-INF/MANIFEST.MF index 644bd40469..0c60d6644b 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.1.20 +Bundle-Version: 0.1.21 Bundle-RequiredExecutionEnvironment: JavaSE-1.8 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 f4c6bd603c..53aee0ca2a 100644 --- a/trunk/source/SMTSolverBridge/pom.xml +++ b/trunk/source/SMTSolverBridge/pom.xml @@ -32,7 +32,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/SMTSolverBridgeTest/META-INF/MANIFEST.MF b/trunk/source/SMTSolverBridgeTest/META-INF/MANIFEST.MF index 2e350f3a2b..0e10948e4f 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.1.20 +Bundle-Version: 0.1.21 Fragment-Host: de.uni_freiburg.informatik.ultimate.smtsolver.external Bundle-RequiredExecutionEnvironment: JavaSE-1.8 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.test diff --git a/trunk/source/SMTSolverBridgeTest/pom.xml b/trunk/source/SMTSolverBridgeTest/pom.xml index 2048ab779b..73be503069 100644 --- a/trunk/source/SMTSolverBridgeTest/pom.xml +++ b/trunk/source/SMTSolverBridgeTest/pom.xml @@ -30,12 +30,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.smtsolver.external.test - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/SmtParser/META-INF/MANIFEST.MF b/trunk/source/SmtParser/META-INF/MANIFEST.MF index 1d6bd914e0..532857db75 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.1.20 +Bundle-Version: 0.1.21 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 2dc7151ea3..678c691253 100644 --- a/trunk/source/SmtParser/pom.xml +++ b/trunk/source/SmtParser/pom.xml @@ -23,13 +23,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.source.smtparser - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/SpaceExParser/META-INF/MANIFEST.MF b/trunk/source/SpaceExParser/META-INF/MANIFEST.MF index 67f09a5cc8..78de0b165b 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.1.20 +Bundle-Version: 0.1.21 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 367ba0e5cd..17c88c6d2e 100644 --- a/trunk/source/SpaceExParser/pom.xml +++ b/trunk/source/SpaceExParser/pom.xml @@ -34,13 +34,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.spaceex.parser - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/SpaceExParserTest/META-INF/MANIFEST.MF b/trunk/source/SpaceExParserTest/META-INF/MANIFEST.MF index 23cb0ee732..ba32cc86ce 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.1.20 +Bundle-Version: 0.1.21 Fragment-Host: de.uni_freiburg.informatik.ultimate.plugins.spaceex.parser;bundle-version="0.0.1" Bundle-RequiredExecutionEnvironment: JavaSE-1.8 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.test diff --git a/trunk/source/SpaceExParserTest/pom.xml b/trunk/source/SpaceExParserTest/pom.xml index 2d5ff1db41..73f9a69250 100644 --- a/trunk/source/SpaceExParserTest/pom.xml +++ b/trunk/source/SpaceExParserTest/pom.xml @@ -34,13 +34,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.spaceex.parser.test - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/SyntaxChecker/META-INF/MANIFEST.MF b/trunk/source/SyntaxChecker/META-INF/MANIFEST.MF index dde1f4445b..6c13fbaea2 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.1.20 +Bundle-Version: 0.1.21 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 b83ffb3d8c..04234aa005 100644 --- a/trunk/source/SyntaxChecker/pom.xml +++ b/trunk/source/SyntaxChecker/pom.xml @@ -23,13 +23,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.analysis.syntaxchecker - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/TraceAbstraction/META-INF/MANIFEST.MF b/trunk/source/TraceAbstraction/META-INF/MANIFEST.MF index 123cfc45c1..ca7dbace6c 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.1.20 +Bundle-Version: 0.1.21 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.lib.smtlib, de.uni_freiburg.informatik.ultimate.lib.util, diff --git a/trunk/source/TraceAbstraction/pom.xml b/trunk/source/TraceAbstraction/pom.xml index 6c4c9a7ecf..5b0cee6e40 100644 --- a/trunk/source/TraceAbstraction/pom.xml +++ b/trunk/source/TraceAbstraction/pom.xml @@ -30,13 +30,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/TraceAbstractionConcurrent/META-INF/MANIFEST.MF b/trunk/source/TraceAbstractionConcurrent/META-INF/MANIFEST.MF index a6de7e39a4..714eb73504 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.1.20 +Bundle-Version: 0.1.21 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 bbe07475bf..7d02745629 100644 --- a/trunk/source/TraceAbstractionConcurrent/pom.xml +++ b/trunk/source/TraceAbstractionConcurrent/pom.xml @@ -30,13 +30,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/TraceAbstractionWithAFAs/META-INF/MANIFEST.MF b/trunk/source/TraceAbstractionWithAFAs/META-INF/MANIFEST.MF index cdbcf111c8..62558d0026 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.1.20 +Bundle-Version: 0.1.21 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 ae767c55fc..c79de932db 100644 --- a/trunk/source/TraceAbstractionWithAFAs/pom.xml +++ b/trunk/source/TraceAbstractionWithAFAs/pom.xml @@ -30,13 +30,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/TreeAutomizer/META-INF/MANIFEST.MF b/trunk/source/TreeAutomizer/META-INF/MANIFEST.MF index 14ed2deb37..eaa6569f68 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.1.20 +Bundle-Version: 0.1.21 Bundle-ActivationPolicy: lazy Bundle-RequiredExecutionEnvironment: JavaSE-1.8 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, diff --git a/trunk/source/TreeAutomizer/pom.xml b/trunk/source/TreeAutomizer/pom.xml index 44d6442413..910657fd1a 100644 --- a/trunk/source/TreeAutomizer/pom.xml +++ b/trunk/source/TreeAutomizer/pom.xml @@ -30,12 +30,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.treeautomizer - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/UltimateCLI/META-INF/MANIFEST.MF b/trunk/source/UltimateCLI/META-INF/MANIFEST.MF index 6b7a806bc1..964422377c 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.1.20 +Bundle-Version: 0.1.21 Bundle-RequiredExecutionEnvironment: JavaSE-1.8 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 372365aa97..e3294ddae9 100644 --- a/trunk/source/UltimateCLI/pom.xml +++ b/trunk/source/UltimateCLI/pom.xml @@ -31,12 +31,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.cli - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/UltimateDeltaDebugger/META-INF/MANIFEST.MF b/trunk/source/UltimateDeltaDebugger/META-INF/MANIFEST.MF index f25b4e2dcf..2ca625e12a 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.1.20 +Bundle-Version: 0.1.21 Bundle-RequiredExecutionEnvironment: JavaSE-1.8 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 f88ea631ab..523968817f 100644 --- a/trunk/source/UltimateDeltaDebugger/pom.xml +++ b/trunk/source/UltimateDeltaDebugger/pom.xml @@ -31,12 +31,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.deltadebugger - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/UltimateRegressionTest/META-INF/MANIFEST.MF b/trunk/source/UltimateRegressionTest/META-INF/MANIFEST.MF index aa238422fc..7aadff7dce 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.1.20 +Bundle-Version: 0.1.21 Bundle-RequiredExecutionEnvironment: JavaSE-1.8 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 4f916b87ce..b2f8e133d7 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.1.20 + 0.1.21 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/UltimateServer/META-INF/MANIFEST.MF b/trunk/source/UltimateServer/META-INF/MANIFEST.MF index d04ea096bf..c5cd1584e2 100644 --- a/trunk/source/UltimateServer/META-INF/MANIFEST.MF +++ b/trunk/source/UltimateServer/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: UltimateServer Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.servercontroller;singleton:=true -Bundle-Version: 0.1.20 +Bundle-Version: 0.1.21 Bundle-RequiredExecutionEnvironment: JavaSE-1.8 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.core, diff --git a/trunk/source/UltimateServer/pom.xml b/trunk/source/UltimateServer/pom.xml index 7cff52097d..57ae786707 100644 --- a/trunk/source/UltimateServer/pom.xml +++ b/trunk/source/UltimateServer/pom.xml @@ -31,12 +31,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.servercontroller - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/UltimateTest/META-INF/MANIFEST.MF b/trunk/source/UltimateTest/META-INF/MANIFEST.MF index 588bdb277f..f468aa2d88 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.1.20 +Bundle-Version: 0.1.21 Bundle-RequiredExecutionEnvironment: JavaSE-1.8 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 e311c9a6db..e007d46725 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.1.20 + 0.1.21 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/WebUltimateBridge/META-INF/MANIFEST.MF b/trunk/source/WebUltimateBridge/META-INF/MANIFEST.MF index 80881fe872..f07a6a9834 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.1.20 +Bundle-Version: 0.1.21 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 c7ec3a2e16..a5b4e2360e 100644 --- a/trunk/source/WebUltimateBridge/pom.xml +++ b/trunk/source/WebUltimateBridge/pom.xml @@ -5,13 +5,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.webbridge - 0.1.20 + 0.1.21 eclipse-plugin \ No newline at end of file diff --git a/trunk/source/WitnessParser/META-INF/MANIFEST.MF b/trunk/source/WitnessParser/META-INF/MANIFEST.MF index 073a5ef8b5..35e34cd29b 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.1.20 +Bundle-Version: 0.1.21 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 0373ddf5f1..32a7154d42 100644 --- a/trunk/source/WitnessParser/pom.xml +++ b/trunk/source/WitnessParser/pom.xml @@ -31,13 +31,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.witnessparser - 0.1.20 + 0.1.21 eclipse-plugin diff --git a/trunk/source/WitnessPrinter/META-INF/MANIFEST.MF b/trunk/source/WitnessPrinter/META-INF/MANIFEST.MF index e3658eec94..5604b7e3e3 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.1.20 +Bundle-Version: 0.1.21 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 223e7343ca..a38a3d5f9c 100644 --- a/trunk/source/WitnessPrinter/pom.xml +++ b/trunk/source/WitnessPrinter/pom.xml @@ -31,13 +31,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.20 + 0.1.21 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.witnessprinter - 0.1.20 + 0.1.21 eclipse-plugin