GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-29 11:02:13 +03:00
Code Issues Projects Releases Wiki Activity
f77d848ec1
macaw/macaw-x86-syntax/README.md

416 B
Raw Blame History

macaw-x86-syntax

This package provides concrete syntax for macaw-x86-symbolic types and operations.

Concretely, it implements a ParserHooks for use with crucible-syntax. This ParserHooks supports the following types and operations:

Types:

  • X86Regs: the struct of all x86_64 registers

Operations:

(none so far)