Fix/correct domain interface#1790

Merged

tautschnig merged 9 commits intodiffblue:developfrom

martin-cs:fix/correct-domain-interface

Feb 9, 2018

Commits on Feb 9, 2018

Revert "Fix iterator equality check bug in constant_propagator.cpp"
martin
committed
Revert "Fix iterator equality check bug in custom_bitvector_analysis.cpp"
martin
committed
Revert "Fix iterator equality check bug in dependence_graph.cpp"
martin
committed
Revert "Fix iterator comparison bug in reaching_definitions.cpp"
martin
committed
Revert "Add edge type parameter to ai transform method"
martin
committed
Whitespace changes to keep clang-format happy.
martin
committed
Document the invariants on iterators arguments to transform and merge.
martin
committed
Correct domain transformers so that they meet the preconditions.

martin
authored and
martin
committed
Catch the case when a GOTO instruction is effectively a SKIP.

martin
authored and
martin
committed