[ci] Move to spike-ibex-v0.4

This commit is contained in:
Greg Chadwick 2022-08-10 14:35:40 +01:00 committed by Greg Chadwick
parent 3c1502c979
commit f2c09fe34a

View file

@ -7,10 +7,10 @@
# end up as float otherwise).
variables:
VERILATOR_VERSION: "4.104"
IBEX_COSIM_VERSION: "0.3"
IBEX_COSIM_VERSION: "0.4"
RISCV_TOOLCHAIN_TAR_VERSION: "20220210-1"
RISCV_TOOLCHAIN_TAR_VARIANT: "lowrisc-toolchain-gcc-rv32imcb"
RISCV_COMPLIANCE_GIT_VERSION: "844c6660ef3f0d9b96957991109dfd80cc4938e2"
VERIBLE_VERSION: "v0.0-2135-gb534c1fe"
# lowRISC-internal version numbers of Ibex-specific Spike builds.
SPIKE_IBEX_VERSION: "20220516-git-9af9730baf7b956c3072c1b436d867aca5ef8f4c"
SPIKE_IBEX_VERSION: "20220810-git-72b1fd86d42a114e8ec4273f1d8222390334b5f2"