From 6309e4c9f700a26d9bbab2cfd30daa6df31b2910 Mon Sep 17 00:00:00 2001 From: Daniel Dietsch Date: Sat, 7 Oct 2017 08:05:49 +0200 Subject: [PATCH] update versions to 0.1.22 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 cabb30facdb..15b959341e9 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.21 +Bundle-Version: 0.1.22 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 b2bd5c31c30..a0dc23e9cd7 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/ASTBuilder/META-INF/MANIFEST.MF b/trunk/source/ASTBuilder/META-INF/MANIFEST.MF index 10055a7f6b4..d2ae583ab5a 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.21 +Bundle-Version: 0.1.22 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 fc9850227cc..fed9ad9a06c 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.21 + 0.1.22 ../BA_MavenParentUltimate diff --git a/trunk/source/AbstractInterpretationV2/META-INF/MANIFEST.MF b/trunk/source/AbstractInterpretationV2/META-INF/MANIFEST.MF index a0cb0eeacc3..303b77c57cc 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.21 +Bundle-Version: 0.1.22 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 934983449cc..dcd98f6fe1c 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2 - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/AbstractInterpretationV2Test/META-INF/MANIFEST.MF b/trunk/source/AbstractInterpretationV2Test/META-INF/MANIFEST.MF index c62ed7e9b97..92a98faf2a4 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.21 +Bundle-Version: 0.1.22 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 9ceb134074e..f11a0d3d41d 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/AutomataScriptInterpreter/META-INF/MANIFEST.MF b/trunk/source/AutomataScriptInterpreter/META-INF/MANIFEST.MF index 42507537a7f..a09e5e22b3b 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.21 +Bundle-Version: 0.1.22 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 eae3e55a14f..0beaabfbd39 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/AutomataScriptParser/META-INF/MANIFEST.MF b/trunk/source/AutomataScriptParser/META-INF/MANIFEST.MF index ae77a060040..2d90b7f7dd8 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.21 +Bundle-Version: 0.1.22 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 e219d42c2a8..58987ae501b 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.source.automatascriptparser - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/AutomatonDeltaDebugger/META-INF/MANIFEST.MF b/trunk/source/AutomatonDeltaDebugger/META-INF/MANIFEST.MF index 807330a670a..c2d54511fcd 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.21 +Bundle-Version: 0.1.22 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 8216a0aeace..da04233ff3b 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.analysis.automatondeltadebugger - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml b/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml index 04637025da6..3534279bd85 100644 --- a/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml +++ b/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml @@ -2,7 +2,7 @@ + version="0.1.22"> [Enter Feature Description here.] diff --git a/trunk/source/BA_FeatureDependenciesCommandlineE4/pom.xml b/trunk/source/BA_FeatureDependenciesCommandlineE4/pom.xml index 8e3a41f3d2f..e642bd92d44 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml BA_FeatureDependenciesCommandlineE4 - 0.1.21 + 0.1.22 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 75335dc5d96..fde2de44911 100644 --- a/trunk/source/BA_FeatureDependenciesDebugE4/feature.xml +++ b/trunk/source/BA_FeatureDependenciesDebugE4/feature.xml @@ -2,7 +2,7 @@ + version="0.1.22"> [Enter Feature Description here.] diff --git a/trunk/source/BA_FeatureDependenciesDebugE4/pom.xml b/trunk/source/BA_FeatureDependenciesDebugE4/pom.xml index 4662f83b287..8c84a6c483f 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml BA_FeatureDependenciesDebugE4 - 0.1.21 + 0.1.22 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 393efaae31b..618988e8bd9 100644 --- a/trunk/source/BA_FeatureUltimateCommandLine/feature.xml +++ b/trunk/source/BA_FeatureUltimateCommandLine/feature.xml @@ -2,7 +2,7 @@ + version="0.1.22"> diff --git a/trunk/source/BA_FeatureUltimateCommandLine/pom.xml b/trunk/source/BA_FeatureUltimateCommandLine/pom.xml index 634069038c7..e42105e31ce 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BA_FeatureUltimateCommon/feature.xml b/trunk/source/BA_FeatureUltimateCommon/feature.xml index e1a681db0fd..caaa8af910c 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 28351753a1f..2663f0bc0fa 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BA_FeatureUltimateDebug/feature.xml b/trunk/source/BA_FeatureUltimateDebug/feature.xml index 674f0c2804e..6184dcc8403 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 43303d58054..feb1ac4cc4b 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml b/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml index 0fd0facdbb5..45102b82895 100644 --- a/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml +++ b/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml @@ -2,7 +2,7 @@ + version="0.1.22"> diff --git a/trunk/source/BA_FeatureUltimateDeltaDebugger/pom.xml b/trunk/source/BA_FeatureUltimateDeltaDebugger/pom.xml index f8781184965..28f9e8f8c74 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BA_MavenParentUltimate/pom.xml b/trunk/source/BA_MavenParentUltimate/pom.xml index ff28603bd32..4bdaa4c2eea 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.21 + 0.1.22 pom Ultimate @@ -15,7 +15,7 @@ - 0.1.21 + 0.1.22 1.0.0 diff --git a/trunk/source/BA_SiteRepository/CLI-E4.product b/trunk/source/BA_SiteRepository/CLI-E4.product index 7b8f046daf0..ee086b4e77e 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 9839b2dcbdc..43bd53431c5 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 2e250f35e21..dc0315a9d4e 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 bd1d2505ef2..63927a75aaf 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 8c18d0c199f..f519c8dc2d1 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BlockEncoding/META-INF/MANIFEST.MF b/trunk/source/BlockEncoding/META-INF/MANIFEST.MF index 643676b313a..5cc4625d7db 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.21 +Bundle-Version: 0.1.22 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 6b991b2d1d3..af881150754 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.generator.blockencoding - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/BlockEncodingV2/META-INF/MANIFEST.MF b/trunk/source/BlockEncodingV2/META-INF/MANIFEST.MF index f767eb623fc..d649b94922e 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.21 +Bundle-Version: 0.1.22 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 73e13ac2198..cbda17b258c 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.blockencoding - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/BoogieModSetAnnotator/META-INF/MANIFEST.MF b/trunk/source/BoogieModSetAnnotator/META-INF/MANIFEST.MF index 388c38f56ef..bbba68c7d87 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.21 +Bundle-Version: 0.1.22 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 a8381e53d1f..1ecb7bb61fe 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.generator.modsetannotator - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/BoogiePLParser/META-INF/MANIFEST.MF b/trunk/source/BoogiePLParser/META-INF/MANIFEST.MF index f10b67ce941..d52c2a13833 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.21 +Bundle-Version: 0.1.22 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 f63b94a441c..09966869ba3 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.boogie.parser - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/BoogiePreprocessor/META-INF/MANIFEST.MF b/trunk/source/BoogiePreprocessor/META-INF/MANIFEST.MF index 3fca4799e9f..55ebcc3d9f0 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.21 +Bundle-Version: 0.1.22 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 c2bf12e10fd..0c5975cba0d 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.boogie.preprocessor - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/BoogiePreprocessorTest/META-INF/MANIFEST.MF b/trunk/source/BoogiePreprocessorTest/META-INF/MANIFEST.MF index ed190356894..5c8c35d4160 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.21 +Bundle-Version: 0.1.22 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 21a84ac9e0e..4eb7eae8262 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.21 + 0.1.22 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BoogiePrinter/META-INF/MANIFEST.MF b/trunk/source/BoogiePrinter/META-INF/MANIFEST.MF index 42b860b4434..dfb2ca1da8d 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.21 +Bundle-Version: 0.1.22 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 03a1a13b36e..d01ab02e2fb 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.boogie.printer - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/BoogieProcedureInliner/META-INF/MANIFEST.MF b/trunk/source/BoogieProcedureInliner/META-INF/MANIFEST.MF index 266b0eb9614..e2f9b6cf7af 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.21 +Bundle-Version: 0.1.22 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 68694bf6ae7..d8c153d4bb5 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.boogie.procedureinliner - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/BuchiAutomizer/META-INF/MANIFEST.MF b/trunk/source/BuchiAutomizer/META-INF/MANIFEST.MF index f64b9aa6002..794047cc4cc 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.21 +Bundle-Version: 0.1.22 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 846177337b9..99574d33eea 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.21 + 0.1.22 eclipse-plugin de.uni_freiburg.informatik.ultimate mavenparent - 0.1.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BuchiProgramProduct/META-INF/MANIFEST.MF b/trunk/source/BuchiProgramProduct/META-INF/MANIFEST.MF index a95f8b9a241..940515e33db 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.21 +Bundle-Version: 0.1.22 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 29e24b518ee..cc64f59b55d 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.buchiprogramproduct - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/CACSL2BoogieTranslator/META-INF/MANIFEST.MF b/trunk/source/CACSL2BoogieTranslator/META-INF/MANIFEST.MF index ea329cdce6d..d5042d64b11 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.21 +Bundle-Version: 0.1.22 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 dfa469446db..7082c8e85dd 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/CDTParser/META-INF/MANIFEST.MF b/trunk/source/CDTParser/META-INF/MANIFEST.MF index 3cb63f13091..96b64f3a0a4 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.21 +Bundle-Version: 0.1.22 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 5e5f43e2f14..4b8dd3ffdde 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/CDTPlugin/META-INF/MANIFEST.MF b/trunk/source/CDTPlugin/META-INF/MANIFEST.MF index e2fc4483120..27d7378fac5 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.21 +Bundle-Version: 0.1.22 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 5d118c24e44..b4184dabc34 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/CodeCheck/META-INF/MANIFEST.MF b/trunk/source/CodeCheck/META-INF/MANIFEST.MF index 739f79c90ad..de199e203e3 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.21 +Bundle-Version: 0.1.22 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 3af38845b2c..90542ae8fd8 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/CoreRCP/META-INF/MANIFEST.MF b/trunk/source/CoreRCP/META-INF/MANIFEST.MF index 687affc368a..16af740fb41 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.21 +Bundle-Version: 0.1.22 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 22ec1f65634..b2fa0c71e21 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.core - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/CoreRCPTest/META-INF/MANIFEST.MF b/trunk/source/CoreRCPTest/META-INF/MANIFEST.MF index 6080e8fc6de..b1bb411925c 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.21 +Bundle-Version: 0.1.22 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 32673164bc6..7863cc8d2f1 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.21 + 0.1.22 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/GUIGeneratedPreferencePages/META-INF/MANIFEST.MF b/trunk/source/GUIGeneratedPreferencePages/META-INF/MANIFEST.MF index dc28da1d34b..b2f27837b16 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.21 +Bundle-Version: 0.1.22 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 9c34ad64561..8e0ffc9fe53 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.gui.preferencepages - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/GUILoggingWindow/META-INF/MANIFEST.MF b/trunk/source/GUILoggingWindow/META-INF/MANIFEST.MF index 0f5da0c5b14..d64b3efa362 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.21 +Bundle-Version: 0.1.22 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 6ef897ed500..a554eb6f7a9 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.gui.logging - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/GuiRCP/META-INF/MANIFEST.MF b/trunk/source/GuiRCP/META-INF/MANIFEST.MF index 66ee99722cd..779b4d868c9 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.21 +Bundle-Version: 0.1.22 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 c19fef34120..3331fc56a20 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.gui - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/IRSDependencies/META-INF/MANIFEST.MF b/trunk/source/IRSDependencies/META-INF/MANIFEST.MF index 9396dff2770..2ff56c6d6c5 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.21 +Bundle-Version: 0.1.22 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 a643d944c88..6b0258d3b91 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/IcfgTransformation/META-INF/MANIFEST.MF b/trunk/source/IcfgTransformation/META-INF/MANIFEST.MF index 5fd7c453e1f..f01145b77c5 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.21 +Bundle-Version: 0.1.22 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 3db0131300b..1f727dd2039 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/InvariantSynthesis/META-INF/MANIFEST.MF b/trunk/source/InvariantSynthesis/META-INF/MANIFEST.MF index 315f4b5b3e2..8c81dedd3f0 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.21 +Bundle-Version: 0.1.22 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 6fc4f04e0ff..06be9e02f4a 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.invariantsynthesis - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/JavaCup/pom.xml b/trunk/source/JavaCup/pom.xml index c1116c20d95..74ec6730b54 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/JungVisualization/META-INF/MANIFEST.MF b/trunk/source/JungVisualization/META-INF/MANIFEST.MF index 1b7864c0163..1fbac4f1f42 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.21 +Bundle-Version: 0.1.22 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 d3c664bfdf5..55a1796c313 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.21 + 0.1.22 ../BA_MavenParentUltimate diff --git a/trunk/source/LTL2aut/META-INF/MANIFEST.MF b/trunk/source/LTL2aut/META-INF/MANIFEST.MF index 242fd0e2288..00f09ebaa96 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.21 +Bundle-Version: 0.1.22 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 7b4fa31f99a..2c66c2ce7a1 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.ltl2aut - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/LassoRanker/META-INF/MANIFEST.MF b/trunk/source/LassoRanker/META-INF/MANIFEST.MF index 63e24dde8ab..dba6779f762 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.21 +Bundle-Version: 0.1.22 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 1e11db57953..6950eaa65cd 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/Library-ApacheCommonsCLI/pom.xml b/trunk/source/Library-ApacheCommonsCLI/pom.xml index 3c62f59f828..b34d6a060d5 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-ApacheCommonsLang/pom.xml b/trunk/source/Library-ApacheCommonsLang/pom.xml index f0c570a8885..1165f023a07 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.21 + 0.1.22 ../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 45c553a4c15..e9a3df3bec2 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.21 +Bundle-Version: 0.1.22 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 f5998cc3b09..5f8f05b31a3 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.automata - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/Library-AutomataTest/META-INF/MANIFEST.MF b/trunk/source/Library-AutomataTest/META-INF/MANIFEST.MF index e657d8c2cee..fc11b73725a 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.21 +Bundle-Version: 0.1.22 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 2d28c8bdd20..19657f37e89 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.automata.test - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/Library-Batik/pom.xml b/trunk/source/Library-Batik/pom.xml index 7de6c269af4..97580b2363f 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.21 + 0.1.22 ../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 195f52984fb..55b76861f4b 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.21 +Bundle-Version: 0.1.22 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 ddb04933f36..e03c7e5c910 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.boogieast - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/Library-CZT/pom.xml b/trunk/source/Library-CZT/pom.xml index 6b9bd3b4d4c..b7a197f9e46 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-Disruptor/pom.xml b/trunk/source/Library-Disruptor/pom.xml index 19d2b50b417..4498073125c 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.21 + 0.1.22 ../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 52616a31d51..91a360e9235 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.21 +Bundle-Version: 0.1.22 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 c976dd8c04e..5420b2ce0dd 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml - 0.1.21 + 0.1.22 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 b702f71dc34..2660393ccea 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.21 +Bundle-Version: 0.1.22 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 1ddb849cdc1..6a0050c6d3d 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.21 + 0.1.22 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.21 + 0.1.22 ../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 53d1626e78b..662e8198378 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.21 +Bundle-Version: 0.1.22 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 2581b5b71a8..993b2653e05 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.interactive.common de.uni_freiburg.informatik.ultimate.interactive.common - 0.1.21 + 0.1.22 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 63dfe790cab..05b20a8974a 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.21 +Bundle-Version: 0.1.22 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 a8e2587e153..965853ee80e 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.interactive de.uni_freiburg.informatik.ultimate.interactive - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/Library-InteractiveTA/META-INF/MANIFEST.MF b/trunk/source/Library-InteractiveTA/META-INF/MANIFEST.MF index 06676f8fa4a..cad6a7359fb 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.21 +Bundle-Version: 0.1.22 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 523359664e0..4a933f0f883 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.interactive.traceabstraction de.uni_freiburg.informatik.ultimate.interactive.traceabstraction - 0.1.21 + 0.1.22 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 ced47496ce4..956ed33152b 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-Jung/pom.xml b/trunk/source/Library-Jung/pom.xml index 179bf47b13c..d12fe54f488 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-LassoRanker/pom.xml b/trunk/source/Library-LassoRanker/pom.xml index 40ebcb4df9e..5100ac3f02c 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-Log4j2/pom.xml b/trunk/source/Library-Log4j2/pom.xml index 5887a3e5a3a..56106cdc5d5 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.21 + 0.1.22 ../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 87742ca4956..2cf25831d9a 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.21 +Bundle-Version: 0.1.22 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 1920ac44d70..41b634bc966 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/Library-ModelCheckerUtilsTest/META-INF/MANIFEST.MF b/trunk/source/Library-ModelCheckerUtilsTest/META-INF/MANIFEST.MF index 8e7b4d52f27..5616a9aa455 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.21 +Bundle-Version: 0.1.22 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 4810923066b..8ba752954b0 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.21 + 0.1.22 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-PEA/pom.xml b/trunk/source/Library-PEA/pom.xml index 13269a58b69..9f37a1deeed 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-Protobuf/pom.xml b/trunk/source/Library-Protobuf/pom.xml index bfd5d117a80..02f25aa4516 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.21 + 0.1.22 ../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 a48c229550a..d889bd5ef12 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.21 +Bundle-Version: 0.1.22 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 937359f0b22..a6de7444ba7 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.lib.smtlib - 0.1.21 + 0.1.22 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 f9c5b00b18f..c84384a6d43 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.21 +Bundle-Version: 0.1.22 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 c94bdf76f00..250ab0bfe3b 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.21 + 0.1.22 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.21 + 0.1.22 ../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 1f4a1134ff1..0c7af13286d 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.21 +Bundle-Version: 0.1.22 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 3a1965e950c..d60f57e3665 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.server de.uni_freiburg.informatik.ultimate.server - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/Library-TreeAutomizer/META-INF/MANIFEST.MF b/trunk/source/Library-TreeAutomizer/META-INF/MANIFEST.MF index c118bb94bef..cf47cb52710 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.21 +Bundle-Version: 0.1.22 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 29fda2169ab..27e04a4be2c 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.treeautomizer - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/Library-UltimateCore/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateCore/META-INF/MANIFEST.MF index f80ffc2a83c..9d8acd47c88 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.21 +Bundle-Version: 0.1.22 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 a069f7dca50..e67b869449c 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.lib.core - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/Library-UltimateModel/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateModel/META-INF/MANIFEST.MF index a29a18dca53..3ce462aa4a2 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.21 +Bundle-Version: 0.1.22 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 d97bce68171..d642c7fccf1 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.lib.ultimatemodel - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/Library-UltimateTest/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateTest/META-INF/MANIFEST.MF index a082fa51ebd..980d59c7ac2 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.21 +Bundle-Version: 0.1.22 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 822a16018da..b391d1b0adb 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.21 + 0.1.22 eclipse-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.21 + 0.1.22 ../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 98012a715fc..4f9cc65a766 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.21 +Bundle-Version: 0.1.22 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 ed92947180f..320b27b1447 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.21 + 0.1.22 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.21 + 0.1.22 ../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 ea33099476f..f061b5f6b66 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.21 +Bundle-Version: 0.1.22 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 b26ad4b2b1a..e566e220b07 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.lib.util - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/Library-UltimateUtilTest/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateUtilTest/META-INF/MANIFEST.MF index 55d65cd4663..5bb9f7564be 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.21 +Bundle-Version: 0.1.22 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 0a4b0d5f6be..b2970525013 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.21 + 0.1.22 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-jdom/pom.xml b/trunk/source/Library-jdom/pom.xml index 55043e99a28..2e455adbb95 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-log4j/pom.xml b/trunk/source/Library-log4j/pom.xml index 04e28021f48..d2f3eac9730 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-ojAlgo/pom.xml b/trunk/source/Library-ojAlgo/pom.xml index 292ac884b6c..e9e16feee2a 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-srParse/pom.xml b/trunk/source/Library-srParse/pom.xml index d2c171f67b0..6a116818ef5 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.21 + 0.1.22 ../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 d6eca38f611..40b89822c25 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.21 +Bundle-Version: 0.1.22 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 cdb275c2027..d1c8043c06e 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.21 + 0.1.22 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-xerces/pom.xml b/trunk/source/Library-xerces/pom.xml index 02ab9e16423..297e0fe88cf 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/PEAtoBoogie/META-INF/MANIFEST.MF b/trunk/source/PEAtoBoogie/META-INF/MANIFEST.MF index 5b0c4bad452..f42f6536a4e 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.21 +Bundle-Version: 0.1.22 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 3395c6107ed..b7022b9419d 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.pea2boogie - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/RCFGBuilder/META-INF/MANIFEST.MF b/trunk/source/RCFGBuilder/META-INF/MANIFEST.MF index aaa7d7a87fb..051e7d85693 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.21 +Bundle-Version: 0.1.22 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 6bc628bf2fd..3f9e90fb16f 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/ReachingDefinitions/META-INF/MANIFEST.MF b/trunk/source/ReachingDefinitions/META-INF/MANIFEST.MF index 87df28120d9..3ea43d88859 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.21 +Bundle-Version: 0.1.22 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 fa8894cd265..bd7ff8ce0e1 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/SMTInterpol/pom.xml b/trunk/source/SMTInterpol/pom.xml index 64e494bb2af..e0637299580 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/SMTInterpolTest/META-INF/MANIFEST.MF b/trunk/source/SMTInterpolTest/META-INF/MANIFEST.MF index fe9607f97cb..b4db1916a38 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.21 +Bundle-Version: 0.1.22 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 b142bd654a7..f9c22f2bf4e 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.21 + 0.1.22 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/SMTSolverBridge/META-INF/MANIFEST.MF b/trunk/source/SMTSolverBridge/META-INF/MANIFEST.MF index 0c60d6644bd..7eb7a321484 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.21 +Bundle-Version: 0.1.22 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 53aee0ca2a2..629d958d1b9 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/SMTSolverBridgeTest/META-INF/MANIFEST.MF b/trunk/source/SMTSolverBridgeTest/META-INF/MANIFEST.MF index 0e10948e4fb..747b5545b65 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.21 +Bundle-Version: 0.1.22 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 73be5030691..598f33b2971 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.smtsolver.external.test - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/SmtParser/META-INF/MANIFEST.MF b/trunk/source/SmtParser/META-INF/MANIFEST.MF index 532857db752..cc27a7907a2 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.21 +Bundle-Version: 0.1.22 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 678c6912539..500e20be2b6 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.source.smtparser - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/SpaceExParser/META-INF/MANIFEST.MF b/trunk/source/SpaceExParser/META-INF/MANIFEST.MF index 78de0b165b8..6eb59c06716 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.21 +Bundle-Version: 0.1.22 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 17c88c6d2e6..d6f8ab1127e 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.spaceex.parser - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/SpaceExParserTest/META-INF/MANIFEST.MF b/trunk/source/SpaceExParserTest/META-INF/MANIFEST.MF index ba32cc86ce1..bcce70f608e 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.21 +Bundle-Version: 0.1.22 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 73f9a692502..8150a9c6f77 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.spaceex.parser.test - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/SyntaxChecker/META-INF/MANIFEST.MF b/trunk/source/SyntaxChecker/META-INF/MANIFEST.MF index 6c13fbaea28..5c1f141fbd5 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.21 +Bundle-Version: 0.1.22 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 04234aa0057..f05b16ca3e4 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.analysis.syntaxchecker - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/TraceAbstraction/META-INF/MANIFEST.MF b/trunk/source/TraceAbstraction/META-INF/MANIFEST.MF index ca7dbace6c9..3a6d0ca7eec 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.21 +Bundle-Version: 0.1.22 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 5b0cee6e40c..1d7b9ea0bad 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/TraceAbstractionConcurrent/META-INF/MANIFEST.MF b/trunk/source/TraceAbstractionConcurrent/META-INF/MANIFEST.MF index 714eb735047..6bdaeedd3d5 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.21 +Bundle-Version: 0.1.22 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 7d027456291..996cb64052a 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/TraceAbstractionWithAFAs/META-INF/MANIFEST.MF b/trunk/source/TraceAbstractionWithAFAs/META-INF/MANIFEST.MF index 62558d00265..2378fc0faff 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.21 +Bundle-Version: 0.1.22 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 c79de932db9..3cb0dc2a832 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/TreeAutomizer/META-INF/MANIFEST.MF b/trunk/source/TreeAutomizer/META-INF/MANIFEST.MF index eaa6569f68b..99bdd1db43f 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.21 +Bundle-Version: 0.1.22 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 910657fd1aa..bbdd3ae42b2 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.treeautomizer - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/UltimateCLI/META-INF/MANIFEST.MF b/trunk/source/UltimateCLI/META-INF/MANIFEST.MF index 964422377c5..c6696274548 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.21 +Bundle-Version: 0.1.22 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 e3294ddae97..2799ca9cf88 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.cli - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/UltimateDeltaDebugger/META-INF/MANIFEST.MF b/trunk/source/UltimateDeltaDebugger/META-INF/MANIFEST.MF index 2ca625e12ab..ad1266de99d 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.21 +Bundle-Version: 0.1.22 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 523968817fa..64b8069609b 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.deltadebugger - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/UltimateRegressionTest/META-INF/MANIFEST.MF b/trunk/source/UltimateRegressionTest/META-INF/MANIFEST.MF index 7aadff7dce2..a838c3582bd 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.21 +Bundle-Version: 0.1.22 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 b2f8e133d7e..26f32b87c54 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.21 + 0.1.22 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/UltimateServer/META-INF/MANIFEST.MF b/trunk/source/UltimateServer/META-INF/MANIFEST.MF index c5cd1584e28..aee785a1338 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.21 +Bundle-Version: 0.1.22 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 57ae786707b..bf5c3725fc2 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.servercontroller - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/UltimateTest/META-INF/MANIFEST.MF b/trunk/source/UltimateTest/META-INF/MANIFEST.MF index f468aa2d885..9e35b1f7d79 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.21 +Bundle-Version: 0.1.22 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 e007d46725d..60241c845d4 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.21 + 0.1.22 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/WebUltimateBridge/META-INF/MANIFEST.MF b/trunk/source/WebUltimateBridge/META-INF/MANIFEST.MF index f07a6a9834f..481c0dd91f1 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.21 +Bundle-Version: 0.1.22 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 a5b4e2360e2..6677095ec10 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.webbridge - 0.1.21 + 0.1.22 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 35e34cd29b3..86a026e4f58 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.21 +Bundle-Version: 0.1.22 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 32a7154d427..a37b32536e0 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.witnessparser - 0.1.21 + 0.1.22 eclipse-plugin diff --git a/trunk/source/WitnessPrinter/META-INF/MANIFEST.MF b/trunk/source/WitnessPrinter/META-INF/MANIFEST.MF index 5604b7e3e3d..7854516d1a6 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.21 +Bundle-Version: 0.1.22 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 a38a3d5f9c2..7617d530b86 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.21 + 0.1.22 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.witnessprinter - 0.1.21 + 0.1.22 eclipse-plugin