Ci/bits

Merged Fengmin Zhu requested to merge ci/bits into master

Bitwise operators semantics and bound checking.

Merge request reports