codet now inherits from irept, not exprt#2825

Closed

kroening wants to merge 11 commits intodevelopfrom

code-is-not-an-expression

Commits on Aug 17, 2019

use code_blockt::add()
Daniel Kroening
committed
codet: introduce codet operand methods
Daniel Kroening
committed
separate format_rec for codet
Daniel Kroening
committed
expr2ct::convert_norep now takes an irep
Daniel Kroening
committed
expr2ct::convert_code_assign now builds a temporary expression
Daniel Kroening
committed
expr2ct::convert_function now has variant with operands only
Daniel Kroening
committed
use instructiont::apply
Daniel Kroening
committed
fix for calls to validate_expr
Daniel Kroening
committed
use transform() in rewrite_union
Daniel Kroening
committed
codet now inherits from irept
Daniel Kroening
committed
fx symex
Daniel Kroening
committed