Started 5 mo 27 days ago
Took 39 sec on master

Success Build The VDM Interpreter (Feb 12, 2020 7:04:39 PM)

  1. Added stack overflow handing, fixes #709 (commit: c29570c) (details)
  2. More sensible file handling in CommandReader (commit: bdedb54) (details)
  3. Improved stack overflow handling, fixes #709 (commit: 3ead045) (details)
  4. Improved stack overflow stack printing, fixes #709 (commit: b5fcc49) (details)
  5. Fix #ifdef processing and move to properties, fixes #710 (commit: 3ce9276) (details)
  6. Add checks for reserved word prefixes in definition names, fixes #711 (commit: 348313a) (details)
  7. Correction to seq comprehensions to use "bind", see #692 (commit: 699e976) (details)
  8. Correctly order type-bind generated invariant values, see #692 (commit: 51351ae) (details)
Task Scanner: 86 open tasks in 310 workspace files.
    Test Result (no failures)