3 Pull requests merged by 2 people

• Switch to the *_neon functions

  #183 merged Feb 7, 2025

• Add a very basic support for Mach-O format

  #188 merged Feb 6, 2025

• Enable memory operations in ARM cosimulator

  #186 merged Feb 3, 2025

1 Pull request opened by 1 person

• [Draft] Enable testing of instructions with memory operands in x86_64 simulator

  #189 opened Feb 5, 2025

1 Issue closed by 1 person

• Make proof replay work on Apple Silicon/macOS

  #185 closed Feb 6, 2025

1 Unresolved conversation

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Add LD1R, FMOV and SRI instructions

  #182 commented on Feb 4, 2025 • 1 new comment