Version 1.5.1 of 1 June 2015

Rating: No reviews yet
Downloads: 654
Change Set: daa02f3ad6b0
Released: Jun 1, 2015
Updated: Oct 2, 2015 by mku
Dev status: Stable Help Icon

Recommended Download

Application TLAToolbox-1.5.1-win32.win32.x86_64.zip
application, 84622K, uploaded Jun 1, 2015 - 356 downloads

Other Available Downloads

Application TLAToolbox-1.5.1-win32.win32.x86.zip
application, 84585K, uploaded Jun 1, 2015 - 52 downloads
Application TLAToolbox-1.5.1-macosx.cocoa.x86_64.zip
application, 84187K, uploaded Jun 1, 2015 - 97 downloads
Application TLAToolbox-1.5.1-macosx.cocoa.x86.zip
application, 84315K, uploaded Jun 1, 2015 - 24 downloads
Application TLAToolbox-1.5.1-linux.gtk.x86_64.zip
application, 84511K, uploaded Jun 1, 2015 - 69 downloads
Application TLAToolbox-1.5.1-linux.gtk.x86.zip
application, 84371K, uploaded Jun 1, 2015 - 26 downloads
Application TLA+ Tools
application, 4261K, uploaded Oct 2, 2015 - 30 downloads

Release Notes

Version 1.5.1 - 1 June 2015
* Fix intermittent "Fingerprint is already on disk" TLC crash. (patch)
* Fix conditions in state queue that can deadlock TLC. (patch1, patch2)
* Fix NullPointer bug during distributed TLC startup when
action or model constraints are defined.(patch)
* Fix broken trace exploration in Toolbox after loading
externally written TLC output. (patch)

http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html#release

Reviews for this release

No reviews yet for this release.