Skip to content

Commit

Permalink
update versions to 0.2.4 for new release
Browse files Browse the repository at this point in the history
  • Loading branch information
@danieldietsch
danieldietsch committed Nov 24, 2023
1 parent e365bc8 commit 0e0057c
Show file tree
Hide file tree
Showing 224 changed files with 316 additions and 316 deletions.
2 changes: 1 addition & 1 deletion trunk/source/ACSLParser/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: ACSLParser
Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.acsl.parser;singleton:=true
Bundle-Version: 0.2.3
Bundle-Version: 0.2.4
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
Export-Package: de.uni_freiburg.informatik.ultimate.acsl.parser,
de.uni_freiburg.informatik.ultimate.model.acsl,
Expand Down
2 changes: 1 addition & 1 deletion trunk/source/ACSLParser/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,7 @@
<parent>
<artifactId>mavenparent</artifactId>
<groupId>de.uni_freiburg.informatik.ultimate</groupId>
<version>0.2.3</version>
<version>0.2.4</version>
<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion trunk/source/ASTBuilder/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: ASTBuilder
Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.astbuilder
Bundle-Version: 0.2.3
Bundle-Version: 0.2.4
Require-Bundle: com.github.jhoenicke.javacup
Export-Package: de.uni_freiburg.informatik.ultimate.astbuilder
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
Expand Down
2 changes: 1 addition & 1 deletion trunk/source/ASTBuilder/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,7 @@
<parent>
<groupId>de.uni_freiburg.informatik.ultimate</groupId>
<artifactId>mavenparent</artifactId>
<version>0.2.3</version>
<version>0.2.4</version>
<relativePath>../BA_MavenParentUltimate</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion trunk/source/AbstractInterpretationV2/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: AbstractInterpretation
Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2;singleton:=true
Bundle-Version: 0.2.3
Bundle-Version: 0.2.4
Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
de.uni_freiburg.informatik.ultimate.lib.smtlib,
de.uni_freiburg.informatik.ultimate.lib.smtlibutils,
Expand Down
4 changes: 2 additions & 2 deletions trunk/source/AbstractInterpretationV2/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -31,12 +31,12 @@
<parent>
<artifactId>mavenparent</artifactId>
<groupId>de.uni_freiburg.informatik.ultimate</groupId>
<version>0.2.3</version>
<version>0.2.4</version>
<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
</parent>

<artifactId>de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2</artifactId>
<version>0.2.3</version>
<version>0.2.4</version>
<packaging>eclipse-plugin</packaging>

</project>
2 changes: 1 addition & 1 deletion trunk/source/AbstractInterpretationV2Test/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: AbstractInterpretationV2Test
Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2.test
Bundle-Version: 0.2.3
Bundle-Version: 0.2.4
Fragment-Host: de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2
Bundle-RequiredExecutionEnvironment: JavaSE-11
Require-Bundle: de.uni_freiburg.informatik.ultimate.core,
Expand Down
2 changes: 1 addition & 1 deletion trunk/source/AbstractInterpretationV2Test/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,7 @@
<parent>
<artifactId>mavenparent</artifactId>
<groupId>de.uni_freiburg.informatik.ultimate</groupId>
<version>0.2.3</version>
<version>0.2.4</version>
<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
</parent>
</project>
2 changes: 1 addition & 1 deletion trunk/source/AutomataScriptInterpreter/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: AutomataScriptInterpreter
Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter;singleton:=true
Bundle-Version: 0.2.3
Bundle-Version: 0.2.4
Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.util,
de.uni_freiburg.informatik.ultimate.core,
de.uni_freiburg.informatik.ultimate.lib.core,
Expand Down
4 changes: 2 additions & 2 deletions trunk/source/AutomataScriptInterpreter/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -30,11 +30,11 @@
<parent>
<artifactId>mavenparent</artifactId>
<groupId>de.uni_freiburg.informatik.ultimate</groupId>
<version>0.2.3</version>
<version>0.2.4</version>
<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
</parent>

