Bit-wise reasoning
- Introduce new
bitvecandbitvec_rawtypes, and their typing rules. - Rewriting rules for normalizing bit vectors (by customized constructors).
- Case study:
pgtable.c
Edited by Fengmin Zhu
bitvec and bitvec_raw types, and their typing rules.pgtable.c