Re: [tlaplus] Latest release of TLA Proof System

[Stephan Merz <stephan.merz@xxxxxxxxx>]

Hello Harold,

it looks like you are running the most recent public version of TLAPS. We are preparing a bug fix release that should have appeared at the end of last year but unfortunately has been held up by a few technical issues. Also, work has started on supporting ENABLED as a first step towards reasoning about more general liveness properties, but I don't know when we'll be ready to release that.

Best regards,
Stephan


> On 10 Feb 2019, at 12:51, haroldas.giedra@xxxxxxxxx wrote:
> 
> Hello, 
> 
> I am interested in TLA Proof System. As far as I know temporal reasoning is not supported in the TLAPS at the moment. Maybe I am working with old version of TLAPS, which is 1.4.3 (June 2015). 
> 
> Version history says: 
> 
> TLAPS version 1.4.3   (June 2015)
> TLAPS version 1.3.2   (May 2014)
> TLAPS version 1.3.0   (March 2014)
> TLAPS version 1.2.1   (September 2013)
> TLAPS version 1.1.1   (November 2012)
> TLAPS version 1.0   (January 2012)
> TLAPS version 0.9   (October 2010)
> 
> Is "TLAPS version 1.4.3 (June 2015)" the latest version of TLAPS ? 
> 
> Does somebody know when the new version of TLAPS will be released ?
> 
> Kind Regards,
> Harold
> 
> 
> 
> -- 
> You received this message because you are subscribed to the Google Groups "tlaplus" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
> To post to this group, send email to tlaplus@xxxxxxxxxxxxxxxx.
> Visit this group at https://groups.google.com/group/tlaplus.
> For more options, visit https://groups.google.com/d/optout.

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To post to this group, send email to tlaplus@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.