Code

ppc-symbolic: Indexes for registers#445

Code

Merged

langston-barrett merged 5 commits intomasterGaloisInc/macaw:masterfrom lb/ppc-regsGaloisInc/macaw:lb/ppc-regsCopy head branch name to clipboardSep 26, 2024

+547-130

Commits

Commits on Sep 25, 2024

• ppc-symbolic: Factor register-related definitions into their own module

  

  Your Name

  committed
  b4ca323

• ppc-symbolic: Index for ip

  

  Your Name

  committed
  93e6675

• ppc-symbolic: Indexes for remaining registers

  

  Your Name

  committed
  ec352de

• ppc-symbolic: Don't warn about an orphan instance

  

  Your Name

  committed
  4356078

Commits on Sep 26, 2024

• ppc-symbolic: Add INLINE to updateReg to avoid compiler bug

  

  Your Name

  committed
  b7c5805