[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Re: Resolved: TLA toolbox crash/segfault complaining of libsoup on Linux

Hi Tianxiang,

the virtual server appears to have crashed. I filed a ticket with the system administrators yesterday and hope that the issue will soon be resolved. 

Sorry for the inconvenience 

On 18 Apr 2015, at 13:25, Dr. Tianxiang Lu <tianx...@xxxxxxxxx> wrote:


the toolbox download page doesn't work. 

is there any alternative download link for getting the stable versions?

Best regards,

Am Sonntag, 5. April 2015 18:29:37 UTC+2 schrieb Markus Alexander Kuppe:
On 05.04.2015 18:07, Stephan Merz wrote:
> As mentioned in a reply by Markus Kuppe to a similar report, you may
> want to consider using the development version of the Toolbox,
> available at http://tla.msr-inria.inria.fr/kuppe/e4/products/. It is
> based on a current version of Eclipse and contains various
> improvements, in particular a new version of TLC that fixes a
> long-standing problem concerning counter-examples produced for
> liveness properties.


a minor correction: The most up-to-date and stable toolbox is at [1].
[2] is a development branch build which has all the changes that are in
[1] and additional fixes for liveness checking. However, I consider it
less "stable".


[1] http://tla.msr-inria.inria.fr/tlatoolbox/ci/products/
[2] http://tla.msr-inria.inria.fr/kuppe/liveness/products/

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+u...@xxxxxxxxxxxxxxxx.
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at http://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.