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

[Gianluca Guida <glg...@xxxxxxxxx>]

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!

Cheers,
Gianluca