Code

bv2integer is now told the width#3100

Code

Merged

kroening merged 3 commits intodevelopdiffblue/cbmc:developfrom

hex-bitvectors3diffblue/cbmc:hex-bitvectors3Copy head branch name to clipboard

Oct 18, 2018

Commits

Commits on Oct 18, 2018

• use high-level numerical conversion

  Show description for a3c453c
  

  Daniel Kroening

  committed
  a3c453c

  Copy full SHA for a3c453c

• goto_trace: strengthen signature of numeric_representation

  

  Daniel Kroening

  committed
  2f080ef

  Copy full SHA for 2f080ef

• bv2integer is now told the width

  

  Daniel Kroening

  committed
  92f2621

  Copy full SHA for 92f2621