Releases: overturetool/overture
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
The Overture Tool release 3.0.0
Overture 3.0.0 - Release Notes - 28 August 2020
What's New?
This is it! Overture can now be run using up to Java 13, and the next development version will test the recently
included support of Java 14 ASAP. Stay tuned. There are several bug fixes, most of them can be found in the closed issues below. We introduced some fixes to the overture coverage generation, file handling, and console interaction. We hope you enjoy it!
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/44
- #734 closed - Maps of Record types sometimes fail
- #733 closed - 17 tests failing
- #732 closed - Runtime predicate errors in forall/exists/iota/comprehensions mislocated
- #731 closed - Inconsistency between equality relation and set membership
- #727 closed - Type checker defines RESULT symbol for post condition of void operations
- #726 closed - Type checker allows a zero literal index for sequences
- #725 closed - "Illegal clone" "Main 206: Error evaluating code" error
- #724 closed - Map operation fails with "Error 4089: Can't get real value of map"
- #723 closed - Overture missing an order/equality warning
- #722 closed - Incorrect module scope for min/max function variables
- #721 closed - Incorrect Debug Exception Highlighting with Multiple Files of the Same Name
- #720 closed - Incorrect recursive function warnings, with cycles
- #719 closed - Incorrect recursive cycles given for pre/postconditions
- #717 closed - Equality test fails if a nil value is used
- #716 closed - Socket is closed by Overture before VDMJ finishes printing coverage.
- #715 closed - Dialect preference shows vdm10 and errors are issued as it was checked against the classic dialect
- #712 closed - download error
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
The Overture Tool release 2.7.2
Overture 2.7.2 - Release Notes - 01 October 2019
What's New?
This release contains some type checker and annotations fixes, but also introduces the new @OnFail annotation, which is useful for debugging contract violations. The @OnFail annotation is described in the Model Annotations chapter in the Overture User Guide.
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 User Guide
- 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/42
The Overture Tool release 2.7.0
Overture 2.7.0 - Release Notes - 03 June 2019
What's New?
This release of Overture includes
- Support for VDM annotations (currently limited to the Overture
command-line interface) - Improved type checking of struct import/export (VDM-SL only)
- Improved Java code-generation
- Limited support for polymorphic types
- Support for renamed constructs (VDM-SL only)
- Several bug fixes.
Model annotations are covered in chapter 17 in the Overture User Manual.
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/41
- #698 closed - Attempt to call non-existing CPU constructor crashes the typechecker
- #697 closed - Update Java code-generation runtime to support VDMUtil`seq_of_char2val
- #694 closed - JODTool update site is not working
- #693 closed - Warning for unused state variable
- #691 closed - Support Java code-generation of polymorphic types (simple cases)
- #690 closed - Support Java code-generation of 'renamed' constructs
The Overture Tool release 2.6.4
Overture 2.6.4 - Release Notes - 29 October 2018
What's New?
This release contains some type-checker fixes and improvements for the user interface.
Note that Overture requires Java 8. If you're using more recent versions of Java (e.g. version 10) you may experience errors when you launch Overture. In particular, Overture, currently builds against Eclipse Oxygen, which is known to have issues related to recent versions of Java. In case you experience issues try to follow the suggestions in the FAQ (see "Q: Why can’t I open Overture using the latest versions of Java?").
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/40
The Overture Tool release 2.6.2
Overture 2.6.2 - Release Notes - 18 May 2018
What's New?
This release contains fixes for the type-checker, interpreter and Java/JML code-generator. In addition, the Overture command-line interface (CLI) now supports the "-version" argument (which is helpful if the CLI is invoked from a build-job). A more elaborate list of issues addressed since the last release can be found below.
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/38
- #665 closed - The Class/function selection in launch configurations is not sorted making it difficult to find a class
- #681 closed - Type of record pattern not resolved
- #676 closed - The Java bridge can't always resolve imported VDM-SL types
- #672 closed - Support Java code-generation of setUp and tearDown
- #679 closed - Support Java code-generation of VDMUtil`set2seq
- #678 closed - Function values with polymorphic type parameters are not correctly instantiated
- #673 closed - Add "-version" argument to the Overture command-line interface
- #669 closed - let expression interprets tail of a seq1 as a seq1
- #666 closed - Is not yet specified does not work with overloads
The Overture Tool release 2.6.0
Overture 2.6.0 - Release Notes - 16 February 2018
What's New?
This release of Overture, version 2.6.0, contains the implementation of RM (Request for Modification) 42, which proposes to generalise the 'measure' clause. See the Overture LRM (Language Reference Manual) for details about this new feature. In addition to the implementation of RM 42, the 2.6.0 release also contain some type-checker fixes and improved Java code-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 [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/38
- #663 closed - Overture 2.6.0 displays error-occurred dialog
- #662 closed - Type-checker allows modules to directly access state of other modules
- #661 closed - Sequence Enumeration
- #659 closed - Overture Codegen does not re-generate as expected
- #658 closed - Type checker fails to identify invalid type
The Overture Tool release 2.5.6
Overture v2.5.6 - Release Notes - 11 December 2017
What's New?
In addition to some parser and type-checker fixes, this release has been updated to build against the newest version of Eclipse (Oxygen).
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/37
The Overture Tool release 2.5.4
Overture v2.5.4 - Release Notes - 10 November 2017
What's New?
This release contains several bug fixes and enhancements for Overture's core features (e.g. type-checker and interpreter), and increased coverage of constructs that can be code-generated to Java (see details below).
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/36
- #650 closed - Java code-generator does not handle the nondeterministic statement correctly
- #649 closed - ** operator type errors have wrong location information
- #648 closed - Extend Java code-generation support for maps
- #647 closed - Interpreter fails to find object member
- #646 closed - File AlarmInitUML.uml
- #645 closed - Add support for code-generation of the iota expression
- #643 closed - Mu expressions can miss type checking errors
- #642 closed - Generating PDF with the modelOnly preference does not drop non-model text
- #641 closed - When pretty printing with the option where model only is switched off one shall not generate \section{ClassName}