Started 3 yr 6 mo ago
Took 45 sec on master

Success Build org.overturetool.ide.overturegraphics.win32.win32 (Feb 6, 2017 10:00:01 AM)

Build Artifacts
org.overturetool.ide.overturegraphics.win32.win32-1.1.2-p2artifacts.xml621 B view
org.overturetool.ide.overturegraphics.win32.win32-1.1.2-p2metadata.xml1.91 KB view
org.overturetool.ide.overturegraphics.win32.win32-1.1.2.jar71.54 MB view
org.overturetool.ide.overturegraphics.win32.win32-1.1.2.pom1.41 KB view
No changes. Changes in dependency
  1. The Overture Abstract Syntax Tree  ? → (detail)
  2. The VDM Type Checker  ? → (detail)
  3. The Proof Obligation Generator  ? → (detail)
  4. The VDM parser  ? → (detail)
  5. The VDM Interpreter  ? → (detail)
  6. Overture Graphics Plugin Success#4Success#5 (detail)