symbiotic
symbiotic copied to clipboard
support some floating instructions
functions like round, trunc, ceil and floor could be implemented (e.g. https://github.com/klee/klee-uclibc/blob/c8efc9c36516d72fcdd24cb343c21cd302456893/libm/s_round.c)
and some floating point handling could be rewritten to fractions using instrumentation?