Hi all, I thought I would mention a few bits of recent KLEE news...
1. KLEE now works on x86_64 on Linux. Many thanks to Vladimir Kuznetsov from EPFL for contributing his work on this. The current status is that KLEE passes all of its regression tests. I haven't tested it yet on real applications, but I hope to do some runs of it on coreutils soon. 2. I added instructions for building uClibc and the POSIX runtime, here: http://klee.llvm.org/GetStarted.html 3. I started writing a description of the steps necessary to test coreutils, here: http://klee.llvm.org/TestingCoreutils.html Cheers, - Daniel
