-
mbaxter authored
* cannon: Extract RMW op handling from shared logic * cannon: Add more test cases of LL/SC behavior * cannon: Cut ll/sc-related logic from common mips code * cannon: Setup mips helpers to return memory modification info * cannon: Add new fields to track reserved memory * cannon: Add a boolean field indicating whether an ll reservation is active * cannon: Implement ll/sc for MTCannon * cannon: Add modified sysRead tests for MTCannon * cannon: Test store operations cleare memory reservations * cannon: Update SysClockGettime to clear ll memory reservation * cannon: Fix slither warning - initialize variable * cannon: Bump MIP2.sol version * cannon: Run semver, snapshot tasks * cannon: Cut unused log msg * cannon: Add new error to MIPS interfaces * cannon: Cut stale TODO
4af1fe6e
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| exec | ||
| memory | ||
| multithreaded | ||
| program | ||
| singlethreaded | ||
| tests | ||
| testutil | ||
| versions | ||
| .gitignore | ||
| README.md | ||
| debug.go | ||
| hex.go | ||
| iface.go | ||
| logw.go | ||
| oracle.go | ||
| state.go | ||
| witness.go |