@clairexen
clairexen Hot fix pre-compiled VexRiscv.v for current RVFI spec
891ea36 Oct 12, 2020
Hot fix pre-compiled VexRiscv.v for current RVFI spec 
Signed-off-by: Claire Xenia Wolf <claire@symbioticeda.com>
891ea36