mirror of
https://github.com/powdr-labs/powdr.git
synced 2026-04-20 03:03:25 -04:00
This fixes a bug in witjitgen where the bit operations used for masking in bit-decomposition would use field elements as types for the masks. The problem is that we sometimes mask using masks outside the field and the proper type for masks is FieldElement::Integer.