Skip to content

Commit

Permalink
Merge branch 'release'
Browse files Browse the repository at this point in the history
  • Loading branch information
@afterkelsen
afterkelsen committed Oct 7, 2015
2 parents 4beda4e + 1fee276 commit 26a7005
Show file tree
Hide file tree
Showing 145 changed files with 148 additions and 148 deletions.
2 changes: 1 addition & 1 deletion core/ast/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<groupId>org.overturetool</groupId>
<artifactId>core</artifactId>
<version>2.2.8</version>
<version>2.3.0</version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion core/codegen/codegen-maven-plugin/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<groupId>org.overturetool.core</groupId>
<artifactId>codegen</artifactId>
<version>2.2.8<!--Replaceable: Main Version--></version>
<version>2.3.0<!--Replaceable: Main Version--></version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion core/codegen/codegen-runtime/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<groupId>org.overturetool.core</groupId>
<artifactId>codegen</artifactId>
<version>2.2.8<!--Replaceable: Main Version--></version>
<version>2.3.0<!--Replaceable: Main Version--></version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion core/codegen/ir/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<groupId>org.overturetool.core</groupId>
<artifactId>codegen</artifactId>
<version>2.2.8<!--Replaceable: Main Version--></version>
<version>2.3.0<!--Replaceable: Main Version--></version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion core/codegen/javagen/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<groupId>org.overturetool.core</groupId>
<artifactId>codegen</artifactId>
<version>2.2.8<!--Replaceable: Main Version--></version>
<version>2.3.0<!--Replaceable: Main Version--></version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion core/codegen/platform/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<groupId>org.overturetool.core</groupId>
<artifactId>codegen</artifactId>
<version>2.2.8<!--Replaceable: Main Version--></version>
<version>2.3.0<!--Replaceable: Main Version--></version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion core/codegen/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<parent>
<artifactId>core</artifactId>
<groupId>org.overturetool</groupId>
<version>2.2.8</version>
<version>2.3.0</version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion core/codegen/vdm2jml/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<groupId>org.overturetool.core</groupId>
<artifactId>codegen</artifactId>
<version>2.2.8<!--Replaceable: Main Version--></version>
<version>2.3.0<!--Replaceable: Main Version--></version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion core/combinatorialtesting/ctruntime/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<groupId>org.overturetool.core</groupId>
<artifactId>combinatorialtesting</artifactId>
<version>2.2.8</version>
<version>2.3.0</version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion core/combinatorialtesting/ctutils/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<groupId>org.overturetool.core</groupId>
<artifactId>combinatorialtesting</artifactId>
<version>2.2.8</version>
<version>2.3.0</version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion core/combinatorialtesting/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<artifactId>core</artifactId>
<groupId>org.overturetool</groupId>
<version>2.2.8</version>
<version>2.3.0</version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion core/commandline/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<groupId>org.overturetool</groupId>
<artifactId>core</artifactId>
<version>2.2.8</version>
<version>2.3.0</version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion core/guibuilder/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<groupId>org.overturetool</groupId>
<artifactId>core</artifactId>
<version>2.2.8</version>
<version>2.3.0</version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion core/interpreter/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<groupId>org.overturetool</groupId>
<artifactId>core</artifactId>
<version>2.2.8</version>
<version>2.3.0</version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion core/modelcheckers/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<groupId>org.overturetool</groupId>
<artifactId>core</artifactId>
<version>2.2.8</version>
<version>2.3.0</version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion core/modelcheckers/probsolver/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<groupId>org.overturetool.core</groupId>
<artifactId>modelcheckers</artifactId>
<version>2.2.8</version>
<version>2.3.0</version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion core/modelcheckers/probsolverintegration/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<groupId>org.overturetool.core</groupId>
<artifactId>modelcheckers</artifactId>
<version>2.2.8</version>
<version>2.3.0</version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion core/parser/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<groupId>org.overturetool</groupId>
<artifactId>core</artifactId>
<version>2.2.8</version>
<version>2.3.0</version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion core/pog/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<groupId>org.overturetool</groupId>
<artifactId>core</artifactId>
<version>2.2.8</version>
<version>2.3.0</version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion core/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<groupId>org.overturetool</groupId>
<artifactId>root</artifactId>
<version>2.2.8</version>
<version>2.3.0</version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion core/prettyprinting/npp/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<groupId>org.overturetool.core</groupId>
<artifactId>prettyprinting</artifactId>
<version>2.2.8</version>
<version>2.3.0</version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion core/prettyprinting/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<groupId>org.overturetool</groupId>
<artifactId>core</artifactId>
<version>2.2.8</version>
<version>2.3.0</version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion core/prettyprinting/prettyprinter/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<groupId>org.overturetool.core</groupId>
<artifactId>prettyprinting</artifactId>
<version>2.2.8</version>
<version>2.3.0</version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion core/testframework/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<groupId>org.overturetool</groupId>
<artifactId>core</artifactId>
<version>2.2.8</version>
<version>2.3.0</version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion core/testing/exsupport/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<groupId>org.overturetool.core</groupId>
<artifactId>testing</artifactId>
<version>2.2.8</version>
<version>2.3.0</version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion core/testing/extests/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<groupId>org.overturetool.core</groupId>
<artifactId>testing</artifactId>
<version>2.2.8</version>
<version>2.3.0</version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion core/testing/framework/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<groupId>org.overturetool.core</groupId>
<artifactId>testing</artifactId>
<version>2.2.8</version>
<version>2.3.0</version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion core/testing/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<groupId>org.overturetool</groupId>
<artifactId>core</artifactId>
<version>2.2.8</version>
<version>2.3.0</version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion core/testing/tests/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<groupId>org.overturetool.core</groupId>
<artifactId>testing</artifactId>
<version>2.2.8</version>
<version>2.3.0</version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion core/typechecker/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<groupId>org.overturetool</groupId>
<artifactId>core</artifactId>
<version>2.2.8</version>
<version>2.3.0</version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
4 changes: 2 additions & 2 deletions ...tation/releasenotes/ReleaseNotes_2.2.8.md → ...tation/releasenotes/ReleaseNotes_2.3.0.md
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# Overture 2.2.8 Release Notes — 7 October 2015
# Overture 2.3.0 Release Notes — 7 October 2015

