Skip to content

Actions: olofk/serv

Actions

Formal verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formal.yml
57 workflow runs
57 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make right-shifts one cycle faster Formal verification #147: Commit f6116cf pushed by olofk
March 18, 2025 12:43 6m 6s main
main
March 18, 2025 12:43 6m 6s
Silence warning about unused return value in testbench Formal verification #146: Commit 79768a8 pushed by olofk
March 18, 2025 12:15 5m 49s main
main
March 18, 2025 12:15 5m 49s
Fix verilator_waiver.vlt Formal verification #145: Commit 9e73e11 pushed by olofk
March 1, 2025 22:19 5m 43s main
main
March 1, 2025 22:19 5m 43s
bufreg2: Split up dat_en to cnt_en and shift_en Formal verification #144: Commit a38110a pushed by olofk
March 1, 2025 22:15 5m 50s main
main
March 1, 2025 22:15 5m 50s
Enable zicsr flag for GCC Formal verification #143: Commit 842c2df pushed by olofk
March 1, 2025 15:05 4m 48s main
main
March 1, 2025 15:05 4m 48s
Remove duplicate tools entry in servant.core Formal verification #142: Commit 01e74ef pushed by olofk
January 29, 2025 21:27 5m 22s main
main
January 29, 2025 21:27 5m 22s
Add Subservient documentation Formal verification #141: Commit de4c3b4 pushed by olofk
December 18, 2024 12:48 5m 22s main
main
December 18, 2024 12:48 5m 22s
Update to Zephyr 4.0.0 Formal verification #140: Commit 1b06ae6 pushed by olofk
December 17, 2024 11:39 5m 5s main
main
December 17, 2024 11:39 5m 5s
Added support for Trenz Electronic TE0802 Formal verification #139: Commit 7e7b453 pushed by olofk
December 3, 2024 12:54 5m 45s main
main
December 3, 2024 12:54 5m 45s
servile_mux: Declare variable before use Formal verification #138: Commit 007f428 pushed by olofk
November 26, 2024 18:59 5m 5s main
main
November 26, 2024 18:59 5m 5s
Fix CSR write detection in debug module Formal verification #137: Commit 1e4ea05 pushed by olofk
November 19, 2024 12:20 5m 26s main
main
November 19, 2024 12:20 5m 26s
Update cad-suite GH action Formal verification #136: Commit 4e0033b pushed by olofk
November 11, 2024 07:13 5m 8s formalci
formalci
November 11, 2024 07:13 5m 8s
typo in README.md Formal verification #135: Commit 8ad248d pushed by olofk
November 11, 2024 06:43 13s main
main
November 11, 2024 06:43 13s
Fix CSR width issues in debug module Formal verification #134: Commit cd60abe pushed by olofk
October 17, 2024 12:34 5m 12s main
main
October 17, 2024 12:34 5m 12s
Move RVFI signals into serv_debug Formal verification #133: Commit 9bf8672 pushed by olofk
October 17, 2024 11:59 7m 1s main
main
October 17, 2024 11:59 7m 1s
Move RVFI signals into serv_debug Formal verification #132: Commit 0f45595 pushed by olofk
October 17, 2024 11:52 5m 38s trace
trace
October 17, 2024 11:52 5m 38s
Add debug module Formal verification #131: Commit 2bcf410 pushed by olofk
October 13, 2024 20:24 5m 0s main
main
October 13, 2024 20:24 5m 0s
WIP: works Formal verification #130: Commit cd99d76 pushed by olofk
October 12, 2024 21:16 5m 19s trace
trace
October 12, 2024 21:16 5m 19s
Use formal fork Formal verification #129: Commit f2ddceb pushed by olofk
October 12, 2024 20:54 4m 55s trace
trace
October 12, 2024 20:54 4m 55s
Introduce width parameter Formal verification #128: Commit 376dcd7 pushed by olofk
October 5, 2024 21:17 4m 50s main
main
October 5, 2024 21:17 4m 50s
Introduce width parameter Formal verification #127: Commit a0d1529 pushed by olofk
October 5, 2024 19:42 4m 59s width
width
October 5, 2024 19:42 4m 59s
Introduce width parameter Formal verification #126: Commit 5d296c5 pushed by olofk
October 5, 2024 19:39 18s width
width
October 5, 2024 19:39 18s
Introduce width parameter Formal verification #125: Commit efafe2d pushed by olofk
October 5, 2024 10:03 4m 50s width
width
October 5, 2024 10:03 4m 50s
Use latest regression test suite in CI Formal verification #124: Commit 4f04e9d pushed by olofk
October 5, 2024 09:27 4m 46s main
main
October 5, 2024 09:27 4m 46s
Fix CI badge in README Formal verification #123: Commit 7865252 pushed by olofk
October 2, 2024 07:26 5m 5s main
main
October 2, 2024 07:26 5m 5s