From 57e1ae7469a9168aea75754d58f49a31184bde78 Mon Sep 17 00:00:00 2001 From: Daniel Dietsch Date: Wed, 28 Nov 2018 15:10:20 +0100 Subject: [PATCH] update versions to 0.1.24 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_FeatureUltimateWebbridge/feature.xml | 2 +- trunk/source/BA_FeatureUltimateWebbridge/pom.xml | 2 +- trunk/source/BA_MavenParentUltimate/pom.xml | 4 ++-- trunk/source/BA_SiteRepository/CLI-E4.product | 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/Webbridge.product | 6 +++--- trunk/source/BA_SiteRepository/pom.xml | 2 +- trunk/source/BA_Website/pom.xml | 2 +- trunk/source/BlockEncoding/META-INF/MANIFEST.MF | 2 +- trunk/source/BlockEncoding/pom.xml | 4 ++-- trunk/source/BlockEncodingV2/META-INF/MANIFEST.MF | 2 +- trunk/source/BlockEncodingV2/pom.xml | 4 ++-- trunk/source/BoogieModSetAnnotator/META-INF/MANIFEST.MF | 2 +- trunk/source/BoogieModSetAnnotator/pom.xml | 4 ++-- trunk/source/BoogiePLParser/META-INF/MANIFEST.MF | 2 +- trunk/source/BoogiePLParser/pom.xml | 4 ++-- trunk/source/BoogiePreprocessor/META-INF/MANIFEST.MF | 2 +- trunk/source/BoogiePreprocessor/pom.xml | 4 ++-- trunk/source/BoogiePreprocessorTest/META-INF/MANIFEST.MF | 2 +- trunk/source/BoogiePreprocessorTest/pom.xml | 4 ++-- trunk/source/BoogiePrinter/META-INF/MANIFEST.MF | 2 +- trunk/source/BoogiePrinter/pom.xml | 4 ++-- trunk/source/BoogieProcedureInliner/META-INF/MANIFEST.MF | 2 +- trunk/source/BoogieProcedureInliner/pom.xml | 4 ++-- trunk/source/BuchiAutomizer/META-INF/MANIFEST.MF | 2 +- trunk/source/BuchiAutomizer/pom.xml | 4 ++-- trunk/source/BuchiProgramProduct/META-INF/MANIFEST.MF | 2 +- trunk/source/BuchiProgramProduct/pom.xml | 4 ++-- trunk/source/CACSL2BoogieTranslator/META-INF/MANIFEST.MF | 2 +- trunk/source/CACSL2BoogieTranslator/pom.xml | 2 +- trunk/source/CDTParser/META-INF/MANIFEST.MF | 2 +- trunk/source/CDTParser/pom.xml | 2 +- trunk/source/CDTPlugin/META-INF/MANIFEST.MF | 2 +- trunk/source/CDTPlugin/pom.xml | 2 +- trunk/source/ChcSmtPrinter/META-INF/MANIFEST.MF | 2 +- trunk/source/ChcSmtPrinter/pom.xml | 4 ++-- trunk/source/ChcToBoogie/META-INF/MANIFEST.MF | 2 +- trunk/source/ChcToBoogie/pom.xml | 4 ++-- trunk/source/CodeCheck/META-INF/MANIFEST.MF | 2 +- trunk/source/CodeCheck/pom.xml | 4 ++-- trunk/source/CoreRCP/META-INF/MANIFEST.MF | 2 +- trunk/source/CoreRCP/pom.xml | 4 ++-- trunk/source/CoreRCPTest/META-INF/MANIFEST.MF | 2 +- trunk/source/CoreRCPTest/pom.xml | 4 ++-- trunk/source/Crocotta/META-INF/MANIFEST.MF | 2 +- trunk/source/Crocotta/pom.xml | 4 ++-- .../GUIGeneratedPreferencePages/META-INF/MANIFEST.MF | 2 +- trunk/source/GUIGeneratedPreferencePages/pom.xml | 4 ++-- trunk/source/GUILoggingWindow/META-INF/MANIFEST.MF | 2 +- trunk/source/GUILoggingWindow/pom.xml | 4 ++-- trunk/source/GuiRCP/META-INF/MANIFEST.MF | 2 +- trunk/source/GuiRCP/pom.xml | 4 ++-- trunk/source/IRSDependencies/META-INF/MANIFEST.MF | 2 +- trunk/source/IRSDependencies/pom.xml | 4 ++-- trunk/source/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-CHC/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-CHC/pom.xml | 4 ++-- trunk/source/Library-CZT/pom.xml | 2 +- trunk/source/Library-Disruptor/pom.xml | 2 +- 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 +- trunk/source/Library-MSO/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-MSO/pom.xml | 4 ++-- .../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-PDR/META-INF/MANIFEST.MF | 2 +- trunk/source/Library-PDR/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-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/PEAtoBoogieTest/META-INF/MANIFEST.MF | 2 +- trunk/source/PEAtoBoogieTest/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/ReqParser/META-INF/MANIFEST.MF | 2 +- trunk/source/ReqParser/pom.xml | 4 ++-- trunk/source/ReqPrinter/META-INF/MANIFEST.MF | 2 +- trunk/source/ReqPrinter/pom.xml | 4 ++-- trunk/source/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/WebInterface/pom.xml | 2 +- trunk/source/WebUltimateBridge/META-INF/MANIFEST.MF | 2 +- trunk/source/WebUltimateBridge/pom.xml | 4 ++-- trunk/source/Website/pom.xml | 4 ++-- trunk/source/WitnessParser/META-INF/MANIFEST.MF | 2 +- trunk/source/WitnessParser/pom.xml | 4 ++-- trunk/source/WitnessPrinter/META-INF/MANIFEST.MF | 2 +- trunk/source/WitnessPrinter/pom.xml | 4 ++-- 208 files changed, 301 insertions(+), 301 deletions(-) diff --git a/trunk/source/ACSLParser/META-INF/MANIFEST.MF b/trunk/source/ACSLParser/META-INF/MANIFEST.MF index 909d83dc7c6..ba53f20e2a9 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.23 +Bundle-Version: 0.1.24 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 6665a2b3c1d..36c4d2cd9f0 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/ASTBuilder/META-INF/MANIFEST.MF b/trunk/source/ASTBuilder/META-INF/MANIFEST.MF index 5d6a46b8076..d71096b8c29 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.23 +Bundle-Version: 0.1.24 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 be41311b3b6..14de741f1f6 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.23 + 0.1.24 ../BA_MavenParentUltimate diff --git a/trunk/source/AbstractInterpretationV2/META-INF/MANIFEST.MF b/trunk/source/AbstractInterpretationV2/META-INF/MANIFEST.MF index f6184c81acf..9c29d2e18a8 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.23 +Bundle-Version: 0.1.24 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 3782ace5023..9f6bf2556fd 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2 - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/AbstractInterpretationV2Test/META-INF/MANIFEST.MF b/trunk/source/AbstractInterpretationV2Test/META-INF/MANIFEST.MF index f8d153e0520..c412a59eb8a 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.23 +Bundle-Version: 0.1.24 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 dc237dbbbc1..338f7f21db6 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/AutomataScriptInterpreter/META-INF/MANIFEST.MF b/trunk/source/AutomataScriptInterpreter/META-INF/MANIFEST.MF index 19d31c06f63..7ca40275057 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.23 +Bundle-Version: 0.1.24 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.util, de.uni_freiburg.informatik.ultimate.core, de.uni_freiburg.informatik.ultimate.lib.core, diff --git a/trunk/source/AutomataScriptInterpreter/pom.xml b/trunk/source/AutomataScriptInterpreter/pom.xml index d9a5c5b52df..63cf2fe6101 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/AutomataScriptParser/META-INF/MANIFEST.MF b/trunk/source/AutomataScriptParser/META-INF/MANIFEST.MF index 9b5fb4f08bb..93be2c732fe 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.23 +Bundle-Version: 0.1.24 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.util;bundle-version="0.1.23", de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.lib.ultimatemodel, diff --git a/trunk/source/AutomataScriptParser/pom.xml b/trunk/source/AutomataScriptParser/pom.xml index 456b93181b9..50fbc31f418 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.source.automatascriptparser - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/AutomatonDeltaDebugger/META-INF/MANIFEST.MF b/trunk/source/AutomatonDeltaDebugger/META-INF/MANIFEST.MF index 4f7adf758a8..4e25b97ee91 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.23 +Bundle-Version: 0.1.24 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 fa24f6aaefc..aed605f0cc5 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.analysis.automatondeltadebugger - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml b/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml index 36d619d0895..ed805fc42ec 100644 --- a/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml +++ b/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml @@ -2,7 +2,7 @@ + version="0.1.24"> [Enter Feature Description here.] diff --git a/trunk/source/BA_FeatureDependenciesCommandlineE4/pom.xml b/trunk/source/BA_FeatureDependenciesCommandlineE4/pom.xml index e2b1edc4947..335d0a40313 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml BA_FeatureDependenciesCommandlineE4 - 0.1.23 + 0.1.24 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 374c5de2448..06d969b6a6e 100644 --- a/trunk/source/BA_FeatureDependenciesDebugE4/feature.xml +++ b/trunk/source/BA_FeatureDependenciesDebugE4/feature.xml @@ -2,7 +2,7 @@ + version="0.1.24"> [Enter Feature Description here.] diff --git a/trunk/source/BA_FeatureDependenciesDebugE4/pom.xml b/trunk/source/BA_FeatureDependenciesDebugE4/pom.xml index 99fefe82b48..b0da1a7f137 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml BA_FeatureDependenciesDebugE4 - 0.1.23 + 0.1.24 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 367570eea54..901a73da4ff 100644 --- a/trunk/source/BA_FeatureUltimateCommandLine/feature.xml +++ b/trunk/source/BA_FeatureUltimateCommandLine/feature.xml @@ -2,7 +2,7 @@ + version="0.1.24"> diff --git a/trunk/source/BA_FeatureUltimateCommandLine/pom.xml b/trunk/source/BA_FeatureUltimateCommandLine/pom.xml index d37b198adbd..2850af11cb2 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BA_FeatureUltimateCommon/feature.xml b/trunk/source/BA_FeatureUltimateCommon/feature.xml index 28935a7a1c1..6dde4cc17fc 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 615b0eb8277..1ea17e088d2 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BA_FeatureUltimateDebug/feature.xml b/trunk/source/BA_FeatureUltimateDebug/feature.xml index 386e0584395..be2b92f2bdb 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 7a2d4d0c261..d805491c943 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml b/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml index 9cb128f2aeb..970caf7bf15 100644 --- a/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml +++ b/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml @@ -2,7 +2,7 @@ + version="0.1.24"> diff --git a/trunk/source/BA_FeatureUltimateDeltaDebugger/pom.xml b/trunk/source/BA_FeatureUltimateDeltaDebugger/pom.xml index 619ecdd9d1a..2a4692ede8f 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BA_FeatureUltimateWebbridge/feature.xml b/trunk/source/BA_FeatureUltimateWebbridge/feature.xml index b67ed68f478..cb15ecb19fc 100644 --- a/trunk/source/BA_FeatureUltimateWebbridge/feature.xml +++ b/trunk/source/BA_FeatureUltimateWebbridge/feature.xml @@ -1,7 +1,7 @@ + version="0.1.24"> mavenparent de.uni_freiburg.informatik.ultimate - 0.1.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BA_MavenParentUltimate/pom.xml b/trunk/source/BA_MavenParentUltimate/pom.xml index e93d4f06417..7f5e08065c4 100644 --- a/trunk/source/BA_MavenParentUltimate/pom.xml +++ b/trunk/source/BA_MavenParentUltimate/pom.xml @@ -4,7 +4,7 @@ 4.0.0 de.uni_freiburg.informatik.ultimate mavenparent - 0.1.23 + 0.1.24 pom Ultimate @@ -16,7 +16,7 @@ - 0.1.23 + 0.1.24 1.2.0 diff --git a/trunk/source/BA_SiteRepository/CLI-E4.product b/trunk/source/BA_SiteRepository/CLI-E4.product index f30d6be5f5a..d899b152867 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 d30a66de461..81e3b5268c6 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 d601ffe6c66..e5fb2fde250 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 266e6cbf051..73819f0b51a 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/Webbridge.product b/trunk/source/BA_SiteRepository/Webbridge.product index ce2aa210f17..036bb8ddf4e 100644 --- a/trunk/source/BA_SiteRepository/Webbridge.product +++ b/trunk/source/BA_SiteRepository/Webbridge.product @@ -1,7 +1,7 @@ - + @@ -41,8 +41,8 @@ - - + + diff --git a/trunk/source/BA_SiteRepository/pom.xml b/trunk/source/BA_SiteRepository/pom.xml index bf8950a11ae..4fa9b43d275 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BA_Website/pom.xml b/trunk/source/BA_Website/pom.xml index e430c0eb69e..551d8465b0a 100644 --- a/trunk/source/BA_Website/pom.xml +++ b/trunk/source/BA_Website/pom.xml @@ -5,7 +5,7 @@ de.uni_freiburg.informatik.ultimate mavenparent - 0.1.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BlockEncoding/META-INF/MANIFEST.MF b/trunk/source/BlockEncoding/META-INF/MANIFEST.MF index e4f663d2659..29e2a6c9eb2 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.23 +Bundle-Version: 0.1.24 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 ed25d68314a..2a8ae359740 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.generator.blockencoding - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/BlockEncodingV2/META-INF/MANIFEST.MF b/trunk/source/BlockEncodingV2/META-INF/MANIFEST.MF index 81aa90aa1ec..43f824b2a09 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.23 +Bundle-Version: 0.1.24 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 b66fa8723f1..8c2d67deaa2 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.blockencoding - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/BoogieModSetAnnotator/META-INF/MANIFEST.MF b/trunk/source/BoogieModSetAnnotator/META-INF/MANIFEST.MF index 1b7c6f50719..4410b2c82d4 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.23 +Bundle-Version: 0.1.24 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 37b92e8e2a7..df5b1924882 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.generator.modsetannotator - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/BoogiePLParser/META-INF/MANIFEST.MF b/trunk/source/BoogiePLParser/META-INF/MANIFEST.MF index e5f290e6af1..520f207daa2 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.23 +Bundle-Version: 0.1.24 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 3364809156a..6bef1ecc006 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.boogie.parser - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/BoogiePreprocessor/META-INF/MANIFEST.MF b/trunk/source/BoogiePreprocessor/META-INF/MANIFEST.MF index 1e6b4335232..7d6fdfc22c1 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.23 +Bundle-Version: 0.1.24 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 4049ec35988..4f2dbff6c60 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.boogie.preprocessor - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/BoogiePreprocessorTest/META-INF/MANIFEST.MF b/trunk/source/BoogiePreprocessorTest/META-INF/MANIFEST.MF index 308ea2a6214..6a26f46b44c 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.23 +Bundle-Version: 0.1.24 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 48bd56b4a6a..e31766d28eb 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.23 + 0.1.24 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BoogiePrinter/META-INF/MANIFEST.MF b/trunk/source/BoogiePrinter/META-INF/MANIFEST.MF index 22ab3a53b16..d3d32f2a94d 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.23 +Bundle-Version: 0.1.24 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 97fd5c55bc3..8cd561d3e9e 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.boogie.printer - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/BoogieProcedureInliner/META-INF/MANIFEST.MF b/trunk/source/BoogieProcedureInliner/META-INF/MANIFEST.MF index 770afde3e50..e87279bb667 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.23 +Bundle-Version: 0.1.24 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 9c38642df1c..c059c13467a 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.boogie.procedureinliner - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/BuchiAutomizer/META-INF/MANIFEST.MF b/trunk/source/BuchiAutomizer/META-INF/MANIFEST.MF index b97b857d43c..e125204c01c 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.23 +Bundle-Version: 0.1.24 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 343584ce4eb..48c34eb5f97 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.23 + 0.1.24 eclipse-plugin de.uni_freiburg.informatik.ultimate mavenparent - 0.1.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/BuchiProgramProduct/META-INF/MANIFEST.MF b/trunk/source/BuchiProgramProduct/META-INF/MANIFEST.MF index b8e26284710..d7ed319676b 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.23 +Bundle-Version: 0.1.24 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 e8dba1eb237..7ab0396a20a 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.buchiprogramproduct - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/CACSL2BoogieTranslator/META-INF/MANIFEST.MF b/trunk/source/CACSL2BoogieTranslator/META-INF/MANIFEST.MF index 0b643028cff..6a0c23d8339 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.23 +Bundle-Version: 0.1.24 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 a6ba960db34..adbee87a40b 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/CDTParser/META-INF/MANIFEST.MF b/trunk/source/CDTParser/META-INF/MANIFEST.MF index 4e22c5fe5a1..8629084bfe2 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.23 +Bundle-Version: 0.1.24 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.core, org.eclipse.cdt.core, diff --git a/trunk/source/CDTParser/pom.xml b/trunk/source/CDTParser/pom.xml index 1a74b76caf4..c915e2856fc 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/CDTPlugin/META-INF/MANIFEST.MF b/trunk/source/CDTPlugin/META-INF/MANIFEST.MF index a82d2c22ec9..becd4fe3eac 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.23 +Bundle-Version: 0.1.24 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 04b15711fe7..d11e4f8e85e 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/ChcSmtPrinter/META-INF/MANIFEST.MF b/trunk/source/ChcSmtPrinter/META-INF/MANIFEST.MF index 8af0e389621..66cab19aa93 100644 --- a/trunk/source/ChcSmtPrinter/META-INF/MANIFEST.MF +++ b/trunk/source/ChcSmtPrinter/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: ChcSmtPrinter Plug-in Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.chc.printer;singleton:=true -Bundle-Version: 0.1.23 +Bundle-Version: 0.1.24 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.core, de.uni_freiburg.informatik.ultimate.lib.chc, diff --git a/trunk/source/ChcSmtPrinter/pom.xml b/trunk/source/ChcSmtPrinter/pom.xml index 6525e4def4b..b906df05bc4 100644 --- a/trunk/source/ChcSmtPrinter/pom.xml +++ b/trunk/source/ChcSmtPrinter/pom.xml @@ -30,11 +30,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.chc.printer - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/ChcToBoogie/META-INF/MANIFEST.MF b/trunk/source/ChcToBoogie/META-INF/MANIFEST.MF index 27ffec1bd63..10c5b0686e1 100644 --- a/trunk/source/ChcToBoogie/META-INF/MANIFEST.MF +++ b/trunk/source/ChcToBoogie/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: ChcToBoogie Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.chctoboogie;singleton:=true -Bundle-Version: 0.1.23 +Bundle-Version: 0.1.24 Bundle-Activator: de.uni_freiburg.informatik.ultimate.plugins.chctoboogie.Activator Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.lib.util, diff --git a/trunk/source/ChcToBoogie/pom.xml b/trunk/source/ChcToBoogie/pom.xml index 24261acbdb4..4ed58d8df37 100644 --- a/trunk/source/ChcToBoogie/pom.xml +++ b/trunk/source/ChcToBoogie/pom.xml @@ -23,12 +23,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.chctoboogie - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/CodeCheck/META-INF/MANIFEST.MF b/trunk/source/CodeCheck/META-INF/MANIFEST.MF index 7a0108a7db5..8dd32813aa3 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.23 +Bundle-Version: 0.1.24 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 a41eef5be83..61c679eb2a2 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/CoreRCP/META-INF/MANIFEST.MF b/trunk/source/CoreRCP/META-INF/MANIFEST.MF index 13112263c14..94b96d5e794 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.23 +Bundle-Version: 0.1.24 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 da2c1abcf50..3d3fc8a38d5 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.core - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/CoreRCPTest/META-INF/MANIFEST.MF b/trunk/source/CoreRCPTest/META-INF/MANIFEST.MF index 24362c6395b..8fc7333710c 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.23 +Bundle-Version: 0.1.24 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 4a9e5e51bd3..30ec5390d9a 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.23 + 0.1.24 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Crocotta/META-INF/MANIFEST.MF b/trunk/source/Crocotta/META-INF/MANIFEST.MF index c3303973c5a..fd802b7df54 100644 --- a/trunk/source/Crocotta/META-INF/MANIFEST.MF +++ b/trunk/source/Crocotta/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: PEAtoBoogie Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.crocotta;singleton:=true -Bundle-Version: 0.1.23 +Bundle-Version: 0.1.24 Bundle-Activator: de.uni_freiburg.informatik.ultimate.crocotta.Activator Bundle-ActivationPolicy: lazy Bundle-RequiredExecutionEnvironment: JavaSE-1.8 diff --git a/trunk/source/Crocotta/pom.xml b/trunk/source/Crocotta/pom.xml index 81d9d5205e8..9428e1e2d76 100644 --- a/trunk/source/Crocotta/pom.xml +++ b/trunk/source/Crocotta/pom.xml @@ -22,13 +22,13 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.crocotta - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/GUIGeneratedPreferencePages/META-INF/MANIFEST.MF b/trunk/source/GUIGeneratedPreferencePages/META-INF/MANIFEST.MF index 074f71cd6f6..96a4ca59bd1 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.23 +Bundle-Version: 0.1.24 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 3a36a3dee0f..f714c4a945d 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.gui.preferencepages - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/GUILoggingWindow/META-INF/MANIFEST.MF b/trunk/source/GUILoggingWindow/META-INF/MANIFEST.MF index b1bf631fffc..45aff38c32b 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.23 +Bundle-Version: 0.1.24 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 77fd0e8e767..3c4cfd6e6ab 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.gui.logging - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/GuiRCP/META-INF/MANIFEST.MF b/trunk/source/GuiRCP/META-INF/MANIFEST.MF index 2a2c84ae116..eb3430cf954 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.23 +Bundle-Version: 0.1.24 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 2cc3628c2bf..c00db152463 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.gui - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/IRSDependencies/META-INF/MANIFEST.MF b/trunk/source/IRSDependencies/META-INF/MANIFEST.MF index 50ca52df320..dadf42d2f9c 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.23 +Bundle-Version: 0.1.24 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 eb041e56ef2..8f1eb9afe5b 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/IcfgTransformation/META-INF/MANIFEST.MF b/trunk/source/IcfgTransformation/META-INF/MANIFEST.MF index 2a97edbbc9b..d2a67307766 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.23 +Bundle-Version: 0.1.24 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 6fd6a1ddf0c..bfb19af7b1f 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/InvariantSynthesis/META-INF/MANIFEST.MF b/trunk/source/InvariantSynthesis/META-INF/MANIFEST.MF index a41257484eb..2844741b26f 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.23 +Bundle-Version: 0.1.24 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 3ac4437a9ad..38702154fd4 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.invariantsynthesis - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/JavaCup/pom.xml b/trunk/source/JavaCup/pom.xml index c3799c3e1d3..6696a0a25c9 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/JungVisualization/META-INF/MANIFEST.MF b/trunk/source/JungVisualization/META-INF/MANIFEST.MF index a7fa163c152..b4afd6936c0 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.23 +Bundle-Version: 0.1.24 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 bd44873f459..be271c837e8 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.23 + 0.1.24 ../BA_MavenParentUltimate diff --git a/trunk/source/LTL2aut/META-INF/MANIFEST.MF b/trunk/source/LTL2aut/META-INF/MANIFEST.MF index b39ab88172f..40f247467e6 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.23 +Bundle-Version: 0.1.24 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 82c6d532d25..c358cbe667b 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.ltl2aut - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/LassoRanker/META-INF/MANIFEST.MF b/trunk/source/LassoRanker/META-INF/MANIFEST.MF index 8338bb0f9aa..d9dc1cbcbce 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.23 +Bundle-Version: 0.1.24 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.util;bundle-version="0.1.23", de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.lib.smtlib, diff --git a/trunk/source/LassoRanker/pom.xml b/trunk/source/LassoRanker/pom.xml index 296f1265f67..cd692efbb43 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/Library-ApacheCommonsCLI/pom.xml b/trunk/source/Library-ApacheCommonsCLI/pom.xml index c4dbfd32619..663ff349a5a 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-ApacheCommonsLang/pom.xml b/trunk/source/Library-ApacheCommonsLang/pom.xml index 3b3c58bbf4d..c7f31600ea4 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.23 + 0.1.24 ../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 bc3e290c438..55d994708ae 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.23 +Bundle-Version: 0.1.24 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 4e8f406926a..c05813586d3 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.automata - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/Library-AutomataTest/META-INF/MANIFEST.MF b/trunk/source/Library-AutomataTest/META-INF/MANIFEST.MF index 8a5e52bf84f..dec8b34ac20 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.23 +Bundle-Version: 0.1.24 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 5b5d44108c5..38e918ea6d8 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.automata.test - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/Library-Batik/pom.xml b/trunk/source/Library-Batik/pom.xml index c9846dd1a9e..8f8194219a7 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.23 + 0.1.24 ../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 45d4fa6f627..53d52765676 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.23 +Bundle-Version: 0.1.24 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 af6e264ccbb..ef9a8e611e1 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.boogieast - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/Library-CHC/META-INF/MANIFEST.MF b/trunk/source/Library-CHC/META-INF/MANIFEST.MF index 14b3989cf46..813c1961662 100644 --- a/trunk/source/Library-CHC/META-INF/MANIFEST.MF +++ b/trunk/source/Library-CHC/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Library-TreeAutomizer Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.chc -Bundle-Version: 0.1.23 +Bundle-Version: 0.1.24 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-CHC/pom.xml b/trunk/source/Library-CHC/pom.xml index f6971205cb2..b13009bee11 100644 --- a/trunk/source/Library-CHC/pom.xml +++ b/trunk/source/Library-CHC/pom.xml @@ -30,11 +30,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.chc - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/Library-CZT/pom.xml b/trunk/source/Library-CZT/pom.xml index 3cb5cabfeed..9e9327d961d 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-Disruptor/pom.xml b/trunk/source/Library-Disruptor/pom.xml index f8016b25f0f..d93c7455ab6 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.23 + 0.1.24 ../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 c7481775984..77c608a12cb 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.23 +Bundle-Version: 0.1.24 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 7108b26526d..96fc38f3bfa 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml - 0.1.23 + 0.1.24 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 53666f3dc42..9a112e18c9a 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.23 +Bundle-Version: 0.1.24 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 55853f8efa7..2f4360ddec0 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.23 + 0.1.24 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.23 + 0.1.24 ../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 4fe9eb29bd1..c5b3f03e1e2 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.23 +Bundle-Version: 0.1.24 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 2772a8fdecb..9e64b73dbb8 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.interactive.common de.uni_freiburg.informatik.ultimate.interactive.common - 0.1.23 + 0.1.24 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 bb01c95f8f4..5ed508b2aee 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.23 +Bundle-Version: 0.1.24 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 1a7a2788323..a3198cef2fe 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.interactive de.uni_freiburg.informatik.ultimate.interactive - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/Library-InteractiveTA/META-INF/MANIFEST.MF b/trunk/source/Library-InteractiveTA/META-INF/MANIFEST.MF index bbcd9ac7264..871c2cb932a 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.23 +Bundle-Version: 0.1.24 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 f0031e21b6d..da4e52ba9d8 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.interactive.traceabstraction de.uni_freiburg.informatik.ultimate.interactive.traceabstraction - 0.1.23 + 0.1.24 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 40750f0d001..3ac3da3747f 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-Jung/pom.xml b/trunk/source/Library-Jung/pom.xml index ddfeafb0762..2f1bd14bb16 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-LassoRanker/pom.xml b/trunk/source/Library-LassoRanker/pom.xml index ee4b14faa6c..709681d2ef5 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-Log4j2/pom.xml b/trunk/source/Library-Log4j2/pom.xml index 35cce8d5b84..102035b2fb9 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-MSO/META-INF/MANIFEST.MF b/trunk/source/Library-MSO/META-INF/MANIFEST.MF index f0809a89101..fad6f3e3891 100644 --- a/trunk/source/Library-MSO/META-INF/MANIFEST.MF +++ b/trunk/source/Library-MSO/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Library-MSO Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.mso -Bundle-Version: 0.1.23 +Bundle-Version: 0.1.24 Bundle-RequiredExecutionEnvironment: JavaSE-1.8 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.util;bundle-version="0.1.23", de.uni_freiburg.informatik.ultimate.core, diff --git a/trunk/source/Library-MSO/pom.xml b/trunk/source/Library-MSO/pom.xml index 95a22114ed1..d8c8d5c18e6 100644 --- a/trunk/source/Library-MSO/pom.xml +++ b/trunk/source/Library-MSO/pom.xml @@ -31,11 +31,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml - 0.1.23 + 0.1.24 eclipse-plugin de.uni_freiburg.informatik.ultimate.lib.mso diff --git a/trunk/source/Library-ModelCheckerUtils/META-INF/MANIFEST.MF b/trunk/source/Library-ModelCheckerUtils/META-INF/MANIFEST.MF index e475016a858..6f4e0375e29 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.23 +Bundle-Version: 0.1.24 Bundle-RequiredExecutionEnvironment: JavaSE-1.8 Export-Package: de.uni_freiburg.informatik.ultimate.modelcheckerutils.absint, de.uni_freiburg.informatik.ultimate.modelcheckerutils.absint.vpdomain, diff --git a/trunk/source/Library-ModelCheckerUtils/pom.xml b/trunk/source/Library-ModelCheckerUtils/pom.xml index ad180a98534..b8d9f667a96 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/Library-ModelCheckerUtilsTest/META-INF/MANIFEST.MF b/trunk/source/Library-ModelCheckerUtilsTest/META-INF/MANIFEST.MF index f13d71ead23..6493b2a03a7 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.23 +Bundle-Version: 0.1.24 Fragment-Host: de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils 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 78065f7498a..721655f75c3 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.23 + 0.1.24 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-PDR/META-INF/MANIFEST.MF b/trunk/source/Library-PDR/META-INF/MANIFEST.MF index 4c81fe5bf47..038a7da6a8a 100644 --- a/trunk/source/Library-PDR/META-INF/MANIFEST.MF +++ b/trunk/source/Library-PDR/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: Library-IcfgTransformer Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.pdr -Bundle-Version: 0.1.23 +Bundle-Version: 0.1.24 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-PDR/pom.xml b/trunk/source/Library-PDR/pom.xml index 80b258ee67f..e20606fe22b 100644 --- a/trunk/source/Library-PDR/pom.xml +++ b/trunk/source/Library-PDR/pom.xml @@ -31,11 +31,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml - 0.1.23 + 0.1.24 eclipse-plugin de.uni_freiburg.informatik.ultimate.lib.pdr diff --git a/trunk/source/Library-PEA/pom.xml b/trunk/source/Library-PEA/pom.xml index 4b6fb0b3a1a..1628e5a6d84 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-Protobuf/pom.xml b/trunk/source/Library-Protobuf/pom.xml index 19c2a91fd25..95a58b0b8a2 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.23 + 0.1.24 ../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 ba718625606..6b62fe92e90 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.23 +Bundle-Version: 0.1.24 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 30dbd30245d..78e2a39acfa 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.lib.smtlib - 0.1.23 + 0.1.24 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 5e6c3d9a06c..7abc8123940 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.23 +Bundle-Version: 0.1.24 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 0e31c3ca77a..ce900c01b37 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.23 + 0.1.24 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.23 + 0.1.24 ../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 297c8c22b70..bc5bc5c0e37 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.23 +Bundle-Version: 0.1.24 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 626c46ea426..f5fbea452d9 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.server de.uni_freiburg.informatik.ultimate.server - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/Library-UltimateCore/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateCore/META-INF/MANIFEST.MF index 02fc0301c39..1c82ce3426b 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.23 +Bundle-Version: 0.1.24 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 e8e27d51ed9..5d943b83c80 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.lib.core - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/Library-UltimateModel/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateModel/META-INF/MANIFEST.MF index 361e908b637..a04eb0e965f 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.23 +Bundle-Version: 0.1.24 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 7e039b85d41..f998ebb8280 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.lib.ultimatemodel - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/Library-UltimateTest/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateTest/META-INF/MANIFEST.MF index e5fa7afcace..0b801b8dff1 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.23 +Bundle-Version: 0.1.24 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 7f8f9d2fde6..51fde8b0e65 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.23 + 0.1.24 eclipse-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.23 + 0.1.24 ../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 866f58145a6..332fb999c2f 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.23 +Bundle-Version: 0.1.24 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 d162f5d3221..6f46b6e8eb1 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.23 + 0.1.24 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.23 + 0.1.24 ../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 bab07e3a479..cb92f7a4740 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.23 +Bundle-Version: 0.1.24 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 b97589f7bcc..5675b4a2936 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.lib.util - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/Library-UltimateUtilTest/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateUtilTest/META-INF/MANIFEST.MF index 70c0359d8b4..de06b77d52e 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.23 +Bundle-Version: 0.1.24 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 710829390b6..9537f2cecc6 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.23 + 0.1.24 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-jdom/pom.xml b/trunk/source/Library-jdom/pom.xml index 24ed3a1af2b..30d8859013d 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-log4j/pom.xml b/trunk/source/Library-log4j/pom.xml index 4f6af5b8e33..a0c9cadc0b9 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-ojAlgo/pom.xml b/trunk/source/Library-ojAlgo/pom.xml index 424f9a0843b..f575ec880cb 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-srParse/pom.xml b/trunk/source/Library-srParse/pom.xml index 25e1b82c8d4..ba87faa7107 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.23 + 0.1.24 ../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 13a3ae22e58..3ef520b2c06 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.23 +Bundle-Version: 0.1.24 Fragment-Host: de.uni_freiburg.informatik.ultimate.lib.srparse Bundle-RequiredExecutionEnvironment: JavaSE-1.8 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, diff --git a/trunk/source/Library-srParseTest/pom.xml b/trunk/source/Library-srParseTest/pom.xml index d902d23a700..8bc1aca8091 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.23 + 0.1.24 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/Library-xerces/pom.xml b/trunk/source/Library-xerces/pom.xml index 016d88a5ff8..af4769dca58 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/PEAtoBoogie/META-INF/MANIFEST.MF b/trunk/source/PEAtoBoogie/META-INF/MANIFEST.MF index c7d2b252197..1b12b2a6296 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.23 +Bundle-Version: 0.1.24 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 f79c067abe4..734c3fd0899 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.pea2boogie - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/PEAtoBoogieTest/META-INF/MANIFEST.MF b/trunk/source/PEAtoBoogieTest/META-INF/MANIFEST.MF index 0233432210c..61def634203 100644 --- a/trunk/source/PEAtoBoogieTest/META-INF/MANIFEST.MF +++ b/trunk/source/PEAtoBoogieTest/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: PEAtoBoogieTest Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.pea2boogie.test -Bundle-Version: 0.1.23 +Bundle-Version: 0.1.24 Fragment-Host: de.uni_freiburg.informatik.ultimate.pea2boogie Bundle-RequiredExecutionEnvironment: JavaSE-1.8 Require-Bundle: com.github.jhoenicke.javacup, diff --git a/trunk/source/PEAtoBoogieTest/pom.xml b/trunk/source/PEAtoBoogieTest/pom.xml index ad90a91d14b..d8a11f1cf84 100644 --- a/trunk/source/PEAtoBoogieTest/pom.xml +++ b/trunk/source/PEAtoBoogieTest/pom.xml @@ -29,13 +29,13 @@ 4.0.0 de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.pea2boogie.test - 0.1.23 + 0.1.24 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/RCFGBuilder/META-INF/MANIFEST.MF b/trunk/source/RCFGBuilder/META-INF/MANIFEST.MF index 3bdcc240a40..93683667c57 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.23 +Bundle-Version: 0.1.24 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 e741cdba1e9..d11c838f1df 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/ReachingDefinitions/META-INF/MANIFEST.MF b/trunk/source/ReachingDefinitions/META-INF/MANIFEST.MF index 1ec59ac0d6b..c257a57aa9c 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.23 +Bundle-Version: 0.1.24 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 9935fe39973..506873ec8b3 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/ReqParser/META-INF/MANIFEST.MF b/trunk/source/ReqParser/META-INF/MANIFEST.MF index eb0446889cb..2f9f1be9839 100644 --- a/trunk/source/ReqParser/META-INF/MANIFEST.MF +++ b/trunk/source/ReqParser/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: ReqParser Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.reqparser;singleton:=true -Bundle-Version: 0.1.23 +Bundle-Version: 0.1.24 Bundle-Activator: de.uni_freiburg.informatik.ultimate.reqparser.Activator Bundle-ActivationPolicy: lazy Bundle-RequiredExecutionEnvironment: JavaSE-1.8 diff --git a/trunk/source/ReqParser/pom.xml b/trunk/source/ReqParser/pom.xml index 1f6d00cc241..562186366d4 100644 --- a/trunk/source/ReqParser/pom.xml +++ b/trunk/source/ReqParser/pom.xml @@ -30,12 +30,12 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.reqparser - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/ReqPrinter/META-INF/MANIFEST.MF b/trunk/source/ReqPrinter/META-INF/MANIFEST.MF index 8287813d4bf..f2e7fa618f5 100644 --- a/trunk/source/ReqPrinter/META-INF/MANIFEST.MF +++ b/trunk/source/ReqPrinter/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: BoogiePrinter Plug-in Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.req.printer;singleton:=true -Bundle-Version: 0.1.23 +Bundle-Version: 0.1.24 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, de.uni_freiburg.informatik.ultimate.core, de.uni_freiburg.informatik.ultimate.pea2boogie, diff --git a/trunk/source/ReqPrinter/pom.xml b/trunk/source/ReqPrinter/pom.xml index c7fbac2d828..5733ce889f2 100644 --- a/trunk/source/ReqPrinter/pom.xml +++ b/trunk/source/ReqPrinter/pom.xml @@ -30,11 +30,11 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate.req.printer - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/SMTInterpol/pom.xml b/trunk/source/SMTInterpol/pom.xml index 598c47eadf0..83f9c233689 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/SMTInterpolTest/META-INF/MANIFEST.MF b/trunk/source/SMTInterpolTest/META-INF/MANIFEST.MF index 8674b9ff5f3..4375b6c434d 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.23 +Bundle-Version: 0.1.24 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 81150107fdc..feb1a203a6e 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.23 + 0.1.24 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/SMTSolverBridge/META-INF/MANIFEST.MF b/trunk/source/SMTSolverBridge/META-INF/MANIFEST.MF index 9ced903c417..1785bc04fc1 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.23 +Bundle-Version: 0.1.24 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 b76cd34d99f..3108ece49b3 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/SMTSolverBridgeTest/META-INF/MANIFEST.MF b/trunk/source/SMTSolverBridgeTest/META-INF/MANIFEST.MF index 176fd9ca9c3..98354b9f0e7 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.23 +Bundle-Version: 0.1.24 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 1bf33703ec7..e5eb5e3ff9a 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.smtsolver.external.test - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/SmtParser/META-INF/MANIFEST.MF b/trunk/source/SmtParser/META-INF/MANIFEST.MF index 2be26c188d1..e3419ffefe1 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.23 +Bundle-Version: 0.1.24 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 ec109014475..eb3c376d1ca 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.source.smtparser - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/SpaceExParser/META-INF/MANIFEST.MF b/trunk/source/SpaceExParser/META-INF/MANIFEST.MF index 0b9b7b4dd14..ac230d7b32a 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.23 +Bundle-Version: 0.1.24 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 58fe50ede30..8f5ce7f0a64 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.spaceex.parser - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/SpaceExParserTest/META-INF/MANIFEST.MF b/trunk/source/SpaceExParserTest/META-INF/MANIFEST.MF index a4f7bbd9487..94215489bd3 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.23 +Bundle-Version: 0.1.24 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 6a62bc20d4e..35b88d59e28 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.spaceex.parser.test - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/SyntaxChecker/META-INF/MANIFEST.MF b/trunk/source/SyntaxChecker/META-INF/MANIFEST.MF index b96551b3d51..ccbff80aec9 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.23 +Bundle-Version: 0.1.24 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 0ebfc9d715e..4d8abec374d 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.analysis.syntaxchecker - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/TraceAbstraction/META-INF/MANIFEST.MF b/trunk/source/TraceAbstraction/META-INF/MANIFEST.MF index 4de5cd11b1c..ba5e4d30810 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.23 +Bundle-Version: 0.1.24 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 e9d3e248614..1177fc92d2c 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/TraceAbstractionConcurrent/META-INF/MANIFEST.MF b/trunk/source/TraceAbstractionConcurrent/META-INF/MANIFEST.MF index 9296f7d9aac..55334b27aac 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.23 +Bundle-Version: 0.1.24 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 0593072eb93..9631a910940 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/TraceAbstractionWithAFAs/META-INF/MANIFEST.MF b/trunk/source/TraceAbstractionWithAFAs/META-INF/MANIFEST.MF index 7ffedfd3ef3..7229d7dfcdc 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.23 +Bundle-Version: 0.1.24 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 c0098800889..a45f7eb3b11 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/TreeAutomizer/META-INF/MANIFEST.MF b/trunk/source/TreeAutomizer/META-INF/MANIFEST.MF index e68f79b0fb0..b6df929bd5b 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.23 +Bundle-Version: 0.1.24 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 af8b0226e44..0db43b9ad1e 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.plugins.generator.treeautomizer - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/UltimateCLI/META-INF/MANIFEST.MF b/trunk/source/UltimateCLI/META-INF/MANIFEST.MF index 97545fae318..b97a408035c 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.23 +Bundle-Version: 0.1.24 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 6fae7b102ce..64b1b2f9ce9 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.cli - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/UltimateDeltaDebugger/META-INF/MANIFEST.MF b/trunk/source/UltimateDeltaDebugger/META-INF/MANIFEST.MF index 1275185ddb8..e5b0ec49c04 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.23 +Bundle-Version: 0.1.24 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 ae3bed6da82..b80cb501d86 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.deltadebugger - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/UltimateRegressionTest/META-INF/MANIFEST.MF b/trunk/source/UltimateRegressionTest/META-INF/MANIFEST.MF index d7ab8c6f672..061c5bb2a4b 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.23 +Bundle-Version: 0.1.24 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 be5de6556f5..c3a5f06985f 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.23 + 0.1.24 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/UltimateServer/META-INF/MANIFEST.MF b/trunk/source/UltimateServer/META-INF/MANIFEST.MF index 31e5627480e..6b3f07385ae 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.23 +Bundle-Version: 0.1.24 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 39a48c87f52..e210d9f5920 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.servercontroller - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/UltimateTest/META-INF/MANIFEST.MF b/trunk/source/UltimateTest/META-INF/MANIFEST.MF index 577edc41d27..49306a72f57 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.23 +Bundle-Version: 0.1.24 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 4e0eb6786b5..2db6cb41e07 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.23 + 0.1.24 eclipse-test-plugin mavenparent de.uni_freiburg.informatik.ultimate - 0.1.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/WebInterface/pom.xml b/trunk/source/WebInterface/pom.xml index f3cda1e0a81..7e45bc567c8 100644 --- a/trunk/source/WebInterface/pom.xml +++ b/trunk/source/WebInterface/pom.xml @@ -5,7 +5,7 @@ mavenparent de.uni_freiburg.informatik.ultimate - 0.1.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml diff --git a/trunk/source/WebUltimateBridge/META-INF/MANIFEST.MF b/trunk/source/WebUltimateBridge/META-INF/MANIFEST.MF index 6c54d3c6b2f..0013d4a0933 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.23 +Bundle-Version: 0.1.24 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 01bf6faf7cd..0aa6b547293 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.webbridge - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/Website/pom.xml b/trunk/source/Website/pom.xml index 4f063a300df..302ce54f65d 100644 --- a/trunk/source/Website/pom.xml +++ b/trunk/source/Website/pom.xml @@ -6,13 +6,13 @@ de.uni_freiburg.informatik.ultimate mavenparent - 0.1.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate UltimateWebsite - 0.1.23 + 0.1.24 war diff --git a/trunk/source/WitnessParser/META-INF/MANIFEST.MF b/trunk/source/WitnessParser/META-INF/MANIFEST.MF index a644fe2fe28..cb962901fcb 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.23 +Bundle-Version: 0.1.24 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 e326d81c35c..75a16204334 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.witnessparser - 0.1.23 + 0.1.24 eclipse-plugin diff --git a/trunk/source/WitnessPrinter/META-INF/MANIFEST.MF b/trunk/source/WitnessPrinter/META-INF/MANIFEST.MF index 0dd90f1082c..53c99deb486 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.23 +Bundle-Version: 0.1.24 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 8ea4f1071bb..17e3ac6a912 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.23 + 0.1.24 ../BA_MavenParentUltimate/pom.xml de.uni_freiburg.informatik.ultimate de.uni_freiburg.informatik.ultimate.witnessprinter - 0.1.23 + 0.1.24 eclipse-plugin