Code

Generalize passes that require RTTI#2127

Code

Closed

peterschrammel wants to merge 3 commits intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:lang-indep-virtual-instanceofpeterschrammel/cbmc:lang-indep-virtual-instanceofCopy head branch name to clipboard

Commits

Commits on Apr 28, 2018

• Move instanceof and exceptions removal back to goto-programs

  peterschrammel

  committed
  deae734

  Copy full SHA for deae734

• Remove java_bytecode dependency from remove_instanceof

  peterschrammel

  committed
  9d09ebc

  Copy full SHA for 9d09ebc

• Remove Java dependency from remove_virtual_functions

  peterschrammel

  committed
  b3ba2cc

  Copy full SHA for b3ba2cc