From daa02f3ad6b0f554177cc3a94da4589ae2f9125b Mon Sep 17 00:00:00 2001 From: Markus Alexander Kuppe <tlaplus.net@lemmster.de> Date: Mon, 1 Jun 2015 10:17:31 +0200 Subject: [PATCH] Set release date and add (high level) changelog --- general/docs/microsoft-release.txt | 8 ++++++++ .../org.lamport.tla.toolbox.product.product.product | 4 ++-- org.lamport.tla.toolbox.product.standalone/plugin.xml | 2 +- .../lamport/tla/toolbox/ui/view/ToolboxWelcomeView.java | 2 +- tlatools/src/tlc2/TLCGlobals.java | 2 +- 5 files changed, 13 insertions(+), 5 deletions(-) diff --git a/general/docs/microsoft-release.txt b/general/docs/microsoft-release.txt index de3fe941f..b58073333 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 eb9fc20ee..9e01e6e51 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 2834b8f61..15f2d7a85 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 277fbeca3..18fe08ff3 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 93f581508..44edadba1 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; -- GitLab