Tristan Ravitch cbc7a3ca31 Feature/aarch32 symbolic backend (#162) ... aarch32-symbolic: Implement most of the remaining macaw-aarch32-symbolic bits It should be usable now, modulo some execution-time semantics for the floating point operations. There will be a separate ticket covering the changes required for them (some refactoring of how they are handled during translation is required).		2020-10-05 12:31:39 -07:00
..
src/Data/Macaw	Feature/aarch32 symbolic backend (#162)	2020-10-05 12:31:39 -07:00
tests	Tr/full arm intrinsics (#137)	2020-05-26 09:24:45 -07:00
ChangeLog.md	Rename macaw-asl to macaw-aarch32	2020-04-05 15:16:39 -07:00
LICENSE	Rename macaw-asl to macaw-aarch32	2020-04-05 15:16:39 -07:00
macaw-aarch32.cabal	Update bv-sized lower constraint to allow parameterized-utils 2.1.0.	2020-05-15 10:25:12 -07:00
Setup.hs	Rename macaw-asl to macaw-aarch32	2020-04-05 15:16:39 -07:00