Use local variables for the old state#482

Merged

gauravpartha merged 7 commits into

old_state_refactoring

Dec 15, 2023

Commits on Dec 5, 2023

remove old state setup for the function definedness check
gauravpartha
committed
remove unused initOldState methods in heap and perm module
gauravpartha
committed
use separate variables for the old state instead of reusing the old Boogie state
gauravpartha
committed

Commits on Dec 6, 2023

minor fix
gauravpartha
committed

Commits on Dec 14, 2023

Merge branch 'master' into old_state_refactoring
gauravpartha
committed

Commits on Dec 15, 2023

⚡