8000 Enable zicsr flag for GCC · olofk/serv@842c2df · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
/ serv Public
Formal verification

Enable zicsr flag for GCC #143

Sign in to view logs

Enable zicsr flag for GCC

Enable zicsr flag for GCC #143

Triggered via push March 1, 2025 15:05
@olofkolofk
pushed 842c2df
main
Status Success
Total duration 4m 48s
Artifacts –

formal.yml

on: push
Run RISCV-formal verification suite
4m 39s
Run RISCV-formal verification suite
Fit to window
Zoom out
Zoom in
0