Introduce symex value set as interface to value set - #4778

Closed

romainbrenguier wants to merge 11 commits into

diffblue:developfrom

romainbrenguier:clean-up/symex-value-set

Commits on Jun 12, 2019

Replace use of get_l1_object by remove_level_2
romainbrenguier
committed
cc3f821
Move renaming validation functions to renamed.h
romainbrenguier
committed
fd85add
Remove spurious type check in is_l1_renamed
romainbrenguier
committed
7b2854a
Add missing forward declarations
romainbrenguier
committed
8c6eabd
Move make_renamed implementation to cpp file
romainbrenguier
committed
7bf4f74
Use format instead of from_expr in value_sett output
romainbrenguier
committed
94cacf4
Version of value_sett::output without ns argument
romainbrenguier
committed
260ef9b
Clarify value set documentation
romainbrenguier
committed
20ed184
Define a symex_value_sett class
romainbrenguier
committed
d2f2c88
check_l1_renaming function for ssa_exprt
romainbrenguier
committed
e1a4aa7
Use symex_value_sett instead of value_sett in symex
romainbrenguier
committed
711abcc