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 _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
