Skip to content

Actions: CharlyCst/miralis

Actions

Push Stats

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
stats.yaml
164 workflow runs
164 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add default functions in BenchmarkModule trait Push Stats #164: Commit d9700ae pushed by CharlyCst
February 6, 2025 13:24 2m 30s main
main
February 6, 2025 13:24 2m 30s
Introducing test (eid, fid) pair in check_nb_registers_to_forward_per… Push Stats #163: Commit 0486a13 pushed by CharlyCst
February 6, 2025 10:57 2m 31s main
main
February 6, 2025 10:57 2m 31s
Introduce description for the Register enum Push Stats #162: Commit 32dfeef pushed by CharlyCst
February 6, 2025 09:36 2m 26s main
main
February 6, 2025 09:36 2m 26s
Verification: add support for menvcfg Push Stats #161: Commit abb6534 pushed by CharlyCst
February 6, 2025 08:51 2m 20s main
main
February 6, 2025 08:51 2m 20s
Verification: check exception virtualizaiton Push Stats #160: Commit bc659df pushed by CharlyCst
February 4, 2025 13:59 2m 17s main
main
February 4, 2025 13:59 2m 17s
Improve illegal instruction filtering logic Push Stats #159: Commit a26b32d pushed by CharlyCst
February 4, 2025 13:04 2m 28s main
main
February 4, 2025 13:04 2m 28s
Verification: update Sail model with LCOFIE support Push Stats #158: Commit 88aeb2f pushed by CharlyCst
January 31, 2025 15:41 2m 10s main
main
January 31, 2025 15:41 2m 10s
SailBugfix: pmp_cfg_idx must be multiplied by two Push Stats #157: Commit e67b5d5 pushed by CharlyCst
January 31, 2025 14:11 2m 15s main
main
January 31, 2025 14:11 2m 15s
SailBugfix: Modify mepc / sepc based on availability of C extension Push Stats #156: Commit 7f6abd2 pushed by CharlyCst
January 31, 2025 13:56 3m 6s main
main
January 31, 2025 13:56 3m 6s
Remove space between two logs on the visionfive2 board Push Stats #155: Commit 824456f pushed by CharlyCst
January 31, 2025 13:35 2m 33s main
main
January 31, 2025 13:35 2m 33s
Bugfix: last commit had a bug Push Stats #154: Commit f45b8dd pushed by CharlyCst
January 29, 2025 10:35 2m 16s main
main
January 29, 2025 10:35 2m 16s
Fix the increment_counter logic Push Stats #153: Commit d2ca431 pushed by CharlyCst
January 28, 2025 12:35 2m 9s main
main
January 28, 2025 12:35 2m 9s
SailBugfix: Modifies only mie in write Sie when the interrupt is dele… Push Stats #152: Commit 95cbbe0 pushed by CharlyCst
January 28, 2025 12:20 2m 19s main
main
January 28, 2025 12:20 2m 19s
SailBugfix: Illegal instruction decoder decodes too many instructions Push Stats #151: Commit ebd7896 pushed by CharlyCst
January 28, 2025 12:11 2m 11s main
main
January 28, 2025 12:11 2m 11s
Remove undefined symbol in main.rs Push Stats #150: Commit 7af6979 pushed by CharlyCst
January 28, 2025 11:08 2m 25s main
main
January 28, 2025 11:08 2m 25s
Introduce script to measure the duration of the formal verification Push Stats #149: Commit a039df0 pushed by CharlyCst
January 27, 2025 18:00 2m 22s main
main
January 27, 2025 18:00 2m 22s
SailBugfix: Modifies only Mip in write Sip correctly Push Stats #148: Commit fd2d746 pushed by CharlyCst
January 27, 2025 17:13 2m 22s main
main
January 27, 2025 17:13 2m 22s
Transfer general purpose registers in adapters.rs Push Stats #147: Commit cb74bea pushed by CharlyCst
January 27, 2025 13:12 2m 11s main
main
January 27, 2025 13:12 2m 11s
SailBugfix: Fix emulate_csrrwi and emulate_csrrci Push Stats #146: Commit e7b080b pushed by CharlyCst
January 27, 2025 12:40 2m 50s main
main
January 27, 2025 12:40 2m 50s
Introduce TEE extension in hardware context Push Stats #145: Commit 1bd506c pushed by CharlyCst
January 27, 2025 09:58 2m 19s main
main
January 27, 2025 09:58 2m 19s
Remove Ecall and Ebreak from Instr Push Stats #144: Commit 9fc24f2 pushed by CharlyCst
January 27, 2025 09:25 3m 15s main
main
January 27, 2025 09:25 3m 15s
Enable counter benchmark on the VisionFive2 board Push Stats #143: Commit 382b5e7 pushed by francois141
January 22, 2025 16:58 2m 13s main
main
January 22, 2025 16:58 2m 13s
Add formal verification for fence operations Push Stats #142: Commit 42a91d7 pushed by CharlyCst
January 20, 2025 16:14 2m 27s main
main
January 20, 2025 16:14 2m 27s
Formal verification of the decoder Push Stats #141: Commit fd14280 pushed by CharlyCst
January 20, 2025 10:46 2m 46s main
main
January 20, 2025 10:46 2m 46s
Cleanup unused files Push Stats #140: Commit 710db42 pushed by CharlyCst
January 16, 2025 16:37 2m 10s main
main
January 16, 2025 16:37 2m 10s