<artifactId>de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter</artifactId>
<version>0.2.3</version>
<version>0.2.4</version>
<packaging>eclipse-plugin</packaging>
</project>
2 changes: 1 addition & 1 deletion trunk/source/AutomataScriptParser/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: AutomataScriptParser
Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.source.automatascriptparser;singleton:=true
Bundle-Version: 0.2.3
Bundle-Version: 0.2.4
Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.util,
de.uni_freiburg.informatik.ultimate.lib.core,
de.uni_freiburg.informatik.ultimate.lib.ultimatemodel,
Expand Down
4 changes: 2 additions & 2 deletions trunk/source/AutomataScriptParser/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -30,13 +30,13 @@
<parent>
<artifactId>mavenparent</artifactId>
<groupId>de.uni_freiburg.informatik.ultimate</groupId>
<version>0.2.3</version>
<version>0.2.4</version>
<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
</parent>


<artifactId>de.uni_freiburg.informatik.ultimate.plugins.source.automatascriptparser</artifactId>
<version>0.2.3</version>
<version>0.2.4</version>
<packaging>eclipse-plugin</packaging>

<build>
Expand Down
2 changes: 1 addition & 1 deletion trunk/source/AutomatonDeltaDebugger/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Automaton Delta Debugger
Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.analysis.automatondeltadebugger;singleton:=true
Bundle-Version: 0.2.3
Bundle-Version: 0.2.4
Bundle-Activator: de.uni_freiburg.informatik.ultimate.plugins.analysis.automatondeltadebugger.Activator
Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
de.uni_freiburg.informatik.ultimate.core,
Expand Down
4 changes: 2 additions & 2 deletions trunk/source/AutomatonDeltaDebugger/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -31,12 +31,12 @@
<parent>
<artifactId>mavenparent</artifactId>
<groupId>de.uni_freiburg.informatik.ultimate</groupId>
<version>0.2.3</version>
<version>0.2.4</version>
<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
</parent>

<artifactId>de.uni_freiburg.informatik.ultimate.plugins.analysis.automatondeltadebugger</artifactId>
<version>0.2.3</version>
<version>0.2.4</version>
<packaging>eclipse-plugin</packaging>

</project>
2 changes: 1 addition & 1 deletion trunk/source/BA_FeatureDependenciesCommon/feature.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
<feature
id="BA_FeatureDependenciesCommon"
label="BA_FeatureDependenciesCommon"
version="0.2.3"
version="0.2.4"
arch="x86_64">

<description url="http://www.example.com/description">
Expand Down
4 changes: 2 additions & 2 deletions trunk/source/BA_FeatureDependenciesCommon/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,11 +4,11 @@
<parent>
<artifactId>mavenparent</artifactId>
<groupId>de.uni_freiburg.informatik.ultimate</groupId>
<version>0.2.3</version>
<version>0.2.4</version>
<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
</parent>

<artifactId>BA_FeatureDependenciesCommon</artifactId>
<version>0.2.3</version>
<version>0.2.4</version>
<packaging>eclipse-feature</packaging>
</project>
2 changes: 1 addition & 1 deletion trunk/source/BA_FeatureDependenciesDebugE4/feature.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
<feature
id="BA_FeatureDependenciesDebugE4"
label="BA_FeatureDependenciesDebugE4"
version="0.2.3"
version="0.2.4"
arch="x86_64">

<description url="http://www.example.com/description">
Expand Down
4 changes: 2 additions & 2 deletions trunk/source/BA_FeatureDependenciesDebugE4/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,11 +4,11 @@
<parent>
<artifactId>mavenparent</artifactId>
<groupId>de.uni_freiburg.informatik.ultimate</groupId>
<version>0.2.3</version>
<version>0.2.4</version>
<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
</parent>

<artifactId>BA_FeatureDependenciesDebugE4</artifactId>
<version>0.2.3</version>
<version>0.2.4</version>
<packaging>eclipse-feature</packaging>
</project>
2 changes: 1 addition & 1 deletion trunk/source/BA_FeatureUltimateCommandLine/feature.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
<feature
id="BA_FeatureUltimateCommandLine"
label="BA_FeatureUltimateCommandLine"
version="0.2.3"
version="0.2.4"
arch="x86_64">

<requires>
Expand Down
2 changes: 1 addition & 1 deletion trunk/source/BA_FeatureUltimateCommandLine/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<artifactId>mavenparent</artifactId>
<groupId>de.uni_freiburg.informatik.ultimate</groupId>
<version>0.2.3</version>
<version>0.2.4</version>
<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion trunk/source/BA_FeatureUltimateCommon/feature.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
<feature
id="BA_FeatureUltimateCommon"
label="BA_FeatureUltimateCommon"
version="0.2.3"
version="0.2.4"
os="linux,win32,macosx"
arch="x86_64">

