Rodin Platform 2.0.1 Release Notes: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Nicolas m →About |
imported>Nicolas m →About |
||
| Line 32: | Line 32: | ||
== About == | == About == | ||
Rodin Platform up to r9964 | Rodin Platform up to r9964 | ||
+ r10003 | + r10003 | ||
+ r10004 | + r10004 | ||
+ r10008 | + r10008 | ||
+ r10014 | + r10011 | ||
+ r10016 | + r10014 | ||
+ r10087 | + r10016 | ||
+ r10090 | + r10087 | ||
+ r10116 | + r10090 | ||
+ r10117 | + r10116 | ||
+ r10118 | + r10117 | ||
+ r10139 | + r10118 | ||
+ r10163 | + r10139 | ||
+ r10204 | + r10163 | ||
+ r10208 | + r10204 | ||
+ r10210 | + r10208 | ||
+ r10211 | + r10210 | ||
+ r10211 | |||
+ r10212 | |||
Release date : 08/10/2010. | Release date : 08/10/2010. | ||
[[Category:Rodin Platform Release Notes]] | [[Category:Rodin Platform Release Notes]] | ||
Revision as of 18:18, 4 November 2010
For information on main changes since Rodin 1.3, see Rodin_Platform_2.0_Release_Notes.
What's New in Rodin 2.0.1?
This is a maintenance release, which includes mainly bug fixes (see below).
Downloading
Fixed Bugs and Implemented Feature requests
Bug 3086746: Functional Image Rewrites does not work properly Bug #3085103: Unsound behavior of newPP INCLUDED. Bug #3087348: Wrong Eclipse update site INCLUDED. Bug #2871290: Comments are still editable in a generated model NOT INCLUDED. Bug #3102775: bug newPP INCLUDED.
FR 3080786 : Theorem checkbox for invariants in the new variable wizard
Additional fixes
- Prover UI: fixed pretty print for extended predicates.
- Fix the movement of a list of selected items
- Fix Bug in prefix settings preference page : using workspace values instead of project specific values
- Replaced the erroneous message appearing in the dialog while retrying the Auto Provers by a specific message.
- AST: implemented equals() and hashCode() everywhere required in order to compare datatype extensions.
- AST toStringWithTypes: fixed to take atomic extended expressions into account.
- AST: fixed extended expression rewriting: make a typed extended expression.
- Refactored reasoner for "FUN_IMAGE_GOAL"; fixed corresponding auto tactic.
- Fixed basic tactic composeUntilFailure: used first open descendant.
About
Rodin Platform up to r9964 + r10003 + r10004 + r10008 + r10011 + r10014 + r10016 + r10087 + r10090 + r10116 + r10117 + r10118 + r10139 + r10163 + r10204 + r10208 + r10210 + r10211 + r10212
Release date : 08/10/2010.
