Algorithm.L0_Lifting
lift_to_L0 :: StateT Context IO () Source #
The main algorithm for lifting a binary to an L0 representation (i.e., a Hoare Graph)