Expand Down
2 changes: 1 addition & 1 deletion trunk/source/BA_FeatureUltimateCommon/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
<parent>
<groupId>de.uni_freiburg.informatik.ultimate</groupId>
<artifactId>mavenparent</artifactId>
<version>0.2.3</version>
<version>0.2.4</version>
<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion trunk/source/BA_FeatureUltimateDebug/feature.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
<feature
id="BA_FeatureUltimateDebug"
label="BA_FeatureUltimateDebug"
version="0.2.3"
version="0.2.4"
os="linux,win32,macosx"
arch="x86_64">

Expand Down
2 changes: 1 addition & 1 deletion trunk/source/BA_FeatureUltimateDebug/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
<parent>
<groupId>de.uni_freiburg.informatik.ultimate</groupId>
<artifactId>mavenparent</artifactId>
<version>0.2.3</version>
<version>0.2.4</version>
<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
<feature
id="BA_FeatureUltimateDeltaDebugger"
label="BA_FeatureUltimateDeltaDebugger"
version="0.2.3">
version="0.2.4">

<requires>
<import feature="BA_FeatureDependenciesCommon"/>
Expand Down
2 changes: 1 addition & 1 deletion trunk/source/BA_FeatureUltimateDeltaDebugger/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<artifactId>mavenparent</artifactId>
<groupId>de.uni_freiburg.informatik.ultimate</groupId>
<version>0.2.3</version>
<version>0.2.4</version>
<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion trunk/source/BA_FeatureWebBackend/feature.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
<feature
id="BA_FeatureWebBackend"
label="BA_FeatureWebBackend"
version="0.2.3"
version="0.2.4"
arch="x86_64">

<description url="http://www.example.com/description">
Expand Down
4 changes: 2 additions & 2 deletions trunk/source/BA_FeatureWebBackend/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,11 +4,11 @@
<parent>
<artifactId>mavenparent</artifactId>
<groupId>de.uni_freiburg.informatik.ultimate</groupId>
<version>0.2.3</version>
<version>0.2.4</version>
<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
</parent>

<artifactId>BA_FeatureWebBackend</artifactId>
<version>0.2.3</version>
<version>0.2.4</version>
<packaging>eclipse-feature</packaging>
</project>
4 changes: 2 additions & 2 deletions trunk/source/BA_MavenParentUltimate/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<modelVersion>4.0.0</modelVersion>
<groupId>de.uni_freiburg.informatik.ultimate</groupId>
<artifactId>mavenparent</artifactId>
<version>0.2.3</version>
<version>0.2.4</version>
<packaging>pom</packaging>

<name>Ultimate</name>
Expand All @@ -16,7 +16,7 @@
</scm>

<properties>
<ultimate-version>0.2.3</ultimate-version>
<ultimate-version>0.2.4</ultimate-version>

<!-- maven plugin versions -->
<!-- https://mvnrepository.com/artifact/org.eclipse.tycho/tycho-core -->
Expand Down
2 changes: 1 addition & 1 deletion trunk/source/BA_SiteRepository/CLI-E4.product
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?>
<?pde version="3.5"?>

<product name="Ultimate-CommandLine" uid="CLI-E4" id="de.uni_freiburg.informatik.ultimate.core.CLI" application="de.uni_freiburg.informatik.ultimate.core.CoreRCP" version="0.2.3" useFeatures="true" includeLaunchers="true">
<product name="Ultimate-CommandLine" uid="CLI-E4" id="de.uni_freiburg.informatik.ultimate.core.CLI" application="de.uni_freiburg.informatik.ultimate.core.CoreRCP" version="0.2.4" useFeatures="true" includeLaunchers="true">

<aboutInfo>
<text>
Expand Down
2 changes: 1 addition & 1 deletion trunk/source/BA_SiteRepository/Debug-E4.product
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?>
<?pde version="3.5"?>

<product name="Ultimate-Debug" uid="Debug-E4" id="de.uni_freiburg.informatik.ultimate.core.Debug" application="de.uni_freiburg.informatik.ultimate.core.CoreRCP" version="0.2.3" useFeatures="true" includeLaunchers="true">
<product name="Ultimate-Debug" uid="Debug-E4" id="de.uni_freiburg.informatik.ultimate.core.Debug" application="de.uni_freiburg.informatik.ultimate.core.CoreRCP" version="0.2.4" useFeatures="true" includeLaunchers="true">

