Build #29 (Aug 28, 2020 1:48:58 PM)

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

Started by user idhugoid

• refs/remotes/origin/master