Started 5 mo 28 days ago
Took 47 sec on master

Unstable Build The VDM Type Checker (Feb 12, 2020 7:04:39 PM)

  1. Correct recursive type check for function types, fixes #707 (commit: 59b42cc) (details)
  2. Add checks for reserved word prefixes in definition names, fixes #711 (commit: 348313a) (details)
  3. Added warning for TypeComparator with ParameterTypes, fixes #562 (commit: 277c1b9) (details)
  4. Added coprights to ParameterFinder (commit: b19f3f9) (details)
  5. Allow state records to be imported as types (commit: aba0f48) (details)
  6. Fix check for exit statements, fixes #14 (commit: b6bcf40) (details)
  7. More fixes for #14 (commit: af5a48c) (details)
  8. Small fix for measure expressions, see #15 (commit: f5a67a6) (details)
  9. First cut changes for mutual recursive TCs, fixes #15 (commit: 228447e) (details)
  10. Better resolution of apply function names, fixes #15 (commit: f8fa46c) (details)
  11. Exit detection understands "is not yet specified" (commit: 837029a) (details)
  12. Added extra checks for exceptions, searching expressions. See #14 (commit: f11015a) (details)
  13. Some corrections to mutual recursion checking, #15 (commit: c357576) (details)
  14. Add a depth limit to recursive cycle searching, see #15 (commit: d2ee23f) (details)
  15. Add expression and bind checks to exception checking, see #14 (commit: 62ab12e) (details)
  16. Correction to seq comprehensions to use "bind", see #692 (commit: 699e976) (details)
  17. Correctly order type-bind generated invariant values, see #692 (commit: 51351ae) (details)
Task Scanner: 62 open tasks in 150 workspace files.
Test Result (4 failures / +4)