Changes
Summary
- Replaces the oxygen repositories with the 2019-12 ones (commit: 972e1fe) (details)
- Bumps the Eclipse version from 4.7 to 4.14. (commit: 45f6a8d) (details)
- Drops support to 32 bit versions. (commit: babf8a6) (details)
- Replaces direct usage of Equinox DS bundle (commit: 1b8095b) (details)
- [maven-release-plugin] prepare for next development iteration (commit: 2a9fecf) (details)
- Do not report mutual recursion via pre/post expressions, fixes #719 (commit: 009b8d6) (details)
- Correct check for cyclic recursion, fixes #720 (commit: 4db56b7) (details)
- Update test results for recursive cycle check (commit: 1170f28) (details)
- Fixes #721 (commit: 41d4542) (details)
- Set module name for min/max parameters, fixes #722 (commit: 92aa706) (details)
- Added union order override warnings, fixes #723 (commit: c30d266) (details)
- Check for numeric types with unary + and -, fixes #724 (commit: 33a4bc1) (details)
- Added Serializable to LexComment, fixes #725 (commit: 7488a48) (details)
- Relativizes URI to the project files location. Fixes #721. (commit: 95a823a) (details)
- Adds outlines of VDM-SL AModuleModules AST nodes (commit: 94fc7cb) (details)
- Updates copyright dates (commit: 1ea05fd) (details)
- Accomodates suggested problem resolution (commit: 8fd05a4) (details)
- Check sequence apply expression for seq(0), fixes #726 (commit: 092763f) (details)
- Don't define a RESULT symbol for void explicit operation postconditions, (commit: 348dfe8) (details)
- Fix maps with invariant typed domains, fixes #731 (commit: b265cea) (details)
- Add a hashCode to InvariantValue to return a constant for (commit: 6a89546) (details)
- Removes the resetting of enabled status for breakpoints (commit: aedace4) (details)
- Provide more accurate error location for predicates, fixes #732 (commit: 8ca5489) (details)
- Upgrades vulnerable dep (commit: c2119a9) (details)
- Adds logo to Welcome page (commit: c57d5af) (details)
- Removes the setting of SkipAllBreakpoints on non Debug Launches (commit: 91453bd) (details)
- Updates the copyright (commit: 0b6f495) (details)
- Disables breakpoints on non-debug launches (commit: a15548b) (details)
- Adds a Debug VDM perspective (commit: 989a70c) (details)
- Indents xml (commit: 7b53e3c) (details)
- Bump version number (commit: 185e89d) (details)
- Prints prompt only when the interpreter sends the evaluation result (commit: 1afdbcd) (details)
- Waits for result of coverage and prints message Fixes #716 (commit: 134c0be) (details)
- Fix RecordValue.compareTo to call super.compareTo for different types, (commit: a84093c) (details)
- Brings the VDM console of a launch to the front of the view (commit: 1e83f91) (details)
- Adds support for DBGP messages and Rmoves dead code (commit: a46e1d4) (details)
- Checks whether the DBGP response has a value to print (commit: 7ef5f51) (details)
- Calls coverage before terminating the interpreter (commit: 4f23db6) (details)
- Bump examples changes (commit: 509904f) (details)
- Merges external documentation submodule (commit: 03c5f3e) (details)
- Fix condition (commit: 0dee778) (details)
- Show VdmDebugConsole on top in the View (commit: 52901b2) (details)
- Moves the console for the current process to the front (commit: d945c81) (details)
- Adds release note (commit: 1ddce8d) (details)
- Bump versions (commit: e380028) (details)
- [maven-release-plugin] prepare release Release/3.0.0 (commit: c179d6b) (details)