Changes

[maven-release-plugin] prepare for next development iteration

Bump ide/ to version 2.7.3-SNAPSHOT
 (commit: 2412c37)

Fix bug with import type mismatch with export
 (commit: 03c6582)

Corrected retrieval of nat values to allow 0
 (commit: ab0e2dc)

Suppress details as well as messages in VDMError when suspended
 (commit: b652fba)

Fix min_/max_ functions, fixes #706
 (commit: c354db8)

Correct recursive type check for function types, fixes #707
 (commit: 59b42cc)

Correct specification statement parse, fixes #708
 (commit: 98065ea)

Added stack overflow handing, fixes #709
 (commit: c29570c)

More sensible file handling in CommandReader
 (commit: bdedb54)

Improved stack overflow handling, fixes #709
 (commit: 3ead045)

Improved stack overflow stack printing, fixes #709
 (commit: b5fcc49)

Add annotations.debug property to debug annotation parsing
 (commit: b94246e)

Fix #ifdef processing and move to properties, fixes #710
 (commit: 3ce9276)

Add checks for reserved word prefixes in definition names, fixes #711
 (commit: 348313a)

Allow renamed function imports to use reserved prefixes, fixes #711
 (commit: 0f7f4cf)

Added warning for TypeComparator with ParameterTypes, fixes #562
 (commit: 277c1b9)

Added coprights to ParameterFinder
 (commit: b19f3f9)

Allow state records to be imported as types
 (commit: aba0f48)

Added #ifndef processing to LatexStreamReader
 (commit: 59da932)

Corrected toString for seq binds, fixes #651
 (commit: ce53cc1)

Added #ifndef keyword
 (commit: 34989bc)

Fix check for exit statements, fixes #14
 (commit: b6bcf40)

More fixes for #14
 (commit: af5a48c)

Small fix for measure expressions, see #15
 (commit: f5a67a6)

First cut changes for mutual recursive TCs, fixes #15
 (commit: 228447e)

Better resolution of apply function names, fixes #15
 (commit: f8fa46c)

Exit detection understands "is not yet specified"
 (commit: 837029a)

Added extra checks for exceptions, searching expressions. See #14
 (commit: f11015a)

Some corrections to mutual recursion checking, #15
 (commit: c357576)

Add a depth limit to recursive cycle searching, see #15
 (commit: d2ee23f)

Added some clones to TypeCompatabilityObligation, see #15
 (commit: 759f6ff)

Add expression and bind checks to exception checking, see #14
 (commit: 62ab12e)

Correction to seq comprehensions to use "bind", see #692
 (commit: 699e976)

Correctly order type-bind generated invariant values, see #692
 (commit: 51351ae)

Added IR nodes and cases for ASetPattern and AUnionPattern.
 (commit: b83f224)

Add "opaque" label to types' toString
 (commit: 9b578ac)

Change (opaque) label to /* opaque */
 (commit: b9a26fd)

Check for nil values in InvariantValue equalities, fixes #717
 (commit: 9940f68)

Adds Overture 2.7.4 release notes
 (commit: b987cb2)

Preparing the release of Overture 2.7.4
 (commit: a11b547)

Revert "Merge pull request #714 from SamieJim/js/ir"

This reverts commit 87e8945dbf2bc95bdd7ff9ffd90e784c9422cec4, reversing
changes made to 51351ae505504fd4bef82f2c2b0429c7bd876f42.

Those commits break the javagen tests according to issue #718
 (commit: 908057e)

[maven-release-plugin] prepare release Release/2.7.4

Bump ide/ to version 2.7.4
 (commit: ded1ba6)