The Overture Tool version 2.0.4
Overture 2.0.4 Release Notes — 11 March 2014
Please note that this is the abbreviated release note: a longer note with more information is available in the main repository at https://github.com/overturetool/overture/tree/development/documentation/releasenotes.
What's New?
This release is bugfix release --- many old bugs have been cleared, and some interface issues have been fixed.
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 Tutorials
- VDM Examples
- VDM Portal
- VDM Books
- Wikipedia on VDM
- Overture Developers Wiki on GitHub
- The Old Overture Wiki for developers
Bug fixes
Please note that the interactive list is at https://github.com/overturetool/overture/issues?milestone=14&state=closed.
#258 Coverage markers are out by one character
#254 Standard Eclipse user interface features "missing" from 2.0.0
#246 The bus declarations given in the vdm real time log produced by the interpreter are incorrect
#207 Editor gives errors while editing a VDM-SL model (with errors)
#198 Inconsistent editor tabstops in Linux/Windows
#195 Warnings with IDE at startup with a large existing workspace
#193 Projects in working sets don't get error marker updates
#188 Syntax error highlightling sometimes goes to first line
#184 VDM++ Editor not correctly showing error locations
#156 External editor doesn't give hover text for error/warnings
#154 Saving
#144 Latex coverage table wrong for overloaded names
#143 Some VDMUnit error strings cause parser errors
#133 Extended explicit functions missing from launchers
#118 Generating coverage with .doc files is broken
#108 Tab expansion in Word coverage output is wrong
#96 Process console not selected when starting a debug
#63 Coverage display japanese chars
#34 UTF-VDM RT Realtime Log can't display UTF-8 Chars