Hello Daniel, Thanks for applying our patches, it is much easier to work when they are in the mainline.
On Mon, Aug 3, 2009 at 10:14 AM, Daniel Dunbar<daniel at zuster.org> wrote: > 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 > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > -- Best Regards, Vladimir Kuznetsov
