2026-05-05 22:37 UTC
An evening well spent learning just enough Z3 to be dangerous at creating instruction encodings
Replies (1)
-
@regehr@mastodon.social 2026-05-05 22:38
@resistor@mastodon.online but also please consider using an existing instruction semantics! there are multiple versions of AArch64, for example