-
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 |