Very first draft of abstract for presentation on riscv-formal for a few upcoming conferences. Constructive feedback requested.pic.twitter.com/50LmDMZ8Qp
-
If you revert old bug fixes, can you detect the errors?
Yes. But it's hard to do with PicoRV32 because the bugfixes there predate riscv-formal..
-
-
What's the problem? Git revert bugfix; make verify. If it can catch it, partial success. Not as good as a fresh bug but reassuring.
-
The problem is refactoring that happened between fixing most bugs and adding RVFI. But don't worry: I have some synthetic bugs for testing.
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.