symbiotic icon indicating copy to clipboard operation
symbiotic copied to clipboard
verified publisher icon staticafi

support some floating instructions

Open mchalupa opened this issue 9 years ago • 1 comments

functions like round, trunc, ceil and floor could be implemented (e.g. https://github.com/klee/klee-uclibc/blob/c8efc9c36516d72fcdd24cb343c21cd302456893/libm/s_round.c)

mchalupa avatar Nov 16 '16 17:11 mchalupa

and some floating point handling could be rewritten to fractions using instrumentation?

mchalupa avatar Nov 27 '17 15:11 mchalupa