Up
collapse
100%
WDescription%
Test Result: 0 tests failing out of a total of 131 tests.100
Build stability: No recent builds failed.100
Build History
x
 130 KB
 130 KB

Changes

#29 (Aug 28, 2020 1:49:29 PM)

  1. [maven-release-plugin] prepare for next development iteration (commit: 2a9fecf) — idhugo / detail
  2. Do not report mutual recursion via pre/post expressions, fixes #719 (commit: 009b8d6) — nick.battle / detail
  3. Correct check for cyclic recursion, fixes #720 (commit: 4db56b7) — nick.battle / detail
  4. Update test results for recursive cycle check (commit: 1170f28) — nick.battle / detail
  5. Set module name for min/max parameters, fixes #722 (commit: 92aa706) — nick.battle / detail
  6. Added union order override warnings, fixes #723 (commit: c30d266) — nick.battle / detail
  7. Check for numeric types with unary + and -, fixes #724 (commit: 33a4bc1) — nick.battle / detail
  8. Check sequence apply expression for seq(0), fixes #726 (commit: 092763f) — nick.battle / detail
  9. Don't define a RESULT symbol for void explicit operation postconditions, (commit: 348dfe8) — nick.battle / detail
  10. Bump version number (commit: 185e89d) — idhugoid / detail
  11. [maven-release-plugin] prepare release Release/3.0.0 (commit: c179d6b) — idhugoid / detail

#28 (Mar 16, 2020 9:44:27 PM)

  1. [maven-release-plugin] prepare for next development iteration (commit: 2412c37) — Peter W. V. Tran-Jørgensen / detail
  2. Fix bug with import type mismatch with export (commit: 03c6582) — nick.battle / detail
  3. Suppress details as well as messages in VDMError when suspended (commit: b652fba) — nick.battle / detail
  4. Fix min_/max_ functions, fixes #706 (commit: c354db8) — nick.battle / detail
  5. Correct recursive type check for function types, fixes #707 (commit: 59b42cc) — nick.battle / detail
  6. Add checks for reserved word prefixes in definition names, fixes #711 (commit: 348313a) — nick.battle / detail
  7. Added warning for TypeComparator with ParameterTypes, fixes #562 (commit: 277c1b9) — nick.battle / detail
  8. Added coprights to ParameterFinder (commit: b19f3f9) — nick.battle / detail
  9. Allow state records to be imported as types (commit: aba0f48) — nick.battle / detail
  10. Fix check for exit statements, fixes #14 (commit: b6bcf40) — nick.battle / detail
  11. More fixes for #14 (commit: af5a48c) — nick.battle / detail
  12. Small fix for measure expressions, see #15 (commit: f5a67a6) — nick.battle / detail
  13. First cut changes for mutual recursive TCs, fixes #15 (commit: 228447e) — nick.battle / detail
  14. Better resolution of apply function names, fixes #15 (commit: f8fa46c) — nick.battle / detail
  15. Exit detection understands "is not yet specified" (commit: 837029a) — nick.battle / detail
  16. Added extra checks for exceptions, searching expressions. See #14 (commit: f11015a) — nick.battle / detail
  17. Some corrections to mutual recursion checking, #15 (commit: c357576) — nick.battle / detail
  18. Add a depth limit to recursive cycle searching, see #15 (commit: d2ee23f) — nick.battle / detail
  19. Add expression and bind checks to exception checking, see #14 (commit: 62ab12e) — nick.battle / detail
  20. Correction to seq comprehensions to use "bind", see #692 (commit: 699e976) — nick.battle / detail
  21. Correctly order type-bind generated invariant values, see #692 (commit: 51351ae) — nick.battle / detail
  22. [maven-release-plugin] prepare release Release/2.7.4 (commit: ded1ba6) — idhugo / detail