Skip to content
Jenkins
log in
Jenkins
overture-master
The VDM to Isabelle Translator
#30
ENABLE AUTO REFRESH
Back to Project
Status
Changes
Console Output
View Build Information
Executed Mojos
Test Result
See Fingerprints
Embeddable Build Status
Previous Build
Started 2 yr 2 mo ago
Took
12 sec
on master
Build #30 (Nov 10, 2020 4:22:45 PM)
Build Artifacts
isagen-3.0.2-javadoc.jar
100.10 KB
view
isagen-3.0.2.jar
105.31 KB
view
isagen-3.0.2.pom
4.27 KB
view
Changes
[maven-release-plugin] prepare for next development iteration (
commit: 42ea313
) (
details
)
[maven-release-plugin] prepare release Release/3.0.2 (
commit: cafcbab
) (
details
)
Changes in dependency
The VDM parser
#29
→
#30
(
detail
)
Overture Testing Framework
#29
→
#30
(
detail
)
Code Generation
#29
→
#30
(
detail
)
Combinatorial Testing Runtime
#29
→
#30
(
detail
)
The VDM Pretty Printer
#29
→
#30
(
detail
)
The Overture Tool Platform root
#29
→
#30
(
detail
)
The Overture Abstract Syntax Tree
#29
→
#30
(
detail
)
Combinatorial Testing Utilities
#29
→
#30
(
detail
)
Test Framework for Overture
#29
→
#30
(
detail
)
The Intermediate Representation Tree
#29
→
#30
(
detail
)
The Code Generation Platform
#29
→
#30
(
detail
)
Core Tools
#29
→
#30
(
detail
)
The VDM Interpreter
#29
→
#30
(
detail
)
The Proof Obligation Generator
#29
→
#30
(
detail
)
The VDM Type Checker
#29
→
#30
(
detail
)
Test Result
(no failures)