Code

Goto analyzer 5 part1#953

Code

Merged

kroening merged 7 commits intodiffblue:masterdiffblue/cbmc:masterfrom

martin-cs:goto-analyzer-5-part1martin-cs/cbmc:goto-analyzer-5-part1Copy head branch name to clipboard

May 23, 2017

Commits

Commits on May 22, 2017

• Use ai function output in goto-instrument.

  

  danpoe

  authored and

  martin

  committed
  baa5741

  Copy full SHA for baa5741

Commits on May 23, 2017

• Add output_json to the dependence_graph abstract domain.

  

  martin

  committed
  026f2de

  Copy full SHA for 026f2de

• Improve annotation of dependence graph declarations.

  

  martin

  committed
  4b6e59e

  Copy full SHA for 4b6e59e

• Add utility function for remove_unreachable.

  

  martin

  committed
  ffd6e55

  Copy full SHA for ffd6e55

• Fix formatting of comments in interval domain.

  

  martin

  committed
  ff65162

  Copy full SHA for ff65162

• White space fix up in test case.

  

  martin

  committed
  3b0266d

  Copy full SHA for 3b0266d

• Add make clean to clear the regression test results.

  

  martin

  committed
  784f2ed

  Copy full SHA for 784f2ed