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.

Downloading

Download Now!

Bugs Fixed

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