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

Re: [tlaplus] Re: (TLAPS) ptl_to_trp source code?

Thanks for the quick reply.

On Wed, Apr 22, 2015 at 8:34 PM, Shaolintl . <shao...@xxxxxxxxx> wrote:
> Hi Gianluca,
> The ptl_to_trp script is responsible for converting the input ptl formulas
> into TRP format. Boris Konev has implemented this converter and has agreed
> to let us redistribute it with TLA under the terms of the BSD license.
> The translator can therefore (also) be obtained from:
> http://cgi.csc.liv.ac.uk/~konev/software/trp++/translator/
> Note that the resulted binary should be renamed ptl_to_trp.

Yes, that is clearly the missing utility. The system appears to be
working fine now!