[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:
> 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!