diff --git a/.github/workflows/install.yml b/.github/workflows/install.yml index f5854ed72..cb7ac9002 100644 --- a/.github/workflows/install.yml +++ b/.github/workflows/install.yml @@ -30,7 +30,79 @@ jobs: - name: regresssion run: | source setup.sh - regression-wally + lint-wally + wsim --sim verilator rv32e arch32e + wsim --sim verilator rv32i arch32i + wsim --sim verilator rv32imc arch32i + wsim --sim verilator rv32imc arch32c + wsim --sim verilator rv32imc arch32m + wsim --sim verilator rv32imc wally32periph + wsim --sim verilator rv32gc arch32f + wsim --sim verilator rv32gc arch32d + wsim --sim verilator rv32gc arch32f_fma + wsim --sim verilator rv32gc arch32d_fma + wsim --sim verilator rv32gc arch32f_divsqrt + wsim --sim verilator rv32gc arch32d_divsqrt + wsim --sim verilator rv32gc arch32i + wsim --sim verilator rv32gc arch32priv + wsim --sim verilator rv32gc arch32c + wsim --sim verilator rv32gc arch32m + wsim --sim verilator rv32gc arch32a_amo + wsim --sim verilator rv32gc arch32zifencei + wsim --sim verilator rv32gc arch32zicond + wsim --sim verilator rv32gc arch32zba + wsim --sim verilator rv32gc arch32zbb + wsim --sim verilator rv32gc arch32zbc + wsim --sim verilator rv32gc arch32zbs + wsim --sim verilator rv32gc arch32zfh + wsim --sim verilator rv32gc arch32zfh_fma + wsim --sim verilator rv32gc arch32zfh_divsqrt + wsim --sim verilator rv32gc arch32zfaf + wsim --sim verilator rv32gc arch32zfad + wsim --sim verilator rv32gc wally32a_lrsc + wsim --sim verilator rv32gc wally32priv + wsim --sim verilator rv32gc wally32periph + wsim --sim verilator rv32gc arch32zcb + wsim --sim verilator rv32gc arch32zbkb + wsim --sim verilator rv32gc arch32zbkc + wsim --sim verilator rv32gc arch32zbkx + wsim --sim verilator rv32gc arch32zknd + wsim --sim verilator rv32gc arch32zkne + wsim --sim verilator rv32gc arch32zknh + wsim --sim verilator rv64i arch64i + wsim --sim verilator rv64gc coverage64gc + wsim --sim verilator rv64gc arch64i + wsim --sim verilator rv64gc arch64priv + wsim --sim verilator rv64gc arch64c + wsim --sim verilator rv64gc arch64m + wsim --sim verilator rv64gc arch64zcb + wsim --sim verilator rv64gc arch64zifencei + wsim --sim verilator rv64gc arch64zicond + wsim --sim verilator rv64gc arch64a_amo + wsim --sim verilator rv64gc wally64a_lrsc + wsim --sim verilator rv64gc wally64periph + wsim --sim verilator rv64gc wally64priv + wsim --sim verilator rv64gc arch64zbkb + wsim --sim verilator rv64gc arch64zbkc + wsim --sim verilator rv64gc arch64zbkx + wsim --sim verilator rv64gc arch64zknd + wsim --sim verilator rv64gc arch64zkne + wsim --sim verilator rv64gc arch64zknh + wsim --sim verilator rv64gc arch64zba + wsim --sim verilator rv64gc arch64zbb + wsim --sim verilator rv64gc arch64zbc + wsim --sim verilator rv64gc arch64zbs + wsim --sim verilator rv64gc arch64f + wsim --sim verilator rv64gc arch64d + wsim --sim verilator rv64gc arch64zfh + wsim --sim verilator rv64gc arch64f_fma + wsim --sim verilator rv64gc arch64d_fma + wsim --sim verilator rv64gc arch64zfh_fma + wsim --sim verilator rv64gc arch64f_divsqrt + wsim --sim verilator rv64gc arch64d_divsqrt + wsim --sim verilator rv64gc arch64zfh_divsqrt + wsim --sim verilator rv64gc arch64zfaf + wsim --sim verilator rv64gc arch64zfad rhel_family_install: name: Test installation on ${{ matrix.os }}