Code

Fix/correct domain interface#1790

Code

Merged

tautschnig merged 9 commits intodiffblue:developdiffblue/cbmc:developfrom

martin-cs:fix/correct-domain-interfacemartin-cs/cbmc:fix/correct-domain-interfaceCopy head branch name to clipboard

Feb 9, 2018

Commits

Commits on Feb 9, 2018

• Revert "Fix iterator equality check bug in constant_propagator.cpp"

  Show description for db925de
  

  martin

  committed
  db925de

  Copy full SHA for db925de

• Revert "Fix iterator equality check bug in custom_bitvector_analysis.cpp"

  Show description for 86cadcd
  

  martin

  committed
  86cadcd

  Copy full SHA for 86cadcd

• Revert "Fix iterator equality check bug in dependence_graph.cpp"

  Show description for ac036fd
  

  martin

  committed
  ac036fd

  Copy full SHA for ac036fd

• Revert "Fix iterator comparison bug in reaching_definitions.cpp"

  Show description for 3ca91bc
  

  martin

  committed
  3ca91bc

  Copy full SHA for 3ca91bc

• Revert "Add edge type parameter to ai transform method"

  Show description for 1990994
  

  martin

  committed
  1990994

  Copy full SHA for 1990994

• Whitespace changes to keep clang-format happy.

  

  martin

  committed
  e3db794

  Copy full SHA for e3db794

• Document the invariants on iterators arguments to transform and merge.

  Show description for d447c26
  

  martin

  committed
  d447c26

  Copy full SHA for d447c26

• Correct domain transformers so that they meet the preconditions.

  Show description for b2fba97
  

  martin

  authored and

  martin

  committed
  b2fba97

  Copy full SHA for b2fba97

• Catch the case when a GOTO instruction is effectively a SKIP.

  Show description for d7bb937
  

  martin

  authored and

  martin

  committed
  d7bb937

  Copy full SHA for d7bb937