[klee-dev] KLEE buildbot

[Cristian Cadar]

Thanks to Dominic Chen, we now have a new functioning buildbot, 
accessible at http://vm-klee.doc.ic.ac.uk:55555/ (and linked from the 
main webpage).  It builds KLEE under Ubuntu 12.04 with LLVM 2.9 and STP 
r940 (klee-stable) as well as with LLVM 3.3 and the latest STP 
(klee-unstable).

Please let me now if you would like to run a buildslave for KLEE on a 
different environment, that would certainly be useful.

Best,
Cristian