The Overture Tool version 2.1.4
Overture 2.1.4 Release Notes — 20 November 2014
What's New?
This release contains small bugfixes. It also includes experimental support for code generation of concurrent models (must be turned on in preferences) and live proof obligation generation.
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
- 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=18&state=closed
- #396 Code generation of the concurrency mechanisms of VDM++
- #394 Problem converting composed function values
- #393 Type check: of the || operator in traces is missing
- #392 Second half of implication needlessly evaluated in class invariant
- #391 IO`freadval uses the default character encoding
- #389 Problem with || operator in combinatorial tests
- #388 Problem with object reference compares in postconditions
- #385 Code generator hangs with no error
- #382 Choosing what classes should be code generated to Java
- #381 Can't generate Java code.
- #380 Type constraint error with unary minus
- #379 Interpreter crashes on evaluation of the 'is'-expression when the checked type is recursively defined
- #378 Java 7 dependency in the ctruntime tests
- #377 Removing the vdmj_compatibility_tests projects from the code base
- #375 Inherited definition not visible in the sync section
- #373 VDMTools fails to open
- #372 Bug of comp operator?
- #371 Error Object Pattern?
- #369 Outline Icon for functions
- #365 Possibly a type checking issue with bracket types
- #361 Changing the default language version of a VDM project to VDM10
- #330 Tag Assistants with Interface
- #301 The CyberRail Example is broken
- #276 Ordering of files/folders in a VDM Explorer view
- #163 Proof Obliagtion Explorer doesn't refresh with spec changes