Skip to content
Jenkins
log in
Jenkins
overture-graphics-development
org.overturetool.ide.overturegraphics.win32.win64
#35
ENABLE AUTO REFRESH
Back to Project
Status
Changes
Console Output
View Build Information
Executed Mojos
See Fingerprints
Embeddable Build Status
Previous Build
Next Build
Started 3 yr 11 mo ago
Took
1 min 20 sec
on master
Build #35 (Feb 6, 2017 10:10:25 AM)
Build Artifacts
org.overturetool.ide.overturegraphics.win32.win64-1.1.3-SNAPSHOT-p2artifacts.xml
643 B
view
org.overturetool.ide.overturegraphics.win32.win64-1.1.3-SNAPSHOT-p2metadata.xml
2.00 KB
view
org.overturetool.ide.overturegraphics.win32.win64-1.1.3-SNAPSHOT.jar
82.30 MB
view
org.overturetool.ide.overturegraphics.win32.win64-1.1.3-SNAPSHOT.pom
1.42 KB
view
No changes. Changes in dependency
The Proof Obligation Generator
? →
(
detail
)
The VDM Interpreter
? →
(
detail
)
The Overture Abstract Syntax Tree
? →
(
detail
)
The VDM parser
? →
(
detail
)
The VDM Type Checker
? →
(
detail
)