Releases: overturetool/overture
The Overture Tool release 2.5.2
Overture v2.5.2 - Release Notes - 11 September 2017
What's New?
This release includes enhancements and bug fixes covering
-
performance improvements for the code coverage feature
-
fixes for the debugger, and
-
increased coverage of constructs that can be code-generated to 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
Bugfixes
Please note that the interactive list is at https://github.com/overturetool/overture/milestone/35
- #640 closed - Imports do not check the "kind" of the matching the export
- #639 closed - Overture is unable to start the debugging engine.
- #638 closed - Add code-generation support for the non-deterministic statement
- #626 closed - Recursion between type with invariant and a value using it gives strange error message
- #596 closed - dinter should give a type error with an empty set
The Overture Tool release 2.5.0
Overture v2.5.0 - Release Notes - 10 August 2017
What's New?
In addition to the usual bug fixes, this release contains a new "equality and order relations" feature [RM39]. Details about this feature can be found in the Language Reference Manual [VDM-10 Language Manual, Section 3.4 and Section 3.5].
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-sl or vdm++ 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
- RM39
- 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/34
- #634 closed - Record Value cannot be created for Aliased Record Type
- #633 closed - Improve test case generation for the Java code-generator
- #631 closed - Type visibility error not reported
- #630 closed - Tuple comparison problem in the Java code-generator's runtime library
- #629 closed - Launch configuration entry point with parameters problem
- #628 closed - Errors with VDM++ trace example
The Overture Tool release 2.4.8
Overture 2.4.8 - Release Notes - 05 June 2017
What's New?
In addition to the usual bug fixes and enhancements, some of the Overture standard examples have been improved and updated to use the pure operation and sequence bind features.
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/33
The Overture Tool release 2.4.6
Overture 2.4.6 - Release Notes - 03 March 2017
What's New?
This release contains a number of bug fixes covering the parser, type checker, quick interpreter and combinatorial testing. See the Bugfixes section for additional details.
In addition, a change has been made to Overture (see issue 613) that may give a noticeable interpreter performance improvement in specifications that internally throw several exceptions. This occurs naturally in specs with complex union types or which perform a lot of complex pattern matching. In specifications with traces a 20% performance improvement has been seen.
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/32
- #622 closed - Single trace test is executed using default JVM options
- #620 closed - AccountSys VDM Class
- #617 closed - Quick Interpreter should check for rubbish after expressions
- #616 closed - discrepancy between VDMJ and Overture outputs
- #613 closed - Core modules use different versions of AstCreator
- #610 closed - Parser allows multiple consecutive access modifiers for functional descriptions
- #609 closed - Remove abbreviated release notes
- #603 closed - The welcome page does not work after self-update
- #594 closed - Type checking of dlmodules should be relaxed
The Overture Tool release 2.4.4
Overture 2.4.4 - Release Notes - 02 December 2016
What's New?
This release contains some improvements to the Java code generator, and some fixes to the VDMUtil standard library.
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/milestones/2.4.4
- #607 closed - Easy access to the language manual
- #606 closed - Add limited Java code generation support for multiple inheritance
- #605 closed - Tempo example does not run on Windows
- #602 closed - Copyright notice needs to be updated
- #586 closed - VDMUtil`seq_of_char2val cannot parse record type
- #571 closed - Enable Tempo plotting library feature
The Overture Tool release 2.4.2
Overture 2.4.2 - Release Notes - 06 October 2016
What's New?
This release contains a prototype version of an auto-completion feature for VDM. It has been developed by Peter Mathiesen and Magnus Louvmand Pedersen in connection with an R&D project. The auto-completion feature is able to list proposals for function and operation invocations, constructors and built-in types.
There's a few things worth mentioning about the current version of the auto-completion feature: First, this feature only works when the model is type correct, so if you introduce parse/type errors and save the model sources, no proposals will be listed. The parser/type checker is currently not able to cope with partially correct ASTs, and the auto-completion feature does not yet cache the most recent type correct AST and use that to compute proposals. Second, auto-completion in blank spaces tries to propose "everything" -- even built-in types such as 'nat' and 'bool', and templates for functions and operations. Third, proposals on the form x.op() are not yet supported. It's only possible to list proposals for functions and operations defined in the enclosing class.
Feedback on the auto-completion feature can be reported here
In addition, a new feature, called the "Overture Graphics Plugin" is now available via one of the pre-installed update sites. This plugin allows you to visualise a VDM model's instance variables over time using, for example, 2D plots. More information about how to use this plugin can be found in the Overture tool's user manual.
Finally, a new VDM++ model of a traffic management system has been added to the standard examples. This example is GUI-based and uses the "Overture Graphics Plugin" to visualise the model's instance variables. The model has been developed in the TEMPO (TMS Experiment with Mobility in the Physical World using Overture) project, where technologies that can reduce traffic jams have been researched.
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
- 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/milestones/v2.4.2
The Overture Tool release 2.4.0
Overture 2.4.0 - Release Notes - 30 August 2016
What's New?
Overture has been updated to include two new language features. The first language feature, which is based on Request for Modification (RM) 35, adds a set1 type constructor to the language. Second, VDM-10 now supports sequence bindings (RM 36), which allows iterating over sequences in a more concise way. For example, one can now write [ f(x) | x in seq s & P(x) ] rather than [ f(s(i)) | i in set inds s & P(s(i)) ].
In the previous release, Overture was upgraded to support self-update using Eclipse p2. It should therefore be possible to update Overture 2.3.8 to version 2.4.0 (this version) using p2. Make sure that the Eclipse release site is available: http://download.eclipse.org/releases/neon
Updating Overture to a newer version is similar to updating any other Eclipse application. From the menu choose
Help -> Install New Software...
Next, from the list of repositories select 'Overture Development', make sure you have 'Overture' selected, and execute the update.
Finally, Overture has been updated to build against the newest version of Eclipse (Neon).
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
- 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/milestones/v2.4.0
- #588 closed - Overture won't open after update
- #587 closed - VDM-RT log viewer check box is not reflecting the actual settings
- #585 closed - VDM-RT Diagram Export crops figures
- #584 closed - Type checker crashes when trying to call invalid CPU constructor
- #583 closed - Upgrade Overture to build against Eclipse Neon
- #582 closed - VDMUtil`seq_of_char2val should handle nonsense conversions gracefully
- #579 closed - print some VDM value are strange
- #578 closed - Output informations of "CT Test Case result" View is not enough
- #577 closed - Repository split - disabled artifacts
- #574 closed - Hexadecimal Values
- #570 closed - Unexpected failure of run configuration
- #521 closed - Inconsistent import behaviour
The Overture Tool release 2.3.8
Overture 2.3.8 - Release Notes - 04 July 2016
What's New?
This release includes various bug fixes (see below). In addition, Overture has been upgraded to support self-update using Eclipse p2. In essence this means that once a new version of Overture has been released, it is possible to update the tool using p2.
Updating Overture to a newer version is similar to updating any other Eclipse application. From the menu choose
Help -> Install New Software...
Next, from the list of repositories select 'Overture Development' and make sure you have 'Overture' selected. Finally, you must execute the update.
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
- 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/milestones/v2.3.8
- #572 closed - Null pointer exception with malformed pattern binds
- #567 closed - Type check of break point conditions is missing
- #566 closed - could not find or load main class org.overture.interpreter.debug.DBG Reader V2
- #565 closed - Inconsistency when type specified in export list
- #564 closed - Suggestion: Bundle Version Control tools with Overture
- #563 closed - Functions in state variables crash variables view
- #562 closed - Type checking missing some polymorphic instantiation errors
- #561 closed - Problem passing polymorphic functions as arguments
- #559 closed - Toggle Comment Shortcut
- #558 closed - Minor issue with trace verdicts when test is send to the interpreter
- #470 closed - Test framework ExamplesTest can not be re-run individually
- #438 closed - CT Send to Interpreter - breakpoints don't work for records in functions
- #412 closed - Find hosting solution for Eclipse P2 update site
- #308 closed - Instantiation of Polymorphic function missed by the type checker
The Overture Tool release 2.3.6
Overture 2.3.6 Release Notes — 22 May 2016
What's New?
The release includes several fixes - see details at:
https://github.com/overturetool/overture/issues?utf8=%E2%9C%93&q=is%3Aissue+is%3Aclosed+milestone%3Av2.3.6+
Overture now requires Java 8 and it also builds against Eclipse Mars
(newest Eclipse).
The release also includes a prototype version of a VDM-RT-to-C code
generator. The VDM-RT-to-C prototype has been developed by Kenneth
Lausdahl and Victor Bandur.
You can install it via the VDM2C update site: 'Help' menu -> 'Install new software'
and choose 'Overture VDM2C Development'. Also note that this plugin has its own
issue tracker: https://github.com/overturetool/vdm2c/issues
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
The Overture Tool version 2.3.4
Overture 2.3.4 Release Notes — 16 March 2016
What's New?
This is a special release upgrading Apache Commons Collections to version 3.2.2 as version 3.2.1 has a serious CVSS 10.0 vulnerability.
https://web.nvd.nist.gov/view/vuln/detail?vulnId=CVE-2015-8103
https://commons.apache.org/proper/commons-collections/security-reports.html
http://foxglovesecurity.com/2015/11/06/what-do-weblogic-websphere-jboss-jenkins-opennms-and-your-application-have-in-common-this-vulnerability/
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.