Tristan Ravitch
4bed676ca2
Update to the latest macaw
2018-04-24 10:55:07 -07:00
Tristan Ravitch
51023263c4
Add macaw-arm (and semmc-arm) to the cabal.project file
2018-03-29 18:08:41 -07:00
Tristan Ravitch
1ebf0cabb7
Submodule updates
...
These updates include a new version of cabal required to build macaw-symbolic.
macaw-symbolic is also now added to the cabal.project file.
2018-03-29 09:57:17 -07:00
Tristan Ravitch
43babd43cf
Add macaw-x86 to the cabal.project file
2018-03-28 17:00:38 -07:00
Tristan Ravitch
f1b0775be8
Update to the new parameterized-utils List
...
This replaces the old ShapedList from dismantle-tablegen
2017-12-13 21:56:29 -08:00
Tristan Ravitch
7256fd597f
Generalize the generator monad, the TH helper monad, and the simplifier
...
This code was mostly architecture independent already, so this commit moves it
to the macaw-semmc module so that it can be shared with the ARM backend. I
still plan to move the main TH module with the SimpleBuilder to macaw
translation, but that requires a few other changes first.
2017-11-26 23:31:04 -08:00
Tristan Ravitch
dd91bc2fe8
Rename the cabal.project file
...
Users should symlink the file the correct name locally; this makes it easier to
use the project as a submodule
2017-10-23 09:46:00 -07:00
