I currently have the https://github.com/srg-imperial/klee-float <https://t.co/iq6VMQHLS7?amp=1> patch along with some FP intrinsics supported here: https://github.com/qrort/klee <https://t.co/EbHLzazVQf?amp=1>. You have mentioned that you'd be happy to discuss the possibilities of this to be merged in mainline KLEE in this issue <https://github.com/srg-imperial/klee-float/issues/3>. I am willing to take the work that needs to be done. Can we discuss it? :)
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev