collapse
100%
WDescription%
Test Result: 0 tests failing out of a total of 2,477 tests.100
Build stability: No recent builds failed.100
Build History
x
 6 MB
 6 MB

Changes

#30 (Nov 10, 2020 4:22:11 PM)

  1. Changes the interpreter startup (commit: e7a1016) — idhugoid / githubweb
  2. [maven-release-plugin] prepare for next development iteration (commit: 42ea313) — idhugoid / githubweb
  3. Prevent looping type resolution, fixes #735 (commit: b576a75) — nick.battle / githubweb
  4. Better approach to recursive type resolution errors, fixes #735 (commit: 05d176e) — nick.battle / githubweb
  5. Replaces the 2019-12 repositories with the 2020-09 ones (commit: 596cf18) — idhugoid / githubweb
  6. BUMPS the Eclipse version from 2019-12 to 2020-09 (commit: 4191f2c) — idhugoid / githubweb
  7. Upgrades Tycho version (commit: d544553) — idhugoid / githubweb
  8. Put let RHS functional checks within -strict flag (commit: 8791e1f) — nick.battle / githubweb
  9. Adds strict option to the launch configuration (commit: 915dddc) — idhugoid / githubweb
  10. Adds strict flag parsing to the interpreter command line (commit: db2d546) — idhugoid / githubweb
  11. Adds use let def strict option to the project properties (commit: bca2a6a) — idhugoid / githubweb
  12. Change warning number for let def impure operations (commit: f762e74) — nick.battle / githubweb
  13. Added warnings for threadid, time and new expressions in function ctxts (commit: b9ea923) — nick.battle / githubweb
  14. Fix FunctionValue comparisons to cope with free variables, fixes #739 (commit: 56b873f) — nick.battle / githubweb
  15. Added warning for function value comparisons, fixes #739 (commit: 90c955f) — nick.battle / githubweb
  16. Changes message on project settings (commit: db9f31e) — idhugoid / githubweb
  17. Adds strict checking to the parser/tc settings (commit: e6f41cf) — idhugoid / githubweb
  18. Fixes a bug preventing the display of warnings (commit: 90e0da5) — idhugoid / githubweb
  19. Pass element type into typecheck of set comprehensions, fixes #728 (commit: 253f4ba) — nick.battle / githubweb
  20. Fix the type definitions for pre and post conditions, fixes #740 (commit: e5b2e9f) — nick.battle / githubweb
  21. Use re-stated types in definition imports (see #760) (commit: bd2643b) — nick.battle / githubweb
  22. Avoids sending an empty internal tag causing troubles in the response parsing (commit: f2b2a6a) — idhugoid / githubweb
  23. Resumes a single thread only (commit: 79517f0) — idhugoid / githubweb
  24. Updates the view when a thread is waiting (commit: 89d3ef8) — idhugoid / githubweb
  25. Check for invariant types when converting function values, fixes #761 (commit: b42facd) — nick.battle / githubweb
  26. Correct check of function parameter patterns and arguments, fixes #762 (commit: 656ece8) — nick.battle / githubweb
  27. Adds a check to avoid managing the console of external tools. Fixes #763 (commit: ab7de77) — idhugoid / githubweb
  28. Prepare Release 3.0.2 (commit: 0a7e3f3) — idhugoid / githubweb
  29. Adjusts versions (commit: 95e6f39) — idhugoid / githubweb
  30. [maven-release-plugin] prepare release Release/3.0.2 (commit: cafcbab) — idhugoid / githubweb

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

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