Simplifier: new interface, final piece [blocks: #4904]#4874

Merged

tautschnig merged 18 commits intodevelopfrom

simplifier_new_interface3

Jul 14, 2019

Commits on Jul 13, 2019

simplifier: use new interface
Daniel Kroening
committed
simplifier: prevent spurious adding of type
Daniel Kroening
committed
simplifier: simplify_rec has new interface
Daniel Kroening
committed
simplifier: move if_expr related methods into separate file
Daniel Kroening
committed
simplify_expr_if: result -> nochange
Daniel Kroening
committed

Commits on Jul 14, 2019

simplify_inequality_* methods use new interface
Daniel Kroening
committed
type simplify_sign
Daniel Kroening
committed
type simplify_extractbit
Daniel Kroening
committed
type simplify_bitnot
Daniel Kroening
committed
type simplify_not
Daniel Kroening
committed
type simplify_index
Daniel Kroening
committed
type simplify_member
Daniel Kroening
committed
type simplify_unary_minus
Daniel Kroening
committed
simplifier: type remaining methods for unary expressions
Daniel Kroening
committed
type simplify_concatenation
Daniel Kroening
committed
type simplify_unary_plus
Daniel Kroening
committed
removed unneeded call to simplify_node in simplify_boolean
Daniel Kroening
committed
improved typing in simplify_boolean
Daniel Kroening
committed