update versions to 0.2.3 for new release

ultimate-pa · Dec 23, 2022 · 863304a · 863304a
1 parent 2329fc7
commit 863304a
Show file tree

Hide file tree

Showing 227 changed files with 330 additions and 330 deletions.
diff --git a/trunk/source/ACSLParser/META-INF/MANIFEST.MF b/trunk/source/ACSLParser/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: ACSLParser
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.acsl.parser;singleton:=true
-Bundle-Version: 0.2.2
+Bundle-Version: 0.2.3
 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
@@ -32,7 +32,7 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.2.2</version>
+		<version>0.2.3</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 

diff --git a/trunk/source/ASTBuilder/META-INF/MANIFEST.MF b/trunk/source/ASTBuilder/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: ASTBuilder
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.astbuilder
-Bundle-Version: 0.2.2
+Bundle-Version: 0.2.3
 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
@@ -35,7 +35,7 @@
 	<parent>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
 		<artifactId>mavenparent</artifactId>
-		<version>0.2.2</version>
+		<version>0.2.3</version>
 		<relativePath>../BA_MavenParentUltimate</relativePath>
 	</parent>
 

diff --git a/trunk/source/AbstractInterpretationV2/META-INF/MANIFEST.MF b/trunk/source/AbstractInterpretationV2/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: AbstractInterpretation
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2;singleton:=true
-Bundle-Version: 0.2.2
+Bundle-Version: 0.2.3
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.lib.smtlib,
  de.uni_freiburg.informatik.ultimate.lib.smtlibutils,

diff --git a/trunk/source/AbstractInterpretationV2/pom.xml b/trunk/source/AbstractInterpretationV2/pom.xml
@@ -31,12 +31,12 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.2.2</version>
+		<version>0.2.3</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2</artifactId>
-	<version>0.2.2</version>
+	<version>0.2.3</version>
 	<packaging>eclipse-plugin</packaging>
 
 </project>
diff --git a/trunk/source/AbstractInterpretationV2Test/META-INF/MANIFEST.MF b/trunk/source/AbstractInterpretationV2Test/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: AbstractInterpretationV2Test
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2.test
-Bundle-Version: 0.2.2
+Bundle-Version: 0.2.3
 Fragment-Host: de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2
 Bundle-RequiredExecutionEnvironment: JavaSE-11
 Require-Bundle: de.uni_freiburg.informatik.ultimate.core,

diff --git a/trunk/source/AbstractInterpretationV2Test/pom.xml b/trunk/source/AbstractInterpretationV2Test/pom.xml
@@ -35,7 +35,7 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.2.2</version>
+		<version>0.2.3</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 </project>
diff --git a/trunk/source/AutomataScriptInterpreter/META-INF/MANIFEST.MF b/trunk/source/AutomataScriptInterpreter/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: AutomataScriptInterpreter
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter;singleton:=true
-Bundle-Version: 0.2.2
+Bundle-Version: 0.2.3
 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
@@ -30,11 +30,11 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.2.2</version>
+		<version>0.2.3</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
   <artifactId>de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter</artifactId>
-  <version>0.2.2</version>
+  <version>0.2.3</version>
   <packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/AutomataScriptParser/META-INF/MANIFEST.MF b/trunk/source/AutomataScriptParser/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: AutomataScriptParser
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.source.automatascriptparser;singleton:=true
-Bundle-Version: 0.2.2
+Bundle-Version: 0.2.3
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.util,
  de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.lib.ultimatemodel,

diff --git a/trunk/source/AutomataScriptParser/pom.xml b/trunk/source/AutomataScriptParser/pom.xml
@@ -30,13 +30,13 @@
    	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.2.2</version>
+		<version>0.2.3</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent> 
 
 
   <artifactId>de.uni_freiburg.informatik.ultimate.plugins.source.automatascriptparser</artifactId>
-  <version>0.2.2</version>
+  <version>0.2.3</version>
   <packaging>eclipse-plugin</packaging>
 
   <build>

diff --git a/trunk/source/AutomatonDeltaDebugger/META-INF/MANIFEST.MF b/trunk/source/AutomatonDeltaDebugger/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Automaton Delta Debugger
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.analysis.automatondeltadebugger;singleton:=true
-Bundle-Version: 0.2.2
+Bundle-Version: 0.2.3
 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
@@ -31,12 +31,12 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.2.2</version>
+		<version>0.2.3</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.plugins.analysis.automatondeltadebugger</artifactId>
-	<version>0.2.2</version>
+	<version>0.2.3</version>
 	<packaging>eclipse-plugin</packaging>
 
 </project>
