[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
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 .
 is a development branch build which has all the changes that are in
 and additional fixes for liveness checking. However, I consider it