Skip to content
Jenkins
log in
Jenkins
overture-graphics-development
org.overturetool.ide.overturegraphics.linux.x86_64
#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
1 min 10 sec
on master
Build #35 (Feb 6, 2017 10:10:25 AM)
Build Artifacts
org.overturetool.ide.overturegraphics.linux.x86_64-1.1.3-SNAPSHOT-p2artifacts.xml
645 B
view
org.overturetool.ide.overturegraphics.linux.x86_64-1.1.3-SNAPSHOT-p2metadata.xml
2.01 KB
view
org.overturetool.ide.overturegraphics.linux.x86_64-1.1.3-SNAPSHOT.jar
70.81 MB
view
org.overturetool.ide.overturegraphics.linux.x86_64-1.1.3-SNAPSHOT.pom
1.42 KB
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
)