Skip to content
Jenkins
log in
Jenkins
overture-development
The Java Code Generator
#290
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
Started 1 yr 5 mo ago
Took
39 sec
on master
Build #290 (Aug 11, 2021 4:10:52 PM)
Build Artifacts
javagen-3.0.3-SNAPSHOT-javadoc.jar
250.87 KB
view
javagen-3.0.3-SNAPSHOT.jar
158.70 KB
view
javagen-3.0.3-SNAPSHOT.pom
2.66 KB
view
Changes
Changes the template to generate VDMRecord (
commit: 8e73876
) (
details
)
Changes in dependency
The Overture Abstract Syntax Tree
#289
→
#290
(
detail
)
Combinatorial Testing Runtime
#289
→
#290
(
detail
)
The Java Code Generator Testing
#289
→
#290
(
detail
)
The VDM Interpreter
#289
→
#290
(
detail
)
The Java Code Generator Runtime
#289
→
#290
(
detail
)
Test Framework for Overture
#289
→
#290
(
detail
)
The VDM Type Checker
#289
→
#290
(
detail
)
The Code Generation Platform
#289
→
#290
(
detail
)
The VDM parser
#289
→
#290
(
detail
)
The Intermediate Representation Tree
#289
→
#290
(
detail
)
Combinatorial Testing Utilities
#289
→
#290
(
detail
)
Overture Testing Framework
#289
→
#290
(
detail
)
The VDM Pretty Printer
#289
→
#290
(
detail
)
The Proof Obligation Generator
#289
→
#290
(
detail
)
Task Scanner:
1 open task
in 85 workspace files.
Test Result
(no failures)