Code

Add deprecate macro#2037

Code

Merged

hannes-steffenhagen-diffblue merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

hannes-steffenhagen-diffblue:add_deprecate_macrohannes-steffenhagen-diffblue/cbmc:add_deprecate_macroCopy head branch name to clipboard

Apr 11, 2018

Commits

Commits on Apr 10, 2018

• Add DEPRECATED macro to mark deprecated functions and variables

  hannes-steffenhagen-diffblue

  committed
  116fffd

  Copy full SHA for 116fffd

Commits on Apr 11, 2018

• Add DEPRECATED to functions documented as \deprecated

  hannes-steffenhagen-diffblue

  committed
  0a2c43e

  Copy full SHA for 0a2c43e