Code

Pointers get a width#970

Code

Merged

kroening merged 3 commits intodevelopdiffblue/cbmc:developfrom

pointers-with-widthdiffblue/cbmc:pointers-with-widthCopy head branch name to clipboard

Sep 7, 2017

Commits

Commits on Sep 6, 2017

• pointer_typet now requires a width

  

  Daniel Kroening

  authored and

  peterschrammel

  committed
  f72b7fc

  Copy full SHA for f72b7fc

• pointer types now have width

  

  Daniel Kroening

  authored and

  peterschrammel

  committed
  ce86319

  Copy full SHA for ce86319

• remove legacy constructors

  

  Daniel Kroening

  authored and

  peterschrammel

  committed
  d3c0b57

  Copy full SHA for d3c0b57