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

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



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.

Best regards,
Tomer

On 22 April 2015 at 20:51, Leslie Lamport <tlapl...@xxxxxxxxx> wrote:
Hi Gianluca,

There have been recent problems with the msr-inria web site.  They are probably the cause of the "not found" error you encountered.  The issue has been reported and I hope will be resolved soon.

Leslie

--
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.