Skip to content
Jenkins
log in
Jenkins
All
overture-pvj-main
The VDM to Isabelle Translator
ENABLE AUTO REFRESH
Up
Status
Changes
Workspace
Embeddable Build Status
trend
W
Description
%
Test Result: 0 tests failing out of a total of 73 tests.
100
Build stability: No recent builds failed.
100
Build History
x
#167
May 17, 2020 7:10 PM
52 KB
#165
Oct 17, 2019 12:04 PM
52 KB
Workspace of The VDM to Isabelle Translator on master
src
target
.gitignore
May 17, 2020 6:46:30 PM
9 B
view
pom.xml
May 17, 2020 6:46:30 PM
4.31 KB
view
(all files in zip)