WIP: Function axiomatization fix using uninterpreted guard function - #434

Draft

gauravpartha wants to merge 4 commits into

Commits on Sep 29, 2022

wip fun axiomatization fix with uninterpeted guards
gauravpartha
committed
59f842c

Commits on Oct 3, 2022

fix function axiomatization version 1
gauravpartha
committed
357d062
abstract function fix
gauravpartha
committed
31eb23d

Commits on Dec 20, 2022

generalized implementation of free function call assumptions and assume free function call assumptions during exhale of self-framing conditions (where no well-definedness check happens)
gauravpartha
committed
eeca501