macaw/submodules
Tristan Ravitch 2a7c5bd541 Extend the uninterpreted function evaluator
It is currently very messy because the ppc.is_r0 function breaks some
abstraction boundaries that make it very irregular.  There is some common code
that can probably be factored out, but it will still be a mess.

The other big change is handling the read_mem calls.
2017-10-17 19:16:31 -07:00
..
crucible@410f4ceb25 Changed Expr type to be non-recursive 2017-10-09 11:27:59 -07:00
dismantle@1e0a10def3 Update the semmc and dismantle submodules 2017-10-13 11:42:00 -07:00
dwarf@1f3616bb42 first commit 2017-08-28 15:48:55 -07:00
elf-edit@41f560ff32 first commit 2017-08-28 15:48:55 -07:00
macaw@c95d3e7d0f started template haskell stuff 2017-10-12 10:21:48 -07:00
parameterized-utils@3e91cb7eff started template haskell stuff 2017-10-12 10:21:48 -07:00
semmc@b2eb8aaa17 Extend the uninterpreted function evaluator 2017-10-17 19:16:31 -07:00