Skip to content
Jenkins
log in
Jenkins
Overture
overture-development
The VDM to JML Generator
#285
ENABLE AUTO REFRESH
Back to Project
Status
Changes
Console Output
View Build Information
Executed Mojos
Open Tasks
Test Result
See Fingerprints
Embeddable Build Status
Previous Build
Next Build
Started 2 yr 3 mo ago
Took
39 sec
on master
Build #285 (Nov 10, 2020 4:20:26 PM)
Changes
[maven-release-plugin] prepare release Release/3.0.2 (
commit: cafcbab
) (
details
)
[maven-release-plugin] prepare for next development iteration (
commit: 8f453e3
) (
details
)
Changes in dependency
The Overture Abstract Syntax Tree
#284
→
#285
(
detail
)
Combinatorial Testing Runtime
#284
→
#285
(
detail
)
The Java Code Generator Testing
#284
→
#285
(
detail
)
The VDM Interpreter
#284
→
#285
(
detail
)
The Java Code Generator Runtime
#284
→
#285
(
detail
)
Test Framework for Overture
#284
→
#285
(
detail
)
The Overture Tool Platform root
#269
→
#281
(
detail
)
Code Generation
#269
→
#281
(
detail
)
Core Tools
#269
→
#281
(
detail
)
The VDM Type Checker
#284
→
#285
(
detail
)
The VDM to JML Generator
#269
→
#281
(
detail
)
The Code Generation Platform
#284
→
#285
(
detail
)
The VDM to JML Generator Runtime
#284
→
#285
(
detail
)
The VDM parser
#284
→
#285
(
detail
)
The Intermediate Representation Tree
#284
→
#285
(
detail
)
Combinatorial Testing Utilities
#284
→
#285
(
detail
)
Overture Testing Framework
#284
→
#285
(
detail
)
The VDM Pretty Printer
#284
→
#285
(
detail
)
The Java Code Generator
#284
→
#285
(
detail
)
The Proof Obligation Generator
#284
→
#285
(
detail
)
Task Scanner:
6 open tasks
in 229 workspace files.
Test Result
(no failures)