Skip to content
Jenkins
log in
Jenkins
overture-graphics-development
Overture Graphics IDE Eclipse repository
#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
1 min 44 sec
on master
Build #35 (Feb 6, 2017 10:10:25 AM)
Build Artifacts
org.overturetool.graphics.ide.repository-1.1.3-SNAPSHOT-p2artifacts.xml
100 B
view
org.overturetool.graphics.ide.repository-1.1.3-SNAPSHOT-p2metadata.xml
1.09 KB
view
org.overturetool.graphics.ide.repository-1.1.3-SNAPSHOT.pom
1011 B
view
org.overturetool.graphics.ide.repository-1.1.3-SNAPSHOT.zip
400.50 MB
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
)