Code

Use small intrusive pointer in irep#786

Code

Closed

reuk wants to merge 2 commits intodiffblue:masterdiffblue/cbmc:masterfrom

reuk:small-shared-ptrreuk/cbmc:small-shared-ptrCopy head branch name to clipboard

Commits

Commits on Apr 10, 2017

• Use small intrusive pointer in irep

  reuk

  committed
  d86342e

  Copy full SHA for d86342e

Commits on Apr 12, 2017

• Add intrusive copy-on-write class

  reuk

  committed
  22170b7

  Copy full SHA for 22170b7