Tristan Ravitch 2002afa246 [ppc] Add preliminary support for popcount ... It isn't supported in SimpleBuilder, so we use an uninterpreted function in the formula language for now.		2017-11-10 16:52:38 -08:00
..
src/Data/Macaw	[ppc] Add preliminary support for popcount	2017-11-10 16:52:38 -08:00
tests	Remove an accidentally-committed binary file	2017-11-10 08:18:16 -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 new type of test to PowerPC	2017-11-09 17:18:20 -08:00
Setup.hs	first commit	2017-08-28 15:48:55 -07:00