Do you add that incident to your presentation "Why you want to use Formal Methods!"
Adding CI for my formal checks of riscv-formal against rscv-isa-sim (spike) in case a future change in one of them will break conformance. Of course this already happened: https://github.com/riscv/riscv-isa-sim/issues/190 ….
-
-
-
I probably should at least add it to the "bugs found" page in riscv-formal documentation.
End of conversation
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.