[klee-dev] silently concretize float expression to value than reading a research paper

[Daniel Liew]

On 2 March 2013 13:10, David Lightstone <david.lightstone at prodigy.net> wrote:
> Dear Dan Liew
>
> At one time I did attempt to build KLEE-FP.
> No success, effort abandoned many months ago
>
> I do hope you are reporting existence based upon actually building it,
> rather than reading a research paper

Yes I successfully built it. It wasn't easy but I successfully
compiled KLEE-FP. I am currently in the middle of testing it so I
don't actually know how well it really works yet.

Regards,
Dan Liew.