diff --git a/general/docs/microsoft-release.txt b/general/docs/microsoft-release.txt index de3fe941f399a11fef5361193858c0196019562a..b58073333210d25aecd492eaee67e862212b9b5e 100644 --- a/general/docs/microsoft-release.txt +++ b/general/docs/microsoft-release.txt @@ -209,6 +209,14 @@ TO GENERATE THE RELEASE: Queries to msrcpx or Chuck Needham (chuckne) ------------------------------------------------------------- +Version 1.5.1 - 1 June 2015 + - Fix intermittent "Fingerprint is already on disk" TLC crash. + - Fix conditions in state queue that can deadlock TLC. + - Fix NullPointer bug during distributed TLC startup when + action or model constraints are defined. + - Fix broken trace exploration in Toolbox after loading + externally written TLC output. + Version 1.5.0 - 11 May 2015 - Distributed TLC in the Cloud--significantly improves distributed TLC. diff --git a/org.lamport.tla.toolbox.product.product/org.lamport.tla.toolbox.product.product.product b/org.lamport.tla.toolbox.product.product/org.lamport.tla.toolbox.product.product.product index eb9fc20ee5a84937c71dc3efa2d537b9d2fbba00..9e01e6e514732fd9767f1593ce517b61e9df18cd 100644 --- a/org.lamport.tla.toolbox.product.product/org.lamport.tla.toolbox.product.product.product +++ b/org.lamport.tla.toolbox.product.product/org.lamport.tla.toolbox.product.product.product @@ -8,9 +8,9 @@ <text> TLA+ Toolbox provides a user interface for TLA+ Tools. -This is Version 1.5.1 of UNRELEASED and includes: +This is Version 1.5.1 of 1 June 2015 and includes: - SANY Version 2.1 of 24 February 2014 - - TLC Version 2.07 of UNRELEASED + - TLC Version 2.07 of 1 June 2015 - PlusCal Version 1.8 of 2 April 2013 - TLATeX Version 1.0 of 12 April 2013 diff --git a/org.lamport.tla.toolbox.product.standalone/plugin.xml b/org.lamport.tla.toolbox.product.standalone/plugin.xml index 2834b8f619306a6f525b7629c3bf9bb50a30fa14..15f2d7a85f6a1987efd77e5c2fc72764753343a1 100644 --- a/org.lamport.tla.toolbox.product.standalone/plugin.xml +++ b/org.lamport.tla.toolbox.product.standalone/plugin.xml @@ -29,7 +29,7 @@ </property> <property name="aboutText" - value="TLA+ Toolbox provides a user interface for TLA+ Tools. 

This is Version 1.5.1 of UNRELEASED and includes:
 - SANY Version 2.1 of 24 February 2014
 - TLC Version 2.07 of UNRELEASED
 - PlusCal Version 1.8 of 2 April 2013
 - TLATeX Version 1.0 of 12 April 2013

Don't forget to click on help. You can learn about features that you never knew about or have forgotten.

Please send us reports of problems or suggestions; see https://groups.google.com/d/forum/tlaplus ."> + value="TLA+ Toolbox provides a user interface for TLA+ Tools. 

This is Version 1.5.1 of 1 June 2015 and includes:
 - SANY Version 2.1 of 24 February 2014
 - TLC Version 2.07 of 1 June 2015
 - PlusCal Version 1.8 of 2 April 2013
 - TLATeX Version 1.0 of 12 April 2013

Don't forget to click on help. You can learn about features that you never knew about or have forgotten.

Please send us reports of problems or suggestions; see https://groups.google.com/d/forum/tlaplus ."> </property> <property name="aboutImage" diff --git a/org.lamport.tla.toolbox/src/org/lamport/tla/toolbox/ui/view/ToolboxWelcomeView.java b/org.lamport.tla.toolbox/src/org/lamport/tla/toolbox/ui/view/ToolboxWelcomeView.java index 277fbeca3ba0a5f4fb9ac97b30072ee0b4739a71..18fe08ff3511e98c134652887f0bd0060a51eba0 100644 --- a/org.lamport.tla.toolbox/src/org/lamport/tla/toolbox/ui/view/ToolboxWelcomeView.java +++ b/org.lamport.tla.toolbox/src/org/lamport/tla/toolbox/ui/view/ToolboxWelcomeView.java @@ -201,7 +201,7 @@ public class ToolboxWelcomeView extends ViewPart final Label lblVersion = new Label(outerContainer, SWT.WRAP); lblVersion.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, false, false, 2, 1)); - lblVersion.setText("Version 1.5.1 of UNRELEASED"); + lblVersion.setText("Version 1.5.1 of 1 June 2015"); lblVersion.setBackground(backgroundColor); } diff --git a/tlatools/src/tlc2/TLCGlobals.java b/tlatools/src/tlc2/TLCGlobals.java index 93f581508e6b3b8a321b2369ff87bc3ab2f14920..44edadba17ddd5b0638451b1dd24ef5f5b642acc 100644 --- a/tlatools/src/tlc2/TLCGlobals.java +++ b/tlatools/src/tlc2/TLCGlobals.java @@ -16,7 +16,7 @@ public class TLCGlobals { // The current version of TLC - public static String versionOfTLC = "Version 2.06 of 9 May 2015"; + public static String versionOfTLC = "Version 2.07 of 1 June 2015"; // The bound for set enumeration, used for pretty printing public static int enumBound = 2000;