Currently, all chips assumptions can be expressed either as arithmetic constraint or IS_WORD, leading to a possibility of formalizing them further and enabling us to give the Some of the assumptions can be checked with only arithmetic constraints tables more easily.
The flip side of this is that this may limit the expressiveness of future assumptions to fit into this harness.
Currently, all chips assumptions can be expressed either as arithmetic constraint or
IS_WORD, leading to a possibility of formalizing them further and enabling us to give theSome of the assumptions can be checked with only arithmetic constraintstables more easily.The flip side of this is that this may limit the expressiveness of future assumptions to fit into this harness.