Code

double-width pointer encoding#6836

Code

Draft

kroening wants to merge 5 commits intodevelopdiffblue/cbmc:developfrom

pointer-encoding2diffblue/cbmc:pointer-encoding2Copy head branch name to clipboard

Commits

Commits on Apr 29, 2022

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

  Show description for 57a52d3
  kroening

  committed
  57a52d3

  Copy full SHA for 57a52d3

• double-width pointer encoding with numbering for ptr->int

  kroening

  committed
  c2f689d

  Copy full SHA for c2f689d

• fx

  kroening

  committed
  41fed6a

  Copy full SHA for 41fed6a

• fx

  kroening

  committed
  0c52238

  Copy full SHA for 0c52238

• fx

  kroening

  committed
  69742ac

  Copy full SHA for 69742ac