mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-12-28 08:34:23 +03:00
68c5578f03
Before, we just discarded them during the translation. They are useful metadata for generating diagnostics in Crucible, so this commit translates them. They are no-ops during symbolic evaluation. To make them truly useful, they need to include the address of the block that they belong to (their data payload in macaw is just an offset from the start of a block). This information wasn't available before, so it has to be plumbed through in macaw-x86. |
||
|---|---|---|
| .. | ||
| src/Data/Macaw | ||
| support | ||
| tests | ||
| .gitignore | ||
| LICENSE | ||
| macaw-x86.cabal | ||