## What's New?

Expand Down Expand Up @@ -83,7 +83,7 @@ If you encounter a problem with a VDM specification, please try to make a small

## Bugfixes

Please note that the interactive list is at <https://github.com/overturetool/overture/issues?q=milestone%3Av2.2.8>
Please note that the interactive list is at <https://github.com/overturetool/overture/issues?q=milestone%3Av2.3.0>

* [#459 Type invariant violation incorrectly reported for the state type](https://github.com/overturetool/overture/issues/459)
* [#455 POG crash for atomic statements in VDM-SL](https://github.com/overturetool/overture/issues/455)
Expand Down
4 changes: 2 additions & 2 deletions ...releasenotes/ReleaseNotes_2.2.8_abbrev.md → ...releasenotes/ReleaseNotes_2.3.0_abbrev.md
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# Overture 2.2.8 Release Notes — 7 October 2015
# Overture 2.3.0 Release Notes — 7 October 2015

## What's New?

Expand Down Expand Up @@ -35,7 +35,7 @@ If you encounter a problem with a VDM specification, please try to make a small

## Bug fixes

Please note that the interactive list is at <https://github.com/overturetool/overture/issues?q=milestone%3Av2.2.8>
Please note that the interactive list is at <https://github.com/overturetool/overture/issues?q=milestone%3Av2.3.0>

* [#459 Type invariant violation incorrectly reported for the state type](https://github.com/overturetool/overture/issues/459)
* [#455 POG crash for atomic statements in VDM-SL](https://github.com/overturetool/overture/issues/455)
Expand Down
2 changes: 1 addition & 1 deletion externals/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<groupId>org.overturetool</groupId>
<artifactId>root</artifactId>
<version>2.2.8</version>
<version>2.3.0</version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion ide/builders/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<parent>
<groupId>org.overturetool</groupId>
<artifactId>ide</artifactId>
<version>2.2.8</version>
<version>2.3.0</version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion ide/builders/vdmj/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
Manifest-Version: 1.0
Bundle-Vendor: Overture
Bundle-ActivationPolicy: lazy
Bundle-Version: 2.2.8
Bundle-Version: 2.3.0
Eclipse-BuddyPolicy: registered
Eclipse-BundleShape: dir
Bundle-Localization: plugin
Expand Down
2 changes: 1 addition & 1 deletion ide/builders/vdmj/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<parent>
<groupId>org.overturetool.ide</groupId>
<artifactId>org.overture.ide.builders</artifactId>
<version>2.2.8</version>
<version>2.3.0</version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion ide/core/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
Manifest-Version: 1.0
Bundle-Vendor: Overture
Bundle-ActivationPolicy: lazy
Bundle-Version: 2.2.8
Bundle-Version: 2.3.0
Eclipse-BuddyPolicy: registered
Eclipse-BundleShape: dir
Bundle-Localization: plugin
Expand Down
2 changes: 1 addition & 1 deletion ide/core/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<parent>
<groupId>org.overturetool</groupId>
<artifactId>ide</artifactId>
<version>2.2.8</version>
<version>2.3.0</version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion ide/debug/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
Manifest-Version: 1.0
Bundle-Vendor: Overture
Bundle-Version: 2.2.8
Bundle-Version: 2.3.0
Eclipse-BuddyPolicy: registered
Eclipse-BundleShape: dir
Bundle-Localization: plugin
Expand Down
2 changes: 1 addition & 1 deletion ide/debug/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<parent>
<groupId>org.overturetool</groupId>
<artifactId>ide</artifactId>
<version>2.2.8</version>
<version>2.3.0</version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion ide/features/core/feature.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
<feature
id="org.overture.ide.features.core"
label="Overture Core"
version="2.2.8"
version="2.3.0"
plugin="org.overture.ide.platform">

<description>
Expand Down
2 changes: 1 addition & 1 deletion ide/features/core/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<parent>
<groupId>org.overturetool.ide</groupId>
<artifactId>features</artifactId>
<version>2.2.8</version>
<version>2.3.0</version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
2 changes: 1 addition & 1 deletion ide/features/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<parent>
<groupId>org.overturetool</groupId>
<artifactId>ide</artifactId>
<version>2.2.8</version>
<version>2.3.0</version>
<relativePath>../pom.xml</relativePath>
</parent>

Expand Down
Loading

0 comments on commit 26a7005

Please sign in to comment.