Skip to content

Add bool_to_Z

Michael Sammler requested to merge msammler/bool_to_Z into master

This MR adds bool_to_Z which has been used as Z_of_bool in both RefinedC and RustBelt. There is not much theory for it as most of the time one can reason about it by computation.

Merge request reports