[klee-dev] KLEE development status

[Mark R. Tuttle]

I'm a researcher at Intel trying to start a project applying KLEE to BIOS.

Is KLEE still under active development?

I see a lot of activity in the klee-dev archives, but KLEE itself seems to
require old versions of LLVM and STP, and I wondered what to make of that.
Is there support for MinGW?  I see the MinGW binaries for llvm and llvm-gcc
version 2.9 under llvm.org, and I'm working on STP.

Thanks,
Mark
-------------- next part --------------
HTML attachment scrubbed and removed