This adds the necessary plumbing to simulate Macaw-lifted RISC-V binaries using macaw-symbolic. This proves relatively straightforward, given that RISC-V does not have a lot of special primitive functions or statements to deal with. I have also added a basic test suite to ensure that macaw-riscv-symbolic works on end-to-end examples.
This adds the necessary plumbing to simulate Macaw-lifted RISC-V binaries using
macaw-symbolic. This proves relatively straightforward, given that RISC-V does not have a lot of special primitive functions or statements to deal with. I have also added a basic test suite to ensure thatmacaw-riscv-symbolicworks on end-to-end examples.Fixes #409.