Luke Maurer 47d9d61998 Remove now-unnecessary optimization flags ... The spliced TH code has gotten small enough that running multiple iterations of the simplifier isn't horrible.		2018-07-03 12:24:34 -07:00
..
src/Data/Macaw	Remove now-unnecessary optimization flags	2018-07-03 12:24:34 -07:00
tests	arm: Update the tests to work with the latest macaw	2018-04-09 15:07:17 -07: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	Update for crucible reorganization and new what4 module.	2018-05-18 08:33:58 -07:00
Setup.hs	Initial empty framwork for macaw-arm ARM support.	2017-12-18 17:46:17 -08:00