Skip to content

Bit-wise reasoning

Fengmin Zhu requested to merge ci/bitvec into master
  1. Introduce new bitvec and bitvec_raw types, and their typing rules.
  2. Rewriting rules for normalizing bit vectors (by customized constructors).
  3. Case study: pgtable.c
Edited by Fengmin Zhu

Merge request reports