diff --git a/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml b/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="BA_FeatureDependenciesCommandlineE4"
       label="BA_FeatureDependenciesCommandlineE4"
-      version="0.2.2"
+      version="0.2.3"
       arch="x86_64">
 
    <description url="http://www.example.com/description">

diff --git a/trunk/source/BA_FeatureDependenciesCommandlineE4/pom.xml b/trunk/source/BA_FeatureDependenciesCommandlineE4/pom.xml
@@ -4,11 +4,11 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.2.2</version>
+		<version>0.2.3</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
   <artifactId>BA_FeatureDependenciesCommandlineE4</artifactId>
-  <version>0.2.2</version>
+  <version>0.2.3</version>
   <packaging>eclipse-feature</packaging>
 </project>
diff --git a/trunk/source/BA_FeatureDependenciesCommon/feature.xml b/trunk/source/BA_FeatureDependenciesCommon/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="BA_FeatureDependenciesCommon"
       label="BA_FeatureDependenciesCommon"
-      version="0.2.2"
+      version="0.2.3"
       arch="x86_64">
 
    <description url="http://www.example.com/description">

diff --git a/trunk/source/BA_FeatureDependenciesCommon/pom.xml b/trunk/source/BA_FeatureDependenciesCommon/pom.xml
@@ -4,11 +4,11 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.2.2</version>
+		<version>0.2.3</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
   <artifactId>BA_FeatureDependenciesCommon</artifactId>
-  <version>0.2.2</version>
+  <version>0.2.3</version>
   <packaging>eclipse-feature</packaging>
 </project>
diff --git a/trunk/source/BA_FeatureDependenciesDebugE4/feature.xml b/trunk/source/BA_FeatureDependenciesDebugE4/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="BA_FeatureDependenciesDebugE4"
       label="BA_FeatureDependenciesDebugE4"
-      version="0.2.2"
+      version="0.2.3"
       arch="x86_64">
 
    <description url="http://www.example.com/description">

diff --git a/trunk/source/BA_FeatureDependenciesDebugE4/pom.xml b/trunk/source/BA_FeatureDependenciesDebugE4/pom.xml
@@ -4,11 +4,11 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.2.2</version>
+		<version>0.2.3</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
   <artifactId>BA_FeatureDependenciesDebugE4</artifactId>
-  <version>0.2.2</version>
+  <version>0.2.3</version>
   <packaging>eclipse-feature</packaging>
 </project>
diff --git a/trunk/source/BA_FeatureUltimateCommandLine/feature.xml b/trunk/source/BA_FeatureUltimateCommandLine/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="BA_FeatureUltimateCommandLine"
       label="BA_FeatureUltimateCommandLine"
-      version="0.2.2"
+      version="0.2.3"
       arch="x86_64">
 
    <requires>

diff --git a/trunk/source/BA_FeatureUltimateCommandLine/pom.xml b/trunk/source/BA_FeatureUltimateCommandLine/pom.xml
@@ -4,7 +4,7 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.2.2</version>
+		<version>0.2.3</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 

diff --git a/trunk/source/BA_FeatureUltimateCommon/feature.xml b/trunk/source/BA_FeatureUltimateCommon/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="BA_FeatureUltimateCommon"
       label="BA_FeatureUltimateCommon"
-      version="0.2.2"
+      version="0.2.3"
       os="linux,win32,macosx"
       arch="x86_64">
 

diff --git a/trunk/source/BA_FeatureUltimateCommon/pom.xml b/trunk/source/BA_FeatureUltimateCommon/pom.xml
@@ -6,7 +6,7 @@
 	<parent>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
 		<artifactId>mavenparent</artifactId>
-		<version>0.2.2</version>
+		<version>0.2.3</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 

diff --git a/trunk/source/BA_FeatureUltimateDebug/feature.xml b/trunk/source/BA_FeatureUltimateDebug/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="BA_FeatureUltimateDebug"
       label="BA_FeatureUltimateDebug"
-      version="0.2.2"
+      version="0.2.3"
       os="linux,win32"
       arch="x86_64">
 

diff --git a/trunk/source/BA_FeatureUltimateDebug/pom.xml b/trunk/source/BA_FeatureUltimateDebug/pom.xml
@@ -6,7 +6,7 @@
 	<parent>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
 		<artifactId>mavenparent</artifactId>
