Skip to content

Actions: CharlyCst/miralis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,532 workflow runs
1,532 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Deduplicate set_mpp and get_raw_faulting_instr CI #1232: Pull request #363 opened by francois141
December 26, 2024 12:37 4m 40s deduplicate
deduplicate
December 26, 2024 12:37 4m 40s
Add offset pmp verification CI #1231: Pull request #362 synchronize by francois141
December 26, 2024 12:05 4m 13s add-offset-pmp-verification
add-offset-pmp-verification
December 26, 2024 12:05 4m 13s
Add offset pmp verification CI #1230: Pull request #362 opened by francois141
December 26, 2024 12:04 4m 48s add-offset-pmp-verification
add-offset-pmp-verification
December 26, 2024 12:04 4m 48s
Verify CSR read: add support for seed register Push Stats #125: Commit 3990fbc pushed by CharlyCst
December 26, 2024 11:10 1m 54s main
main
December 26, 2024 11:10 1m 54s
Verify CSR read: add support for seed register CI #1229: Pull request #361 opened by CharlyCst
December 26, 2024 11:04 3m 50s push-krtswkrrrkko
push-krtswkrrrkko
December 26, 2024 11:04 3m 50s
Make mepc/sepc spec-compliant Push Stats #124: Commit 47fc1b4 pushed by CharlyCst
December 26, 2024 10:55 2m 5s main
main
December 26, 2024 10:55 2m 5s
Make mepc/sepc pass model checking CI #1228: Pull request #359 synchronize by CharlyCst
December 26, 2024 10:34 4m 16s push-vzzluxmxqoop
push-vzzluxmxqoop
December 26, 2024 10:34 4m 16s
Model checking: set nb_pmp to 64 by default Push Stats #123: Commit 5df5cf2 pushed by CharlyCst
December 26, 2024 01:15 2m 0s main
main
December 26, 2024 01:15 2m 0s
Write csr verification CI #1227: Pull request #360 synchronize by CharlyCst
December 26, 2024 01:09 5m 45s write-csr-verification
write-csr-verification
December 26, 2024 01:09 5m 45s
Make mepc/sepc pass model checking CI #1226: Pull request #359 synchronize by CharlyCst
December 25, 2024 20:32 4m 35s push-vzzluxmxqoop
push-vzzluxmxqoop
December 25, 2024 20:32 4m 35s
Write csr verification CI #1225: Pull request #360 synchronize by francois141
December 24, 2024 21:25 5m 35s write-csr-verification
write-csr-verification
December 24, 2024 21:25 5m 35s
Write csr verification CI #1224: Pull request #360 synchronize by francois141
December 24, 2024 20:47 4m 40s write-csr-verification
write-csr-verification
December 24, 2024 20:47 4m 40s
Write csr verification CI #1223: Pull request #360 synchronize by francois141
December 24, 2024 20:44 6m 2s write-csr-verification
write-csr-verification
December 24, 2024 20:44 6m 2s
Write csr verification CI #1222: Pull request #360 synchronize by francois141
December 24, 2024 20:34 5m 46s write-csr-verification
write-csr-verification
December 24, 2024 20:34 5m 46s
Make mepc/sepc pass model checking CI #1221: Pull request #359 opened by CharlyCst
December 24, 2024 12:43 3m 7s push-vzzluxmxqoop
push-vzzluxmxqoop
December 24, 2024 12:43 3m 7s
Make mstatus spec-compliant Push Stats #122: Commit e70a06b pushed by CharlyCst
December 24, 2024 10:32 2m 0s main
main
December 24, 2024 10:32 2m 0s
Make mstatus spec-compliant CI #1220: Pull request #358 synchronize by CharlyCst
December 24, 2024 10:15 3m 59s push-uzswzmnvonrm
push-uzswzmnvonrm
December 24, 2024 10:15 3m 59s
Make mstatus spec-compliant CI #1219: Pull request #358 opened by CharlyCst
December 24, 2024 10:07 2m 4s push-uzswzmnvonrm
push-uzswzmnvonrm
December 24, 2024 10:07 2m 4s
Formal verification of readCSR Push Stats #121: Commit 37c8021 pushed by CharlyCst
December 23, 2024 18:04 2m 7s main
main
December 23, 2024 18:04 2m 7s
csrRead CI #1218: Pull request #357 synchronize by francois141
December 23, 2024 13:56 3m 54s read-csr-verification
read-csr-verification
December 23, 2024 13:56 3m 54s
csrRead CI #1217: Pull request #357 synchronize by francois141
December 23, 2024 13:54 3m 46s read-csr-verification
read-csr-verification
December 23, 2024 13:54 3m 46s
csrRead CI #1216: Pull request #357 opened by francois141
December 23, 2024 13:04 2m 8s read-csr-verification
read-csr-verification
December 23, 2024 13:04 2m 8s
Formal verification of the entire interrupt virtualization pipeline Push Stats #120: Commit b431fba pushed by CharlyCst
December 23, 2024 10:48 2m 4s main
main
December 23, 2024 10:48 2m 4s
Formal verification of the entire interrupt virtualization pipeline CI #1215: Pull request #355 synchronize by CharlyCst
December 22, 2024 23:49 3m 36s MERGE-AFTER-PMP-formal-verification-need-interrupt
MERGE-AFTER-PMP-formal-verification-need-interrupt
December 22, 2024 23:49 3m 36s
Runner: enable filtering verification harnesses Push Stats #119: Commit 1631bbd pushed by CharlyCst
December 22, 2024 22:57 1m 58s main
main
December 22, 2024 22:57 1m 58s