Skip to content
Snippets Groups Projects
Commit d49729bb authored by lamport's avatar lamport Committed by Markus Alexander Kuppe
Browse files

Added description of changes in Version 1.5.0

parent e9d611b8
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
general/docs/microsoft-release.txt
+ 10
− 3
View file @ d49729bb
...@@ -209,11 +209,18 @@ TO GENERATE THE RELEASE: ...@@ -209,11 +209,18 @@ TO GENERATE THE RELEASE:
Queries to msrcpx or Chuck Needham (chuckne) Queries to msrcpx or Chuck Needham (chuckne)
------------------------------------------------------------- -------------------------------------------------------------
Version 1.4.9 - ?? Version 1.5.0 - 11 May 2015
- Fixed bug in TLC that caused infinite looping if a recursively - Distributed TLC in the Cloud--significantly improves
distributed TLC.
- Significantly speeds ups TLC's liveness checking.
- Improvements to the Decompose Proof command.
- Improvements to the TLC Errors view, including ability to
show trace in reverse order.
- Fixes all known bugs in TLC's liveness checking.
- Fixes bug in TLC that caused infinite looping if a recursively
defined operator is used as an operator argument in its own defined operator is used as an operator argument in its own
definition. definition.
- Fixed minor bug in Decompose Proof command.
Version 1.4.8 - 25 February 2014 Version 1.4.8 - 25 February 2014
- Made module names case sensitive, so they must exactly match - Made module names case sensitive, so they must exactly match
the name of the file containing them. the name of the file containing them.
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment