Skip to content
Jenkins
log in
Jenkins
Overture
overture-development
The VDM Interpreter
#288
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 22 days ago
Took
40 sec
on master
Build #288 (Feb 9, 2021 11:47:32 AM)
Build Artifacts
interpreter-3.0.3-SNAPSHOT-javadoc.jar
2.07 MB
view
interpreter-3.0.3-SNAPSHOT.jar
736.78 KB
view
interpreter-3.0.3-SNAPSHOT.pom
2.23 KB
view
Changes
Fix FunctionValue compareValueTo for unions, fixes #769 (
commit: 40133fe
) (
details
)
Introduce InvariantValueMaps from VDMJ, fixes #770 (
commit: ee8935e
) (
details
)
Correct running of traces with slashes in their name (
commit: 132c389
) (
details
)
Added seedtrace to CommandReader (
commit: a89622c
) (
details
)
Removed hard limit on module initialization (
commit: 820f098
) (
details
)
Add retries to Simon's initialize improvement (
commit: 5d44bda
) (
details
)
Add class initialize changes for Simon's PR (
commit: 7bced1c
) (
details
)
Changes in dependency
The VDM parser
#287
→
#288
(
detail
)
The Overture Abstract Syntax Tree
#287
→
#288
(
detail
)
Overture Testing Framework
#287
→
#288
(
detail
)
Test Framework for Overture
#287
→
#288
(
detail
)
The VDM Type Checker
#287
→
#288
(
detail
)
The VDM Pretty Printer
#287
→
#288
(
detail
)
The Proof Obligation Generator
#287
→
#288
(
detail
)
Task Scanner:
86 open tasks
in 311 workspace files.
Test Result
(no failures)