[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
(TLAPS) ptl_to_trp source code?
- From: Gianluca Guida <glg...@xxxxxxxxx>
- Date: Wed, 22 Apr 2015 11:06:24 -0700 (PDT)
I am not entirely convinced this is the right list to ask this question, but I read on the TLAPS FAQ that I should be encouraged to discuss about TLAPS in this list, so here it goes.
I am compiling TLAPS from scratch, backends included, as I am interested in running the system on OpenBSD -- so far the only non-trivial part has been adding OpenBSD support to PolyML.
examples/cantor/* are successfully running. I am having trouble in proofs that require PTL, as I get this error message:
/bin/sh: ptl_to_trp: not found
Digging a bit on the code it seems that this is a necessary step to run ls4, and that ptl_to_trp code is taken in the tlaps-release.sh script from:
It doesn't seem to exist an anonymous svn access from that server. Is the code publicly available? Is there something I am missing? Do I really need it?
I am quite new to TLAPS, so apologies in case the question is trivial.
Thanks in advance,