pate icon indicating copy to clipboard operation
pate copied to clipboard

Published 20 hours ago • verified publisher icon GaloisInc

Support ARM conditional calls

Open travitch opened this issue 2 years ago • 0 comments

We now have support for ARM conditional returns via a macaw architecture-specific extension. We need to add the analogous infrastructure for conditional calls.

Contributes to #282

travitch avatar Apr 27 '22 20:04 travitch