Code

Avoid integer truncation#1330

Code

Closed

reuk wants to merge 3 commits intodiffblue:developdiffblue/cbmc:developfrom reuk:reuk/integer-size-bugfixreuk/cbmc:reuk/integer-size-bugfixCopy head branch name to clipboard

+104-99

Commits

Commits on Sep 5, 2017

• Avoid integer truncation

  reuk

  committed
  e578136

  Copy full SHA for e578136

• Use mp_integer more extensively in interpreter

  reuk

  committed
  b860c26

  Copy full SHA for b860c26

• Stop using unsigned and uint64_t in interpreter

  reuk

  committed
  661e095

  Copy full SHA for 661e095