Code

Basic version of goto-diff tool#65

Code

Merged

kroening merged 4 commits intodiffblue:masterdiffblue/cbmc:masterfrom

peterschrammel:goto-diffpeterschrammel/cbmc:goto-diffCopy head branch name to clipboard

Jul 1, 2016

Commits

Commits on Jun 18, 2016

• goto-diff initial

  

  Peter Schrammel

  committed
  059da82

  Copy full SHA for 059da82

• goto-diff --unified: output diff of individual instructions

  

  tautschnig

  authored and

  Peter Schrammel

  committed
  598fede

  Copy full SHA for 598fede

• getter of dependence-edge kind

  

  tautschnig

  authored and

  Peter Schrammel

  committed
  e01dc82

  Copy full SHA for e01dc82

• goto-diff --change-impact of control/data dependencies

  

  tautschnig

  authored and

  Peter Schrammel

  committed
  82ff1fc

  Copy full SHA for 82ff1fc