8000 Formal verification · Workflow runs · olofk/serv · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: olofk/serv

Actions

Formal verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formal.yml
68 workflow runs
68 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix path to GDS in CI Formal verification #161: Commit c45b427 pushed by olofk
June 5, 2025 06:57 5m 45s main
main
June 5, 2025 06:57 5m 45s
Fix path to GDS in CI Formal verification #160: Commit 9158079 pushed by olofk
June 4, 2025 13:43 6m 10s gdspath
gdspath
June 4, 2025 13:43 6m 10s
Initial HERV implementation Formal verification #159: Commit 1a8434b pushed by olofk
May 16, 2025 18:31 6m 23s herv
herv
May 16, 2025 18:31 6m 23s
Initial HERV implementation Formal verification #158: Commit 98ad1b6 pushed by olofk
May 16, 2025 18:05 6m 31s herv
herv
May 16, 2025 18:05 6m 31s
passes formal. csr broken (timer irq?) Formal verification #157: Commit baef451 pushed by olofk
May 15, 2025 05:44 6m 22s herv
herv
May 15, 2025 05:44 6m 22s
passes formal. csr broken Formal verification #156: Commit b2b656b pushed by olofk
May 14, 2025 06:35 6m 33s herv
herv
May 14, 2025 06:35 6m 33s
boilerplate for external interrupts Formal verification #155: Commit 41c0d44 pushed by olofk
May 11, 2025 21:26 28s serv-e
serv-e
May 11, 2025 21:26 28s
boilerplate for external interrupts Formal verification #154: Commit cb57969 pushed by olofk
May 11, 2025 17:43 39s serv-e
serv-e
May 11, 2025 17:43 39s
Fix lint for QERV mode Formal verification #153: Commit a72c1e8 pushed by olofk
May 11, 2025 17:34 6m 23s main
main
May 11, 2025 17:34 6m 23s
Fix lint for QERV mode Formal verification #152: Commit 14f264b pushed by olofk
May 11, 2025 17:31 5m 59s qerv_actions
qerv_actions
May 11, 2025 17:31 5m 59s
Make immdec 4-bit compatible Formal verification #151: Commit 3c2dc51 pushed by olofk
May 8, 2025 21:03 6m 38s main
main
May 8, 2025 21:03 6m 38s
Make bufreg 4-bit compatible Formal verification #150: Commit 2ff6fcb pushed by olofk
May 8, 2025 20:36 6m 20s main
main
May 8, 2025 20:36 6m 20s
Make bufreg2 4-bit compatible Formal verification #149: Commit 46e2d76 pushed by olofk
May 8, 2025 19:38 6m 5s main
main
May 8, 2025 19:38 6m 5s
Make bufreg2 4-bit compatible Formal verification #148: Commit 2e2ffdf pushed by olofk
May 8, 2025 16:48 6m 12s main
main
May 8, 2025 16:48 6m 12s
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
0