Kevin Quick 3120eda53f [arm] Add value extraction for LdstSoReg operand.		2018-02-22 16:24:02 -08:00
..
src/Data/Macaw	[arm] Add value extraction for LdstSoReg operand.	2018-02-22 16:24:02 -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] Added identifyCall and identifyReturn trivial implementations.	2018-02-22 16:15:34 -08:00
Setup.hs	Initial empty framwork for macaw-arm ARM support.	2017-12-18 17:46:17 -08:00