Code

Float-point library implementation#733

Code

Merged

kroening merged 4 commits intodiffblue:masterdiffblue/cbmc:masterfrom

tautschnig:float-libtautschnig/cbmc:float-libCopy head branch name to clipboard

Jun 19, 2017

Commits

Commits on Jun 7, 2017

• A first cut at the additions we need to the math library.

  

  martin

  authored and

  tautschnig

  committed
  9f23c25

  Copy full SHA for 9f23c25

• An alternative implementation to avoid the difference between RNE and RNA.

  

  martin

  authored and

  tautschnig

  committed
  0777675

  Copy full SHA for 0777675

• Fix special cases for the remainder functions, now down to 4 failures!

  

  martin

  authored and

  tautschnig

  committed
  e821efe

  Copy full SHA for e821efe

• Support "polymorphic" floating-point functions, fix typos

  Show description for 45d7f08
  tautschnig

  committed
  45d7f08

  Copy full SHA for 45d7f08