Kevin Quick 0e540d2025 [arm] Added CPSR as a known register.		2018-02-20 08:38:17 -08:00
..
src/Data/Macaw	[arm] Added CPSR as a known register.	2018-02-20 08:38:17 -08:00
tests	[arm] Initial support for abstract statement evaluation via semmc info.	2018-01-08 13:38:28 -08:00
ChangeLog.md	Initial empty framwork for macaw-arm ARM support.	2017-12-18 17:46:17 -08:00
LICENSE	Initial empty framwork for macaw-arm ARM support.	2017-12-18 17:46:17 -08:00
macaw-arm.cabal	[arm] Initial operand support with GP registers handled.	2018-02-02 16:06:52 -08:00
Setup.hs	Initial empty framwork for macaw-arm ARM support.	2017-12-18 17:46:17 -08:00