Release of the procedural termination prover described in the CPP'17 submission
Reuben N. S. Rowe and James Brotherston
Automatic Cyclic Termination Proofs for Recursive Procedures in Separation Logic
A compressed archive containing the source code, test suite and Linux x64 binaries is below.
See cyclist-prover.org for more information.