Rob Dockins 465a84ee49 Update with changes flowing from GaloicInc/crucible#945. ... This mostly deals with the splitting of the old `sym` type into two: one for dealing with expression creation, and a new simulator backend type for dealing with control-flow and assertions.		2022-01-24 16:24:07 -08:00
..
src/Data/Macaw	Update with changes flowing from GaloicInc/crucible#945.	2022-01-24 16:24:07 -08:00
tests	Updates to PPC tests for new elf-edit API.	2020-12-06 10:53:36 -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	Switch from ansi-wl-pprint to the prettyprinter package.	2020-12-02 11:38:19 -08:00
Setup.hs	first commit	2017-08-28 15:48:55 -07:00