s-falke/llvm2kittel — pull request #32 by mmjb (2014-09-28 15:20:07+00:00)
Title: Add T2 export to llvm2kittel

This allows to use llvm2kittel as llvm2t2, i.e., to use T2 as backend for termination proofs of llvm programs.

In the process, I've enforced using C++11 -- seeing how this is 2014, and the whole thing is basically a compiler extension, this seems like a reasonable requirement. Also, auto and foreach are great.