Use the latest version of Verible

Verible is changing quickly, use the latest version to get all the
recent goodness.
This commit is contained in:
Philipp Wagner 2020-10-27 09:30:29 +00:00 committed by Philipp Wagner
parent 92bbfd9bbb
commit 922f781414

View file

@ -10,6 +10,6 @@ variables:
RISCV_TOOLCHAIN_TAR_VERSION: "20200904-1"
RISCV_TOOLCHAIN_TAR_VARIANT: "lowrisc-toolchain-gcc-rv32imcb"
RISCV_COMPLIANCE_GIT_VERSION: "844c6660ef3f0d9b96957991109dfd80cc4938e2"
VERIBLE_VERSION: "v0.0-493-g617b404"
VERIBLE_VERSION: "v0.0-705-g75249d0"
# lowRISC-internal version numbers of Ibex-specific Spike builds.
SPIKE_IBEX_VERSION: "20200819-git-57023895458bc5206fe59fa229e0be6b05aa2f25"