A high-level LLVM interface for CiaoThis is a very high-level (and incomplete) interface to LLVM. It is currently focused on the generation of Horn clauses (as Ciao programs) from LLVM IR, which is a necessary component in the analysis of imperative programs by CiaoPP.
Use ciao configure . to configure the bundle, ciao build . to build it, and ciao test . to run its tests.
See this bundle manual for more details (ciao doc ciao_llvm).
DependenciesThis bundle requires LLVM 3.9. It can be installed as follows:
- brew install llvm3.9 (macOS with homebrew)
- sudo apt-get install llvm-3.9 (Ubuntu/Debian)