Ben Selfridge 221e5b3407 Merge branch 'master' of gitlab-ext.galois.com:macaw/macaw-semmc		2017-11-22 16:31:51 -08:00
..
src/Data/Macaw	Merge branch 'master' of gitlab-ext.galois.com:macaw/macaw-semmc	2017-11-22 16:31:51 -08:00
tests	[ppc] Make the PPC ELF helpers easier to use	2017-11-21 14:10:47 -08:00
ChangeLog.md	first commit	2017-08-28 15:48:55 -07:00
LICENSE	first commit	2017-08-28 15:48:55 -07:00
macaw-ppc.cabal	Add a (currently failing) test for indirect call handling	2017-11-14 19:00:01 -08:00
Setup.hs	first commit	2017-08-28 15:48:55 -07:00