Skip to content
Jenkins
log in
Jenkins
overture-graphics-development
org.overturetool.ide.overturegraphics.macosx.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 5 yr 11 mo ago
Took
2 min 4 sec
on master
Build #35 (Feb 6, 2017 10:10:25 AM)
Build Artifacts
org.overturetool.ide.overturegraphics.macosx.x86_64-1.1.3-SNAPSHOT-p2artifacts.xml
649 B
view
org.overturetool.ide.overturegraphics.macosx.x86_64-1.1.3-SNAPSHOT-p2metadata.xml
2.02 KB
view
org.overturetool.ide.overturegraphics.macosx.x86_64-1.1.3-SNAPSHOT.jar
144.52 MB
view
org.overturetool.ide.overturegraphics.macosx.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
)