subject:"\[klee\-dev\] Current status of Z3 with FP\-support"

Re: [klee-dev] Current status of Z3 with FP-support

2017-09-21 Thread Dan Liew

Hi, On 12 June 2017 at 13:12, Henrik Tjäder wrote: > 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

Re: [klee-dev] Current status of Z3 with FP-support

2017-06-12 Thread Dan Liew

Hi, On 12 June 2017 at 13:12, Henrik Tjäder wrote: > 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

[klee-dev] Current status of Z3 with FP-support

2017-06-12 Thread Henrik Tjäder

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