Skip to content
Jenkins
log in
Jenkins
overture-graphics-development
Overture IDE Eclipse graphics core feature
#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 6 yr 0 mo ago
Took
3.5 sec
on master
Build #35 (Feb 6, 2017 10:10:25 AM)
Build Artifacts
org.overturetool.graphics.ide.features.overturegraphics-1.1.3-SNAPSHOT-p2artifacts.xml
732 B
view
org.overturetool.graphics.ide.features.overturegraphics-1.1.3-SNAPSHOT-p2metadata.xml
7.79 KB
view
org.overturetool.graphics.ide.features.overturegraphics-1.1.3-SNAPSHOT.jar
5.10 KB
view
org.overturetool.graphics.ide.features.overturegraphics-1.1.3-SNAPSHOT.pom
661 B
view
No changes. Changes in dependency
The VDM parser
? →
(
detail
)
The VDM Interpreter
? →
(
detail
)
The Proof Obligation Generator
? →
(
detail
)
The Overture Abstract Syntax Tree
? →
(
detail
)
The VDM Type Checker
? →
(
detail
)