Skip to content

Actions: LekKit/RVVM

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
702 workflow runs
702 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge decoder fix from carlosqwqqwq/fix/c-lui-reserved-trap CodeQL #1857: Commit 33ea63a pushed by LekKit
2m 15s staging
staging
2m 15s
CodeQL CodeQL #1856: Scheduled
2m 11s staging
staging
2m 11s
riscv: trap reserved C.LUI/C.ADDI16SP encodings instead of mis-decoding them CodeQL #1855: Pull request #286 synchronize by carlosqwqqwq
2m 5s carlosqwqqwq:fix/c-lui-reserved-trap
carlosqwqqwq:fix/c-lui-reserved-trap
2m 5s
riscv: resolve frm for dynamic rounding of fcvt float-to-int CodeQL #1854: Pull request #260 synchronize by carlosqwqqwq
2m 8s carlosqwqqwq:fix/fcvt-dyn-frm
carlosqwqqwq:fix/fcvt-dyn-frm
2m 8s
riscv: resolve frm for dynamic rounding of fcvt float-to-int CodeQL #1853: Pull request #260 synchronize by carlosqwqqwq
1m 23s carlosqwqqwq:fix/fcvt-dyn-frm
carlosqwqqwq:fix/fcvt-dyn-frm
1m 23s
riscv: include negative minimum values in FCVT fit checks CodeQL #1852: Pull request #282 synchronize by carlosqwqqwq
2m 6s carlosqwqqwq:fix/fcvt-negative-min-fit
carlosqwqqwq:fix/fcvt-negative-min-fit
2m 6s
riscv: preserve fflags when rejecting a reserved frm value CodeQL #1851: Pull request #280 synchronize by carlosqwqqwq
2m 7s carlosqwqqwq:fix/fcsr-reserved-frm-fflags
carlosqwqqwq:fix/fcsr-reserved-frm-fflags
2m 7s
atomics: Fix silly copy-paste bugs CodeQL #1850: Commit 84417f0 pushed by LekKit
2m 21s staging
staging
2m 21s
Merge RV32 shift decoding fix from carlosqwqqwq/fix/rv32-cshift-shamt5 CodeQL #1849: Commit 047f3df pushed by LekKit
2m 6s staging
staging
2m 6s
riscv: reject reserved shamt[5] bit of C.SLLI/C.SRLI/C.SRAI on RV32 CodeQL #1848: Pull request #287 opened by carlosqwqqwq
2m 24s carlosqwqqwq:fix/rv32-cshift-shamt5
carlosqwqqwq:fix/rv32-cshift-shamt5
2m 24s
riscv: trap reserved C.LUI/C.ADDI16SP encodings instead of mis-decoding them CodeQL #1847: Pull request #286 opened by carlosqwqqwq
2m 22s carlosqwqqwq:fix/c-lui-reserved-trap
carlosqwqqwq:fix/c-lui-reserved-trap
2m 22s
Merge JIT SLTI/SLTIU fix from carlosqwqqwq/fix/rvjit-slti-x0 CodeQL #1846: Commit 9835eac pushed by LekKit
2m 23s staging
staging
2m 23s
Merge x86 JIT MULHSU fix from carlosqwqqwq/fix/rvjit-mulhsu-aliasing CodeQL #1845: Commit 0f13252 pushed by LekKit
2m 7s staging
staging
2m 7s
CodeQL CodeQL #1844: by LekKit
2m 15s staging
staging
2m 15s
Merge xperm8 fix from carlosqwqqwq/fix/xperm8-byte-step CodeQL #1843: Commit cd8b13d pushed by LekKit
2m 11s staging
staging
2m 11s
Merge C.JR/C.JALR misaligned jump fix from carlosqwqqwq/fix/cjr-cjalr… CodeQL #1842: Commit 6edcfda pushed by LekKit
2m 41s staging
staging
2m 41s
riscv: allow Zfa fli.d on RV32 CodeQL #1841: Pull request #283 opened by carlosqwqqwq
4m 24s carlosqwqqwq:fix/flid-rv32-gate
carlosqwqqwq:fix/flid-rv32-gate
4m 24s
riscv: include negative minimum values in FCVT fit checks CodeQL #1840: Pull request #282 opened by carlosqwqqwq
3m 34s carlosqwqqwq:fix/fcvt-negative-min-fit
carlosqwqqwq:fix/fcvt-negative-min-fit
3m 34s
riscv: sign-extend operands in signed byte atomics CodeQL #1839: Pull request #281 opened by carlosqwqqwq
3m 14s carlosqwqqwq:fix/zabha-byte-sign-extend
carlosqwqqwq:fix/zabha-byte-sign-extend
3m 14s
riscv: preserve fflags when rejecting a reserved frm value CodeQL #1838: Pull request #280 opened by carlosqwqqwq
2m 11s carlosqwqqwq:fix/fcsr-reserved-frm-fflags
carlosqwqqwq:fix/fcsr-reserved-frm-fflags
2m 11s
riscv: advance xperm8 output positions by one byte CodeQL #1837: Pull request #279 opened by carlosqwqqwq
2m 29s carlosqwqqwq:fix/xperm8-byte-step
carlosqwqqwq:fix/xperm8-byte-step
2m 29s
rvjit: preserve immediate comparison semantics for x0 sources CodeQL #1836: Pull request #273 opened by carlosqwqqwq
2m 56s carlosqwqqwq:fix/rvjit-slti-x0
carlosqwqqwq:fix/rvjit-slti-x0
2m 56s
riscv: enforce the fixed rs2 field for LR.W and LR.D CodeQL #1835: Pull request #272 opened by carlosqwqqwq
3m 44s carlosqwqqwq:fix/lr-rs2-reserved
carlosqwqqwq:fix/lr-rs2-reserved
3m 44s
riscv: apply JALR bit-zero semantics to C.JR and C.JALR CodeQL #1834: Pull request #271 opened by carlosqwqqwq
3m 9s carlosqwqqwq:fix/cjr-cjalr-bit0
carlosqwqqwq:fix/cjr-cjalr-bit0
3m 9s
rvjit: compute mulhsu sign correction before clobbering rs1 CodeQL #1833: Pull request #270 opened by carlosqwqqwq
2m 11s carlosqwqqwq:fix/rvjit-mulhsu-aliasing
carlosqwqqwq:fix/rvjit-mulhsu-aliasing
2m 11s