mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-11-24 00:42:28 +03:00
fdcbbeae39
The semantics of each instruction are atomic updates over the register state. Prior to this commit, changes were not atomic and updates to register values were visible to later register definitions, which causes a huge number of problems. Now, we take a snapshot of the register state at the beginning of the instruction and read all values we need from that snapshot. This way, updates are isolated from one another. |
||
|---|---|---|
| .. | ||
| src/Data/Macaw | ||
| tests | ||
| ChangeLog.md | ||
| LICENSE | ||
| macaw-ppc.cabal | ||
| Setup.hs | ||