Difference between revisions of "Rodin Platform 2.0.1 Release Notes"

From Event-B
Jump to navigationJump to search
imported>Nicolas
imported>Tommy
m
 
(10 intermediate revisions by 2 users not shown)
Line 1: Line 1:
 
{{TOCright}}
 
{{TOCright}}
  
For information on main changes since Rodin 1.3, see [[Rodin_Platform_2.0_Release_Notes]].
+
For information on main changes since Rodin 1.3, or about available plug-ins, see [[Rodin_Platform_2.0_Release_Notes]].
  
 
== What's New in Rodin 2.0.1? ==
 
== What's New in Rodin 2.0.1? ==
Line 11: Line 11:
  
 
== Fixed Bugs and Implemented Feature requests ==
 
== Fixed Bugs and Implemented Feature requests ==
   Bug 3086746: Functional Image Rewrites does not work properly  
+
   Bug #3086746: Functional Image Rewrites does not work properly  
   Bug #3085103: Unsound behavior of newPP INCLUDED.
+
   Bug #3085103: Unsound behavior of newPP
   Bug #3087348: Wrong Eclipse update site INCLUDED.
+
   Bug #3087348: Wrong Eclipse update site
   Bug #2871290: Comments are still editable in a generated model  NOT INCLUDED.
+
   Bug #3102775: bug newPP
   Bug #3102775: bug newPP INCLUDED.
+
  Bug #3103020: Auto tactics for WD not selected by default
 +
   Bug #3106076: Missing POs in interface
  
 
   FR 3080786 : Theorem checkbox for invariants in the new variable wizard  
 
   FR 3080786 : Theorem checkbox for invariants in the new variable wizard  
Line 30: Line 31:
 
* Refactored reasoner for "FUN_IMAGE_GOAL"; fixed corresponding auto tactic.
 
* Refactored reasoner for "FUN_IMAGE_GOAL"; fixed corresponding auto tactic.
 
* Fixed basic tactic composeUntilFailure: used first open descendant.
 
* Fixed basic tactic composeUntilFailure: used first open descendant.
 +
* Implemented an autotactic to discharge goals of the form "WD of datatype destructor".
  
 
== About ==
 
== About ==
  Rodin Platform up to r9964
+
  Rodin Platform r10265 made of Rodin 2.0 (r9964)
 
  + r10003
 
  + r10003
 
  + r10004
 
  + r10004
Line 54: Line 56:
 
  + r10259
 
  + r10259
 
  + r10261
 
  + r10261
 +
+ r10262
  
Release date : 08/10/2010.
+
Release date : 2010/11/16.
  
 
[[Category:Rodin Platform Release Notes]]
 
[[Category:Rodin Platform Release Notes]]

Latest revision as of 15:58, 16 November 2010

For information on main changes since Rodin 1.3, or about available plug-ins, 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

Download Now!

Fixed Bugs and Implemented Feature requests

  Bug #3086746: Functional Image Rewrites does not work properly 
  Bug #3085103: Unsound behavior of newPP
  Bug #3087348: Wrong Eclipse update site
  Bug #3102775: bug newPP
  Bug #3103020: Auto tactics for WD not selected by default
  Bug #3106076: Missing POs in interface
  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.
  • Implemented an autotactic to discharge goals of the form "WD of datatype destructor".

About

Rodin Platform r10265 made of Rodin 2.0 (r9964)
+ r10003
+ r10004
+ r10008
+ r10011
+ r10014
+ r10016
+ r10087
+ r10090
+ r10116
+ r10117
+ r10118
+ r10139
+ r10163
+ r10204
+ r10208
+ r10210
+ r10211
+ r10212
+ r10258
+ r10259
+ r10261
+ r10262

Release date : 2010/11/16.