Add floating point support to incremental SMT2 solver via bit-blasting#8922

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-8054-smt2-incr-floating-pointtautschnig/cbmc:fix-8054-smt2-incr-floating-pointCopy head branch name to clipboard