[klee-dev] KLEE floating-point support

[Aleksei Pleshakov]

 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? :)
-------------- next part --------------
HTML attachment scrubbed and removed