Re: [klee-dev] KLEE floating-point support

Hi Aleksei, From what I understand, you managed to rebase the KLEE-Float extension on top of KLEE's mainline. That's great! As I mentioned on GitHub, my main concern is that KLEE-Float changes the expression representation, which has a significant impact on the core of KLEE. The question

[klee-dev] KLEE floating-point support

I currently have the https://github.com/srg-imperial/klee-float patch along with some FP intrinsics supported here: https://github.com/qrort/klee . You have mentioned that you'd be happy to discuss the possibilities of this to be