Difference between revisions of "Rodin Platform 1.3.1 Release Notes"

From Event-B
Jump to navigationJump to search
imported>Pascal
imported>Pascal
Line 1: Line 1:
 +
This release just fixes three critical bugs in the prover.  Albeit this, it is fully compatible with Rodin 1.3 both at the plug-in and user level. In particular, this release does not contain any fancy enhancement that could hinder compatibility.
 +
 
See the [[Rodin Platform 1.3 Release Notes|Rodin Platform 1.3 Release Notes]].
 
See the [[Rodin Platform 1.3 Release Notes|Rodin Platform 1.3 Release Notes]].
  

Revision as of 15:27, 16 June 2010

This release just fixes three critical bugs in the prover. Albeit this, it is fully compatible with Rodin 1.3 both at the plug-in and user level. In particular, this release does not contain any fancy enhancement that could hinder compatibility.

See the Rodin Platform 1.3 Release Notes.

Downloading

Download Now!

Bugs Fixed

  Bug 2995930: Unsound simplification 
  Bug 2999977: Can not save proof after functional image simplification 
  Bug 3006807: NPE in FunOVR
Retrieved from ‘https://wiki.event-b.org/index.php?title=Rodin_Platform_1.3.1_Release_Notes&oldid=7381’