Skip to content

More simpl instances for bf_cons

Fengmin Zhurequested to merge
ci/bits-auto-simpl into master
  1. Instances for a singleton bf_cons compare with 0
  2. Instance for solving equality of two bf_cons with the same shape (field indices)
  3. Case study pgtable.c is updated accordingly, removing usages of the heuristic tactic simpl_bool_hyp
Edited by Fengmin Zhu

Merge request reports