Rodin Platform 1.3.1 Release Notes

From Event-B
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.


Download Now!

Bugs Fixed

  Bug 2995930: Unsound simplification 
  Bug 2999977: Can not save proof after functional image simplification 
  Bug 3006807: NPE in FunOVR