Changes

Replaces the oxygen repositories with the 2019-12 ones
 (commit: 972e1fe)

Bumps the Eclipse version from 4.7 to 4.14.
 (commit: 45f6a8d)

Drops support to 32 bit versions.

According to:

https://www.eclipse.org/eclipse/news/4.10/platform.php#java32-removal

from 4.10 on "Eclipse and eclipse based applications no longer run on
32 bit platforms or 32 bit JVM. Only 64-bit platforms/JVM are supported."
 (commit: babf8a6)

Replaces direct usage of Equinox DS bundle

According to:

https://help.eclipse.org/2018-12/topic/org.eclipse.platform.doc.isv/porting/4.10/recommended.html?cp=2_3_1_3#EquinoxDS_to_FelixSCR

from 4.10 on org.apache.felix.scr substitutes org.eclipse.equinox.ds.
 (commit: 1b8095b)

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

Bump ide/ to version 2.7.5-SNAPSHOT
 (commit: 2a9fecf)

Do not report mutual recursion via pre/post expressions, fixes #719
 (commit: 009b8d6)

Correct check for cyclic recursion, fixes #720
 (commit: 4db56b7)

Update test results for recursive cycle check
 (commit: 1170f28)

Fixes #721

Adds project subfolders to the path when converting the full debugging URI path
to a file name that must be found relative to the project path.
 (commit: 41d4542)

Set module name for min/max parameters, fixes #722
 (commit: 92aa706)

Added union order override warnings, fixes #723
 (commit: c30d266)

Check for numeric types with unary + and -, fixes #724
 (commit: 33a4bc1)

Added Serializable to LexComment, fixes #725
 (commit: 7488a48)

Relativizes URI to the project files location. Fixes #721.

Previous correction worked only for projects stored under a workspace,
because it used the workspace folder location to relativize file paths.

In case a user imports projects and maintains the files in another
location outside the Eclipse workspace folder, this fix provides the
appropriate paths.
 (commit: 95a823a)

Adds outlines of VDM-SL AModuleModules AST nodes

As per 4f28f932a8da298aba5c013635c665751035e576 a bad offset index
exception occurs for AST nodes that were not added to AstLocationSearcher. This
commit adds a kind of node that was missing, and that @nickbattle found while
testing the Eclipse 4.7 to 4.14 upgrade.
 (commit: 94fc7cb)

Updates copyright dates
 (commit: 1ea05fd)

Accomodates suggested problem resolution
 (commit: 8fd05a4)

Check sequence apply expression for seq(0), fixes #726
 (commit: 092763f)

Don't define a RESULT symbol for void explicit operation postconditions,
fixes #727
 (commit: 348dfe8)

Fix maps with invariant typed domains, fixes #731
 (commit: b265cea)

Add a hashCode to InvariantValue to return a constant for
equality-enabled values, fixes #731
 (commit: 6a89546)

Removes the resetting of enabled status for breakpoints

The SkipAllBreakpoints mode was reset at each debug launch because of
this line. Found together with @prasadtalasila.
 (commit: aedace4)

Provide more accurate error location for predicates, fixes #732
 (commit: 8ca5489)

Upgrades vulnerable dep
 (commit: c2119a9)

Adds logo to Welcome page
 (commit: c57d5af)

Removes the setting of SkipAllBreakpoints on non Debug Launches
 (commit: 91453bd)

Updates the copyright
 (commit: 0b6f495)

Disables breakpoints on non-debug launches
 (commit: a15548b)

Adds a Debug VDM perspective

The Overture debug layout is different from the one in Eclipse Debug UI.

With this perspective the users are able to match the Debug VDM
perspective displayed views with the screenshots in the training
materials.
 (commit: 989a70c)

Indents xml
 (commit: 7b53e3c)

Bump version number
 (commit: 185e89d)

Prints prompt only when the interpreter sends the evaluation result
 (commit: 1afdbcd)

Waits for result of coverage and prints message Fixes #716
 (commit: 134c0be)

Fix RecordValue.compareTo to call super.compareTo for different types,
fixes #734
 (commit: a84093c)

Brings the VDM console of a launch to the front of the view

When a launch is made requesting an interactive session, the VDM console
does not always appear in the Eclipse console view. Instead the
Interpreter console is shown. This commit introduces a bring to front
call after the Interpreter has connected, thus its console should be
moved to the back.
 (commit: 1e83f91)

Adds support for DBGP messages and Rmoves dead code

Some answers in the DBGP neither contain a property element nor a
success attribute, thus list is Null.
 (commit: a46e1d4)

Checks whether the DBGP response has a value to print

Some of the commands executed in the launched interpreter return no
property value. (For instance a quit)
 (commit: 7ef5f51)

Calls coverage before terminating the interpreter

Sorts a race condition where the interpreter would receive a stop
command and shut before the coverage was completely processed by the
debug plugin.

It could be squashed with 134c0be847a9f1b9aa2def2b336692d95fe36361 as it
is part of the fix.
 (commit: 4f23db6)

Bump examples changes
 (commit: 509904f)

Merges external documentation submodule
 (commit: 03c5f3e)

Fix condition

In case there is an exception coverage is not written
 (commit: 0dee778)

Show VdmDebugConsole on top in the View

The console gets hidden behind the Interpreter one that is blank. This
commit moves towards a solution. Unfortunately in the case the
Interpreter console is pinned or there is a write to the out or error
of it, the VdmDebugConsole will not be visible.
 (commit: 52901b2)

Moves the console for the current process to the front
 (commit: d945c81)

Adds release note
 (commit: 1ddce8d)

Bump versions
 (commit: e380028)

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

Bump ide/ to version 3.0.0
 (commit: c179d6b)