ccadar/klee — pull request #72 by MartinNowack (2013-12-05 20:57:13+00:00)
Title: Deprecate LLVM 2.8 and lower

Remove support for deprecated LLVM 2.8 (#71).