The Overture Tool release 3.0.2

Overture 3.0.2 - Release Notes - 10 November 2020

What's New?

• Overture is now based on Eclipse 2020-09. In this version we include a strict type-checking option flag, sort several language level bugs, and solve problems with the console of external tools.

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 [email protected], 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/45

• #763 closed - Running external tools opens a double console
• #737 closed - Launch configuration Interpreter tab's checkboxes are negated before calling the interpreter
• #736 closed - Expressions in let def and let be st statements should not allow operation calls
• #728 closed - Set comprehensions don't propagate type constraints