Code

Print binary values of floats#5322

Code

Merged

thk123 merged 10 commits intodiffblue:developdiffblue/cbmc:developfrom

thk123:print-binary-values-of-floatsthk123/cbmc:print-binary-values-of-floatsCopy head branch name to clipboard

May 7, 2020

Commits

Commits on May 6, 2020

• Add test for printing different float values in the trace

  

  Thomas Kiley

  committed
  226b71b

  Copy full SHA for 226b71b

• Adapt test to check for binary in trace

  

  Thomas Kiley

  committed
  7e5b37e

  Copy full SHA for 7e5b37e

• Add additional tests for more types

  

  Thomas Kiley

  committed
  9384b91

  Copy full SHA for 9384b91

• Pull out function for producing the full_lhs_value

  

  Thomas Kiley

  committed
  b64757e

  Copy full SHA for b64757e

• Tidy up full_lhs_value

  Show description for e57e194
  

  Thomas Kiley

  and

  peterschrammel

  committed
  e57e194

  Copy full SHA for e57e194

• Adapt full_lhs_value to output binary for floating values

  Show description for 304c92c
  

  Thomas Kiley

  committed
  304c92c

  Copy full SHA for 304c92c

• Adapt the XSD to include the binary output

  Show description for 4049f15
  

  Thomas Kiley

  committed
  4049f15

  Copy full SHA for 4049f15

• Add folder readme for doc/assets

  Show description for 4fcbd37
  

  Thomas Kiley

  committed
  4fcbd37

  Copy full SHA for 4fcbd37

• Referenced readme in cprover docs

  Show description for cdb0b78
  

  Thomas Kiley

  committed
  cdb0b78

  Copy full SHA for cdb0b78

• Rename variables in test to avoid clash on windows

  Show description for be6f20f
  

  Thomas Kiley

  committed
  be6f20f

  Copy full SHA for be6f20f