Difference between revisions of "Rodin Platform 1.3.1 Release Notes"
From Event-B
Jump to navigationJump to searchimported>Pascal |
imported>Tommy m |
||
| (2 intermediate revisions by one other user not shown) | |||
| 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]]. | ||
| + | |||
| + | == Downloading == | ||
| + | [https://sourceforge.net/projects/rodin-b-sharp/files/Core_%20Rodin%20Platform/1.3.1/ Download Now!] | ||
== Bugs Fixed == | == Bugs Fixed == | ||
| Line 5: | Line 10: | ||
Bug 2999977: Can not save proof after functional image simplification | Bug 2999977: Can not save proof after functional image simplification | ||
Bug 3006807: NPE in FunOVR | Bug 3006807: NPE in FunOVR | ||
| + | |||
| + | [[Category:Rodin Platform Release Notes]] | ||
Latest revision as of 18:41, 22 February 2011
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
Bugs Fixed
Bug 2995930: Unsound simplification Bug 2999977: Can not save proof after functional image simplification Bug 3006807: NPE in FunOVR
