Started 21 days ago
Took 30 sec on master

Success Build The VDM Interpreter (Mar 16, 2020 9:44:27 PM)

Build Artifacts
interpreter-2.7.4-javadoc.jar2.06 MB view
interpreter-2.7.4.jar730.49 KB view
interpreter-2.7.4.pom2.22 KB view
Changes
  1. [maven-release-plugin] prepare for next development iteration (commit: 2412c37) (details)
  2. Corrected retrieval of nat values to allow 0 (commit: ab0e2dc) (details)
  3. Added stack overflow handing, fixes #709 (commit: c29570c) (details)
  4. More sensible file handling in CommandReader (commit: bdedb54) (details)
  5. Improved stack overflow handling, fixes #709 (commit: 3ead045) (details)
  6. Improved stack overflow stack printing, fixes #709 (commit: b5fcc49) (details)
  7. Fix #ifdef processing and move to properties, fixes #710 (commit: 3ce9276) (details)
  8. Add checks for reserved word prefixes in definition names, fixes #711 (commit: 348313a) (details)
  9. Correction to seq comprehensions to use "bind", see #692 (commit: 699e976) (details)
  10. Correctly order type-bind generated invariant values, see #692 (commit: 51351ae) (details)
  11. Check for nil values in InvariantValue equalities, fixes #717 (commit: 9940f68) (details)
  12. [maven-release-plugin] prepare release Release/2.7.4 (commit: ded1ba6) (details)
Changes in dependency
  1. Test Framework for Overture Success#27Success#28 (detail)
  2. Core Tools Success#27Success#28 (detail)
  3. The VDM Type Checker Success#27Success#28 (detail)
  4. The VDM parser Success#27Success#28 (detail)
  5. The Proof Obligation Generator Success#27Success#28 (detail)
  6. The Overture Tool Platform root Success#27Success#28 (detail)
  7. The VDM Pretty Printer Success#27Success#28 (detail)
  8. The Overture Abstract Syntax Tree Success#27Success#28 (detail)
  9. Overture Testing Framework Success#27Success#28 (detail)
Test Result (no failures)