Code

Implement macaw-riscv-symbolic#411

Code

Merged

RyanGlScott merged 3 commits intomasterGaloisInc/macaw:masterfrom T409-macaw-riscv-symbolicGaloisInc/macaw:T409-macaw-riscv-symbolicCopy head branch name to clipboardJul 26, 2024

+1,027-10

Commits

Commits on Jul 26, 2024

• Implement macaw-riscv-symbolic

  Show description for f47b425
  RyanGlScott

  committed
  f47b425

  Copy full SHA for f47b425

• symbolic: Make {lookup,update}Reg implementations panic rather than error

  Show description for dd7f170
  RyanGlScott

  committed
  dd7f170

  Copy full SHA for dd7f170

• macaw-{ppc,riscv}-symbolic: Move S definition above functions that use it

  RyanGlScott

  committed
  5ee37cf

  Copy full SHA for 5ee37cf