mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-11-22 05:45:51 +03:00
| .. | ||
| src/Data/Macaw/AArch32/Symbolic | ||
| test | ||
| test-data | ||
| LICENSE | ||
| macaw-aarch32-syntax.cabal | ||
| README.md | ||
macaw-aarch32-syntax
This package provides concrete syntax for macaw-aarch32-symbolic types and operations.
Concretely, it implements a ParserHooks for use with crucible-syntax.
This ParserHooks supports the following types and operations:
Types:
AArch32Regs: the struct of all AArch32 registers
Operations:
get-reg :: AArch32Reg -> AArch32Regs -> t: extract an AArch32 registerset-reg :: AArch32Reg -> t -> AArch32Regs -> AArch32Regs: set an AArch32 register- Registers:
r0 :: AArch32Regr1 :: AArch32Regr2 :: AArch32Regr3 :: AArch32Regr4 :: AArch32Regr5 :: AArch32Regr6 :: AArch32Regr7 :: AArch32Regr8 :: AArch32Regr9 :: AArch32Regr10 :: AArch32Regr11 :: AArch32Reg, AKAfpfp :: AArch32Reg, AKAr11r12 :: AArch32Reg, AKAipip :: AArch32Reg, AKAr12r13 :: AArch32Reg, AKAspsp :: AArch32Reg, AKAr13r14 :: AArch32Reg, AKAlrlr :: AArch32Reg, AKAr14v0 :: AArch32Regv1 :: AArch32Regv2 :: AArch32Regv3 :: AArch32Regv4 :: AArch32Regv5 :: AArch32Regv6 :: AArch32Regv7 :: AArch32Regv8 :: AArch32Regv9 :: AArch32Regv10 :: AArch32Regv11 :: AArch32Regv12 :: AArch32Regv13 :: AArch32Regv14 :: AArch32Regv15 :: AArch32Regv16 :: AArch32Regv17 :: AArch32Regv18 :: AArch32Regv19 :: AArch32Regv20 :: AArch32Regv21 :: AArch32Regv22 :: AArch32Regv23 :: AArch32Regv24 :: AArch32Regv25 :: AArch32Regv26 :: AArch32Regv27 :: AArch32Regv28 :: AArch32Regv29 :: AArch32Regv30 :: AArch32Regv31 :: AArch32Reg