termite is a termination analyser.
To install termite using opam:
-
Install llvm 3.6
-
Add the repository.
opam remote add termite https://github.com/termite-analyser/opam-termite.git
-
Take a coffee, and wait for Z3's compilation.
opam install termite -v -
Install Pagai. The Z3 version doesn't matter but the llvm version used by pagai should be the same than the one used by termite.
-
Clang is also very recommended.