Daniel Wagner 5f15b14136 Merge branch 'master' into wip/equiv		2019-10-01 14:40:52 -04:00
..
src/Data/Macaw	This makes a number of changes to abstract domains.	2019-08-21 23:29:16 -07:00
tests	Merge branch 'master' into wip/equiv	2019-10-01 14:40:52 -04: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	Handle conversions for Float Mux in macaw-ppc.	2019-07-11 13:55:01 -07:00
Setup.hs	first commit	2017-08-28 15:48:55 -07:00