Skip to content

Actions: olofk/serv

Actions

Formal verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formal.yml
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add support for WFI instruction Formal verification #179: Commit b4216a0 pushed by olofk
8m 4s extirq
extirq
8m 4s
add support for WFI instruction Formal verification #178: Commit 6606ed5 pushed by olofk
8m 58s extirq
extirq
8m 58s
Add iCESugar-nano board Formal verification #177: Commit f5ddfaa pushed by olofk
6m 11s main
main
6m 11s
small docs corrections Formal verification #176: Commit 64e475c pushed by olofk
6m 1s main
main
6m 1s
sw/Makefile: allow setting CC Formal verification #175: Commit 2311403 pushed by olofk
6m 4s main
main
6m 4s
Switch GMM-7550 to Flow API Formal verification #174: Commit f8ce26f pushed by olofk
6m 20s main
main
6m 20s
docs: fix typos and grammar errors in README Formal verification #173: Commit 653c489 pushed by olofk
6m 29s main
main
6m 29s
docs: Fix missing space after comma in README Formal verification #172: Commit f141df1 pushed by olofk
6m 24s main
main
6m 24s
Declare trap_pending before use Formal verification #171: Commit 61ef8ea pushed by olofk
6m 33s main
main
6m 33s
Prepare for release Formal verification #170: Commit 7d9cde4 pushed by olofk
6m 53s 1.4.0
1.4.0
6m 53s
Prepare for release Formal verification #169: Commit 7d9cde4 pushed by olofk
6m 11s main
main
6m 11s
Prepare for release Formal verification #168: Commit 25a57ee pushed by olofk
5m 55s 140
140
5m 55s
Clarify open source info in README Formal verification #167: Commit 4ec55f9 pushed by olofk
6m 21s 140
140
6m 21s
Clarify open source info in README Formal verification #166: Commit 4ec55f9 pushed by olofk
6m 5s main
main
6m 5s
Clarify open source info in README Formal verification #165: Commit 77fea91 pushed by olofk
7m 14s main
main
7m 14s
Update verilator waiver file Formal verification #164: Commit 486042b pushed by olofk
6m 18s main
main
6m 18s
Update README.md Formal verification #163: Commit b58d537 pushed by olofk
6m 18s main
main
6m 18s
Add SPDX license headers to all RTL files Formal verification #162: Commit 5f0005f pushed by olofk
6m 41s main
main
6m 41s
Fix path to GDS in CI Formal verification #161: Commit c45b427 pushed by olofk
5m 45s main
main
5m 45s
Fix path to GDS in CI Formal verification #160: Commit 9158079 pushed by olofk
6m 10s gdspath
gdspath
6m 10s
Initial HERV implementation Formal verification #159: Commit 1a8434b pushed by olofk
6m 23s herv
herv
6m 23s
Initial HERV implementation Formal verification #158: Commit 98ad1b6 pushed by olofk
6m 31s herv
herv
6m 31s
passes formal. csr broken (timer irq?) Formal verification #157: Commit baef451 pushed by olofk
6m 22s herv
herv
6m 22s
passes formal. csr broken Formal verification #156: Commit b2b656b pushed by olofk
6m 33s herv
herv
6m 33s
boilerplate for external interrupts Formal verification #155: Commit 41c0d44 pushed by olofk
28s serv-e
serv-e
28s