The Overture Tool version 2.1.2
What's New?
This release is contains many bugfixes. Notable among them are a number of improvements to the typechecker, and a significant refactoring of the way the combinatorial testing plugin expands traces. The latter fix means that combinatorial testing supports bigger tests sets in less memory than before.
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 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=17&state=closed
- #277 Socket to IDE not valid in Console execution
- #279 CT Overview contents are unsorted?
- #290 VDM keywords are not highlighted in the Proof Obligation View
- #318 Combinatorial problems in 2.1.0 memory issues resulting in connection reset
- #319 Flat SL models with multiple files don't stop at breakpoints correctly
- #323 Breakpoint is being ignored in forall statement
- #324 Getting the values from a record type does not work
- #326 Abstract method can be declared private
- #328 Type Comparator Used Statically
- #331 "Send to Interpreter" does not work for SL traces
- #332 Type checker missing some inequalities
- #333 Create module to test tool functionality against all VDM examples
- #334 NullPointerException reported in Problems view
- #335 Quick Interpreter fixes
- #336 Fix Overture Examples
- #337 New type checking too tough on higher order polymorphic functions
- #338 undefined should be of any possible type in type checking
- #339 Examples Crashing Combinatorial Testing
- #340 Map patterns not working with munion
- #341 Optional types masking type unions
- #342 Account for is_ expressions in and clauses
- #343 Unify VDM Library Sources
- #345 CT Overview sorts test ranges lexically
- #346 Type checking abstract classes
- #347 Remove periodic/sporadic from VDM++ dialect, RM #26
- #349 Fix Failing Interpreter Tests
- #352 Parser: No warning when declaring end Module name in flat specs
- #353 Type check: When checking frame conditions in COMPASS a wrong warning is reported due to location comparison
- #356 POG error: functions with curried arguments
- #367 Add Matching Brackets to the Editor