Skip to content

Actions: CTSRD-CHERI/QuickCheckVEngine

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
54 workflow runs
54 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Generate cmove in miscellaneous instructions
Haskell CI #37: Commit ad4270e pushed by PeterRugg
June 11, 2024 13:18 2m 54s master
June 11, 2024 13:18 2m 54s
Generate cmove in miscellaneous instructions
Haskell CI #36: Pull request #51 opened by marnovandermaas
June 11, 2024 13:13 2m 49s marnovandermaas-patch-2
June 11, 2024 13:13 2m 49s
Avoid type-unsafe use of 'head'
Haskell CI #35: Commit 2c4184a pushed by PeterRugg
June 7, 2024 15:25 2m 45s master
June 7, 2024 15:25 2m 45s
Avoid type-unsafe use of 'head'
Haskell CI #34: Pull request #50 synchronize by PeterRugg
June 7, 2024 14:45 2m 44s fix-head-warnings
June 7, 2024 14:45 2m 44s
Avoid type-unsafe use of 'head'
Haskell CI #33: Pull request #50 opened by PeterRugg
June 7, 2024 14:44 2m 44s fix-head-warnings
June 7, 2024 14:44 2m 44s
Add option to save all traces
Haskell CI #32: Pull request #49 synchronize by marnovandermaas
June 7, 2024 14:20 2m 41s marnovandermaas:save_all_option
June 7, 2024 14:20 2m 41s
Minor alignment fixes
Haskell CI #31: Commit e06758e pushed by PeterRugg
June 7, 2024 13:58 2m 38s master
June 7, 2024 13:58 2m 38s
Minor alignment fixes
Haskell CI #29: Pull request #48 opened by marnovandermaas
June 6, 2024 16:55 2m 37s marnovandermaas-patch-1
June 6, 2024 16:55 2m 37s
Fix verbose print of instrs that omit low imm bits
Haskell CI #28: Commit 73e0933 pushed by PeterRugg
May 15, 2024 08:00 2m 42s master
May 15, 2024 08:00 2m 42s
Added printing for xTIDC registers
Haskell CI #27: Commit d3816ec pushed by PeterRugg
May 14, 2024 15:44 2m 48s master
May 14, 2024 15:44 2m 48s
Added printing for xTIDC registers
Haskell CI #26: Pull request #47 opened by francislaus
May 13, 2024 12:45 2m 58s faf28_tidc
May 13, 2024 12:45 2m 58s
Changed pendantic to strict and changed default behaviour
Haskell CI #24: Commit cea1f33 pushed by PeterRugg
April 25, 2024 14:30 2m 44s master
April 25, 2024 14:30 2m 44s
Changed pedantic to strict and changed default behaviour
Haskell CI #23: Pull request #44 opened by francislaus
April 25, 2024 10:21 3m 2s faf28_strictness
April 25, 2024 10:21 3m 2s
Add FENCE.TSO RV32I instruction
Haskell CI #22: Commit 123be4b pushed by PeterRugg
April 22, 2024 17:32 2m 55s master
April 22, 2024 17:32 2m 55s
Create capcache64 test, change capcache to RV32
Haskell CI #21: Commit a646ed2 pushed by PeterRugg
April 22, 2024 17:24 2m 44s master
April 22, 2024 17:24 2m 44s
Add FENCE.TSO RV32I instruction
Haskell CI #20: Pull request #43 opened by elliotb-lowrisc
April 22, 2024 16:52 2m 52s elliotb-lowrisc:fence_tso
April 22, 2024 16:52 2m 52s
Create capcache64 test, change capcache to RV32
Haskell CI #19: Pull request #42 opened by elliotb-lowrisc
April 22, 2024 16:22 2m 51s elliotb-lowrisc:capcache
April 22, 2024 16:22 2m 51s
Merge pull request #40 from elliotb-lowrisc/c_imm
Haskell CI #18: Commit 4a65da8 pushed by marnovandermaas
April 18, 2024 11:40 2m 43s master
April 18, 2024 11:40 2m 43s
Increase bits generated for RVC immediates
Haskell CI #17: Pull request #40 opened by elliotb-lowrisc
April 18, 2024 08:10 2m 49s elliotb-lowrisc:c_imm
April 18, 2024 08:10 2m 49s
Fix RVC instructions with missing zeroes
Haskell CI #16: Commit 8bd8432 pushed by PeterRugg
April 17, 2024 12:21 3m 0s master
April 17, 2024 12:21 3m 0s
Fix RVC instructions with missing zeroes
Haskell CI #15: Pull request #39 opened by elliotb-lowrisc
April 17, 2024 11:04 2m 46s elliotb-lowrisc:c_enc
April 17, 2024 11:04 2m 46s
Implement cleanups from CI
Haskell CI #14: Commit cc0c883 pushed by gameboo
April 17, 2024 09:49 2m 52s master
April 17, 2024 09:49 2m 52s
Implement cleanups from CI
Haskell CI #13: Pull request #38 opened by PeterRugg
April 16, 2024 10:41 2m 48s ci-cleanups
April 16, 2024 10:41 2m 48s