<aboutInfo>
<image path="/CoreRCP/icons/about.gif"/>
Expand Down
2 changes: 1 addition & 1 deletion trunk/source/BA_SiteRepository/DeltaDebugger.product
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?>
<?pde version="3.5"?>

<product name="Ultimate-DeltaDebugger" uid="DeltaDebugger" id="de.uni_freiburg.informatik.ultimate.core.CLI" application="de.uni_freiburg.informatik.ultimate.core.CoreRCP" version="0.2.3" useFeatures="true" includeLaunchers="true">
<product name="Ultimate-DeltaDebugger" uid="DeltaDebugger" id="de.uni_freiburg.informatik.ultimate.core.CLI" application="de.uni_freiburg.informatik.ultimate.core.CoreRCP" version="0.2.4" useFeatures="true" includeLaunchers="true">

<aboutInfo>
<text>
Expand Down
2 changes: 1 addition & 1 deletion trunk/source/BA_SiteRepository/ReqAnalyzer.product
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?>
<?pde version="3.5"?>

<product name="ReqAnalyzer" uid="ReqAnalyzer" id="de.uni_freiburg.informatik.ultimate.core.CLI" application="de.uni_freiburg.informatik.ultimate.core.CoreRCP" version="0.2.3" useFeatures="true" includeLaunchers="true">
<product name="ReqAnalyzer" uid="ReqAnalyzer" id="de.uni_freiburg.informatik.ultimate.core.CLI" application="de.uni_freiburg.informatik.ultimate.core.CoreRCP" version="0.2.4" useFeatures="true" includeLaunchers="true">

<aboutInfo>
<image path="icons/about.gif"/>
Expand Down
2 changes: 1 addition & 1 deletion trunk/source/BA_SiteRepository/UltimateEliminator.product
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?>
<?pde version="3.5"?>

<product name="UltimateEliminator" uid="UltimateEliminator" id="de.uni_freiburg.informatik.ultimate.core.CLI" application="de.uni_freiburg.informatik.ultimate.core.CoreRCP" version="0.2.3" useFeatures="false" includeLaunchers="true">
<product name="UltimateEliminator" uid="UltimateEliminator" id="de.uni_freiburg.informatik.ultimate.core.CLI" application="de.uni_freiburg.informatik.ultimate.core.CoreRCP" version="0.2.4" useFeatures="false" includeLaunchers="true">

<aboutInfo>
<text>
Expand Down
2 changes: 1 addition & 1 deletion trunk/source/BA_SiteRepository/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<groupId>de.uni_freiburg.informatik.ultimate</groupId>
<artifactId>mavenparent</artifactId>
<version>0.2.3</version>
<version>0.2.4</version>
<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion trunk/source/BlockEncoding/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: BlockEncoding
Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.blockencoding;singleton:=true
Bundle-Version: 0.2.3
Bundle-Version: 0.2.4
Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
de.uni_freiburg.informatik.ultimate.core,
de.uni_freiburg.informatik.ultimate.lib.util,
Expand Down
4 changes: 2 additions & 2 deletions trunk/source/BlockEncoding/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -30,11 +30,11 @@
<parent>
<artifactId>mavenparent</artifactId>
<groupId>de.uni_freiburg.informatik.ultimate</groupId>
<version>0.2.3</version>
<version>0.2.4</version>
<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
</parent>

<artifactId>de.uni_freiburg.informatik.ultimate.plugins.generator.blockencoding</artifactId>
<version>0.2.3</version>
<version>0.2.4</version>
<packaging>eclipse-plugin</packaging>
</project>
2 changes: 1 addition & 1 deletion trunk/source/BlockEncodingV2/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: BlockEncodingV2
Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.blockencoding;singleton:=true
Bundle-Version: 0.2.3
Bundle-Version: 0.2.4
Bundle-Activator: de.uni_freiburg.informatik.ultimate.plugins.blockencoding.Activator
Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
de.uni_freiburg.informatik.ultimate.lib.util,
Expand Down
Loading

0 comments on commit 0e0057c

Please sign in to comment.