The Overture Tool release 2.7.4

Overture 2.7.4 - Release Notes - 16 March 2020

What's New?

• This release contains several fixes for various language primitives, improvements and the
  addition of new features. Please check the fixes below. There were VDM-SL importable examples with errors
  that were corrected. We expect this release to be the last one bound to Java 8.

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/43

• #687 closed - Java Exception when running debug on AlarmSL sample project.
• #682 closed - Precedence inconsistency between code and documentation
• #651 closed - PO for Cash Dispenser example in VDM-SL contains "null"
• #632 closed - Make Overture and Language Syntax Consistent
• #615 closed - Isagen tasks
• #529 closed - Add facility to only check a condition if a type binding is finite
• #444 closed - Interpreter: Internal errors are reported as "internal error" but could have displayed the real problem description
• #249 closed - Fix copyright headers
• #15 closed - VDMJ POG misses mutual recursion
• #14 closed - Type checker: missing exit checks