[klee-dev] Current status of Z3 with FP-support

[Henrik Tjäder]

Hi,

Reading (1) and quoting Dan Liew,

"I'm aware of klee-fp. However I should warn you (so that you don't
waste time doing this) that I (and another research institution) have
already extended KLEE with floating point support using Z3. We intend
to open source our implementations in the very near future."

I am curious about the state of this ongoing work, and if there are any
need for testers or such.

Best regards,
Henrik Tjäder

(1) - http://www.mail-archive.com/klee-dev@imperial.ac.uk/msg02517.html