Code

Cleanup of uses of get_new_name#2251

Code

Merged

tautschnig merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:rename-cleanuptautschnig/cbmc:rename-cleanupCopy head branch name to clipboard

May 31, 2018

Commits

Commits on May 29, 2018

• Do not include rename.h when not using its functions

  tautschnig

  committed
  a816b26

  Copy full SHA for a816b26

• Remove goto_convertt::lookup

  Show description for c24b820
  tautschnig

  committed
  c24b820

  Copy full SHA for c24b820

• Remove unused goto_symext::new_name

  tautschnig

  committed
  e6cd488

  Copy full SHA for e6cd488

• Consistently use get_fresh_aux_symbol instead of local implementations

  tautschnig

  committed
  4215f21

  Copy full SHA for 4215f21