- Fixes several bugs in TLC and a bug in the Toolbox's
Version 1.5.0 of 11 May 2015
- Distributed TLC in the Cloud--significantly improves
- Significantly speeds ups TLC's liveness checking.
- Improvements to the Decompose Proof Command.
- Improvements to the TLC Errors view, including ability to
in reverse order.
- Has some changes to the way the Toolbox handles its subwindows.
- Fixes all known bugs in TLC's liveness checking.
- Fixes TLC bug of infinite looping if a recursively
defined operator is used
as an operator argument in its own
- Numerous bug fixes.