-
Jonathan Moerman authored
Inline pow2, remove a few proof asserts Improved proof assertions (now depends less on things like reg54) Remove or contract a few assertions, fixes slow xor assert verifications
16c1132c
Inline pow2, remove a few proof asserts Improved proof assertions (now depends less on things like reg54) Remove or contract a few assertions, fixes slow xor assert verifications