Skip to content

Commit 863304a

Browse files
danieldietschdanieldietsch
committed
update versions to 0.2.3 for new release
1 parent 2329fc7 commit 863304a

File tree

227 files changed

+330
-330
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

227 files changed

+330
-330
lines changed

‎trunk/source/ACSLParser/META-INF/MANIFEST.MF‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
22
Bundle-ManifestVersion: 2
33
Bundle-Name: ACSLParser
44
Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.acsl.parser;singleton:=true
5-
Bundle-Version: 0.2.2
5+
Bundle-Version: 0.2.3
66
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
77
Export-Package: de.uni_freiburg.informatik.ultimate.acsl.parser,
88
de.uni_freiburg.informatik.ultimate.model.acsl,

‎trunk/source/ACSLParser/pom.xml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -32,7 +32,7 @@
3232
<parent>
3333
<artifactId>mavenparent</artifactId>
3434
<groupId>de.uni_freiburg.informatik.ultimate</groupId>
35-
<version>0.2.2</version>
35+
<version>0.2.3</version>
3636
<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
3737
</parent>
3838

‎trunk/source/ASTBuilder/META-INF/MANIFEST.MF‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
22
Bundle-ManifestVersion: 2
33
Bundle-Name: ASTBuilder
44
Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.astbuilder
5-
Bundle-Version: 0.2.2
5+
Bundle-Version: 0.2.3
66
Require-Bundle: com.github.jhoenicke.javacup
77
Export-Package: de.uni_freiburg.informatik.ultimate.astbuilder
88
Bundle-RequiredExecutionEnvironment: JavaSE-1.8

‎trunk/source/ASTBuilder/pom.xml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,7 @@
3535
<parent>
3636
<groupId>de.uni_freiburg.informatik.ultimate</groupId>
3737
<artifactId>mavenparent</artifactId>
38-
<version>0.2.2</version>
38+
<version>0.2.3</version>
3939
<relativePath>../BA_MavenParentUltimate</relativePath>
4040
</parent>
4141

‎trunk/source/AbstractInterpretationV2/META-INF/MANIFEST.MF‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
22
Bundle-ManifestVersion: 2
33
Bundle-Name: AbstractInterpretation
44
Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2;singleton:=true
5-
Bundle-Version: 0.2.2
5+
Bundle-Version: 0.2.3
66
Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
77
de.uni_freiburg.informatik.ultimate.lib.smtlib,
88
de.uni_freiburg.informatik.ultimate.lib.smtlibutils,

‎trunk/source/AbstractInterpretationV2/pom.xml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -31,12 +31,12 @@
3131
<parent>
3232
<artifactId>mavenparent</artifactId>
3333
<groupId>de.uni_freiburg.informatik.ultimate</groupId>
34-
<version>0.2.2</version>
34+
<version>0.2.3</version>
3535
<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
3636
</parent>
3737

3838
<artifactId>de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2</artifactId>
39-
<version>0.2.2</version>
39+
<version>0.2.3</version>
4040
<packaging>eclipse-plugin</packaging>
4141

4242
</project>

‎trunk/source/AbstractInterpretationV2Test/META-INF/MANIFEST.MF‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
22
Bundle-ManifestVersion: 2
33
Bundle-Name: AbstractInterpretationV2Test
44
Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2.test
5-
Bundle-Version: 0.2.2
5+
Bundle-Version: 0.2.3
66
Fragment-Host: de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2
77
Bundle-RequiredExecutionEnvironment: JavaSE-11
88
Require-Bundle: de.uni_freiburg.informatik.ultimate.core,

‎trunk/source/AbstractInterpretationV2Test/pom.xml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,7 @@
3535
<parent>
3636
<artifactId>mavenparent</artifactId>
3737
<groupId>de.uni_freiburg.informatik.ultimate</groupId>
38-
<version>0.2.2</version>
38+
<version>0.2.3</version>
3939
<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
4040
</parent>
4141
</project>

‎trunk/source/AutomataScriptInterpreter/META-INF/MANIFEST.MF‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
22
Bundle-ManifestVersion: 2
33
Bundle-Name: AutomataScriptInterpreter
44
Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter;singleton:=true
5-
Bundle-Version: 0.2.2
5+
Bundle-Version: 0.2.3
66
Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.util,
77
de.uni_freiburg.informatik.ultimate.core,
88
de.uni_freiburg.informatik.ultimate.lib.core,

‎trunk/source/AutomataScriptInterpreter/pom.xml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -30,11 +30,11 @@
3030
<parent>
3131
<artifactId>mavenparent</artifactId>
3232
<groupId>de.uni_freiburg.informatik.ultimate</groupId>
33-
<version>0.2.2</version>
33+
<version>0.2.3</version>
3434
<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
3535
</parent>
3636

3737
<artifactId>de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter</artifactId>
38-
<version>0.2.2</version>
38+
<version>0.2.3</version>
3939
<packaging>eclipse-plugin</packaging>
4040
</project>

0 commit comments

Comments
 (0)