Started 1 yr 6 mo ago
Took 42 sec on master

Success Build The VDM Type Checker (Oct 30, 2020 5:22:10 PM)

  1. Fix the type definitions for pre and post conditions, fixes #740 (commit: e5b2e9f) (details)
  2. Use re-stated types in definition imports (see #760) (commit: bd2643b) (details)
Changes in dependency
  1. The Overture Abstract Syntax Tree Success#276Success#277 (detail)
  2. Test Framework for Overture Success#276Success#277 (detail)
  3. The VDM parser Success#276Success#277 (detail)
Task Scanner: 61 open tasks in 150 workspace files.
    Test Result (no failures)