SMT solvers write the weirdest programs. Wanna Jump? Simple: Just set the interrupt vector and then execute an illegal instruction.
-
-
Replying to @oe1cxw
I'm simultaneously fascinated and horrified (Did the solver write a counterexample for picorv32?)
1 reply 0 retweets 3 likes
Replying to @cr1901
No, Rocket. But it's a bug in Rockets RVFI implementation, not a bug in the actual core.
3:38 AM - 29 Sep 2017
0 replies
0 retweets
4 likes
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.