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 between #27 and #28

#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