trailofbits/manticore

Speed up ArmV7Operand.type assertions
#1313

disconnect3d wants to merge faster-arm-operand-assertions into master

Compare on GitHub

We do not currently have an analysis of these two commits