The Overture Tool release 3.0.0

Overture 3.0.0 - Release Notes - 28 August 2020

What's New?

This is it! Overture can now be run using up to Java 13, and the next development version will test the recently
included support of Java 14 ASAP. Stay tuned. There are several bug fixes, most of them can be found in the closed issues below. We introduced some fixes to the overture coverage generation, file handling, and console interaction. We hope you enjoy it!

Reporting Problems and Troubleshooting

Please report bugs, problems, and other issues with the tool at https://github.com/overturetool/overture/issues.

If you encounter a problem with the Overture IDE itself, please contact the Overture project and we will try to help. You can contact us at info@overturetool.org, or use StackOverflow — we monitor for questions using the vdm, vdm++, or vdmrt tags.

If you encounter a problem with a VDM specification, please try to make a small example that illustrates the problem before you contact us. If you are sure the bug is not already known in the GitHub issues list, you can create a new bug report.

Other Resources and Links

• Overture Community site
• VDM-10 Language Manual
• VDM Tutorials
• VDM Examples
• Wikipedia on VDM
• Overture Developers Wiki on GitHub
• The Old Overture Wiki for developers

Bugfixes

Please note that the interactive list is at https://github.com/overturetool/overture/milestone/44

• #734 closed - Maps of Record types sometimes fail
• #733 closed - 17 tests failing
• #732 closed - Runtime predicate errors in forall/exists/iota/comprehensions mislocated
• #731 closed - Inconsistency between equality relation and set membership
• #727 closed - Type checker defines RESULT symbol for post condition of void operations
• #726 closed - Type checker allows a zero literal index for sequences
• #725 closed - "Illegal clone" "Main 206: Error evaluating code" error
• #724 closed - Map operation fails with "Error 4089: Can't get real value of map"
• #723 closed - Overture missing an order/equality warning
• #722 closed - Incorrect module scope for min/max function variables
• #721 closed - Incorrect Debug Exception Highlighting with Multiple Files of the Same Name
• #720 closed - Incorrect recursive function warnings, with cycles
• #719 closed - Incorrect recursive cycles given for pre/postconditions
• #717 closed - Equality test fails if a nil value is used
• #716 closed - Socket is closed by Overture before VDMJ finishes printing coverage.
• #715 closed - Dialect preference shows vdm10 and errors are issued as it was checked against the classic dialect
• #712 closed - download error