llvm2KITTeL

llvm2KITTeL is a converter from LLVM's intermediate representation into a format that can be handled by the automatic termination prover KITTeL.

Author

Stephan Falke, Jeroen Ketema, Marc Brockschmidt

Name		Name	Last commit message	Last commit date
Latest commit History 186 Commits
cmake/modules		cmake/modules
include		include
lib		lib
tools		tools
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
INSTALL		INSTALL
LICENSE		LICENSE
README.markdown		README.markdown
kittel-llvm-bounded.in		kittel-llvm-bounded.in
kittel-llvm.in		kittel-llvm.in
make_git_sha1.sh		make_git_sha1.sh