Ryan Scott 1a758c70eb Implement macaw-riscv-symbolic ... 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. Fixes #409.		2024-07-26 15:25:29 -04:00
..
workflows	Implement macaw-riscv-symbolic	2024-07-26 15:25:29 -04:00
ci.sh	Update to follow changes in What4. Nat is no longer a base type (#190)	2021-02-19 15:44:56 -08:00