Peter Collingbourne mentioned back in July that there was a branch of KLEE that includes floating point support:
http://keeda.stanford.edu/pipermail/klee-dev/2010-July/000428.html I'd like to use this branch, but before I invest a bunch of time getting it setup, I'm interested in knowing how stable it is. I plan to run some fairly complicated programs through it; does it seem likely that it will break in a significant number of non-trivial use cases? Denver http://ossguy.com/
