mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-12-25 07:02:59 +03:00
e5895833ba
The remaining part is 'genCaseBody', which is where we'll write the translator from ParameterizedFormula to TH Exps. The semantics are loaded from semmc and the outer case expression breaking down instructions is all in place. This has several accompanying changes in semmc and dismantle. |
||
---|---|---|
.. | ||
crucible@410f4ceb25 | ||
dismantle@e06374ef42 | ||
dwarf@1f3616bb42 | ||
elf-edit@41f560ff32 | ||
macaw@c95d3e7d0f | ||
parameterized-utils@277b3b030d | ||
semmc@fcaefe36c1 |