Code

New pointer encoding#6832

Code

Open

kroening wants to merge 4 commits intodevelopdiffblue/cbmc:developfrom

pointer-encodingdiffblue/cbmc:pointer-encodingCopy head branch name to clipboard

Commits

Commits on Apr 28, 2022

• bv_utilst::sign_extension, zero_extension and zeros can be static

  Show description for ed2a9fa
  kroening

  committed
  ed2a9fa

  Copy full SHA for ed2a9fa

• new pointer encoding

  Show description for 1ba8148
  kroening

  committed
  1ba8148

  Copy full SHA for 1ba8148

• pointer encoding: tests changed

  kroening

  committed
  b08c997

  Copy full SHA for b08c997

• re-encode integers converted to pointers

  kroening

  committed
  6f42b0e

  Copy full SHA for 6f42b0e