Rodin Platform 2.0.1 Release Notes

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

Download Now!

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 + r10014 + r10016 + r10087 + r10090 + r10116 + r10117 + r10118 + r10139 + r10163 + r10204 + r10208 + r10210 + r10211

Release date : 08/10/2010.