Rodin Platform 1.3.1 Release Notes

From Event-B
Revision as of 18:41, 22 February 2011 by imported>Tommy
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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