klee/klee — pull request #118 by MartinNowack (2014-04-22 09:38:51+00:00)
Title: Initial version for installing newer KLEE

First version of instructions for installing new version of KLEE.

Highlights:
* no compilation of LLVM needed!
* up-to-date repositories

Probably some requirements are missing.
But we can check this - it's a start.