-		<version>0.2.2</version>
+		<version>0.2.3</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 

diff --git a/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml b/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="BA_FeatureUltimateDeltaDebugger"
       label="BA_FeatureUltimateDeltaDebugger"
-      version="0.2.2">
+      version="0.2.3">
 
    <requires>
       <import feature="BA_FeatureDependenciesCommandlineE4"/>

diff --git a/trunk/source/BA_FeatureUltimateDeltaDebugger/pom.xml b/trunk/source/BA_FeatureUltimateDeltaDebugger/pom.xml
@@ -4,7 +4,7 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.2.2</version>
+		<version>0.2.3</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 

diff --git a/trunk/source/BA_FeatureUltimateWebbridge/feature.xml b/trunk/source/BA_FeatureUltimateWebbridge/feature.xml
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <feature
       id="BA_FeatureUltimateWebbridge"
-      version="0.2.2">
+      version="0.2.3">
 
    <plugin
          id="de.uni_freiburg.informatik.ultimate.webbridge"

diff --git a/trunk/source/BA_FeatureUltimateWebbridge/pom.xml b/trunk/source/BA_FeatureUltimateWebbridge/pom.xml
@@ -4,7 +4,7 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.2.2</version>
+		<version>0.2.3</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 

diff --git a/trunk/source/BA_MavenParentUltimate/pom.xml b/trunk/source/BA_MavenParentUltimate/pom.xml
@@ -4,7 +4,7 @@
 	<modelVersion>4.0.0</modelVersion>
 	<groupId>de.uni_freiburg.informatik.ultimate</groupId>
 	<artifactId>mavenparent</artifactId>
-	<version>0.2.2</version>
+	<version>0.2.3</version>
 	<packaging>pom</packaging>
 
 	<name>Ultimate</name>
@@ -16,7 +16,7 @@
 	</scm>
 
 	<properties>
-		<ultimate-version>0.2.2</ultimate-version>
+		<ultimate-version>0.2.3</ultimate-version>
 
 		<!-- maven plugin versions -->
 		<!-- https://mvnrepository.com/artifact/org.eclipse.tycho/tycho-core -->

diff --git a/trunk/source/BA_SiteRepository/CLI-E4.product b/trunk/source/BA_SiteRepository/CLI-E4.product
@@ -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.2" 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.3" useFeatures="true" includeLaunchers="true">
 
    <aboutInfo>
       <text>

diff --git a/trunk/source/BA_SiteRepository/Debug-E4.product b/trunk/source/BA_SiteRepository/Debug-E4.product
@@ -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.2" 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.3" useFeatures="true" includeLaunchers="true">
 
    <aboutInfo>
       <image path="/CoreRCP/icons/about.gif"/>
@@ -40,10 +40,10 @@
    </plugins>
 
    <features>
-      <feature id="BA_FeatureDependenciesCommon" version="0.2.2"/>
-      <feature id="BA_FeatureDependenciesDebugE4" version="0.2.2"/>
-      <feature id="BA_FeatureUltimateCommon" version="0.2.2"/>
-      <feature id="BA_FeatureUltimateDebug" version="0.2.2"/>
+      <feature id="BA_FeatureDependenciesCommon" version="0.2.3"/>
+      <feature id="BA_FeatureDependenciesDebugE4" version="0.2.3"/>
+      <feature id="BA_FeatureUltimateCommon" version="0.2.3"/>
+      <feature id="BA_FeatureUltimateDebug" version="0.2.3"/>
    </features>
 
    <configurations>

diff --git a/trunk/source/BA_SiteRepository/DeltaDebugger.product b/trunk/source/BA_SiteRepository/DeltaDebugger.product
@@ -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.2" 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.3" useFeatures="true" includeLaunchers="true">
 
    <aboutInfo>
       <text>
@@ -43,9 +43,9 @@
    </plugins>
 
    <features>
-      <feature id="BA_FeatureDependenciesCommandlineE4" version="0.2.2"/>
-      <feature id="BA_FeatureUltimateDeltaDebugger" version="0.2.2"/>
-      <feature id="BA_FeatureUltimateCommon" version="0.2.2"/>
+      <feature id="BA_FeatureDependenciesCommandlineE4" version="0.2.3"/>
+      <feature id="BA_FeatureUltimateDeltaDebugger" version="0.2.3"/>
+      <feature id="BA_FeatureUltimateCommon" version="0.2.3"/>
       <feature id="BA_FeatureDependenciesCommon" installMode="root"/>
    </features>