Skip to content

Actions: stevehoover/warp-v

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
24 workflow runs
24 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Includes version update. Formal Verification #24: Commit 849c8db pushed by stevehoover
4m 2s master
master
4m 2s
Updated to M5 version of tlv_flow_lib. Formal Verification #23: Commit 4b7d2d0 pushed by stevehoover
4m 18s master
master
4m 18s
Merge pull request #119 from stevehoover/github-ci-formal Formal Verification #22: Commit 23419ff pushed by stevehoover
5m 10s master
master
5m 10s
Restore formal verification CI using GitHub Actions Formal Verification #21: Pull request #119 synchronize by stevehoover
4m 52s github-ci-formal
github-ci-formal
4m 52s
Retry SandPiper-SaaS compile in CI; delete failed make targets. Formal Verification #20: Commit 724a68d pushed by stevehoover
5m 13s github-ci-formal
github-ci-formal
5m 13s
Restore formal verification CI using GitHub Actions Formal Verification #19: Pull request #119 synchronize by stevehoover
4m 3s github-ci-formal
github-ci-formal
4m 3s
View formal traces in Makerchip using the build's M5 output. Formal Verification #18: Commit aa001ee pushed by stevehoover
4m 53s github-ci-formal
github-ci-formal
4m 53s
Restore formal verification CI using GitHub Actions Formal Verification #17: Pull request #119 synchronize by stevehoover
4m 5s github-ci-formal
github-ci-formal
4m 5s
Human review. Formal Verification #16: Commit c44f501 pushed by stevehoover
4m 59s github-ci-formal
github-ci-formal
4m 59s
Restore formal verification CI using GitHub Actions Formal Verification #15: Pull request #119 synchronize by stevehoover
4m 24s github-ci-formal
github-ci-formal
4m 24s
Replace make_env.sh with a pinned OSS CAD Suite download. Formal Verification #14: Commit ee5e214 pushed by stevehoover
4m 50s github-ci-formal
github-ci-formal
4m 50s
Restore formal verification CI using GitHub Actions Formal Verification #13: Pull request #119 synchronize by stevehoover
4m 31s github-ci-formal
github-ci-formal
4m 31s
Use --fmtFlatSignals for formal; pin OSS CAD Suite to 2026-10-29. Formal Verification #12: Commit 3067349 pushed by stevehoover
4m 41s github-ci-formal
github-ci-formal
4m 41s
Restore formal verification CI using GitHub Actions Formal Verification #11: Pull request #119 synchronize by stevehoover
6m 0s github-ci-formal
github-ci-formal
6m 0s
Restore formal verification CI using GitHub Actions Formal Verification #10: Pull request #119 synchronize by stevehoover
6m 29s github-ci-formal
github-ci-formal
6m 29s
Document viewing formal counterexamples in Makerchip VIZ. Formal Verification #9: Commit 7536696 pushed by stevehoover
5m 20s github-ci-formal
github-ci-formal
5m 20s
Restore formal verification CI using GitHub Actions Formal Verification #8: Pull request #119 synchronize by stevehoover
5m 16s github-ci-formal
github-ci-formal
5m 16s
Fix riscv-formal VIZ; document why formal uses debug signals. Formal Verification #7: Commit b91c887 pushed by stevehoover
6m 20s github-ci-formal
github-ci-formal
6m 20s
Restore formal verification CI using GitHub Actions Formal Verification #6: Pull request #119 synchronize by stevehoover
5m 11s github-ci-formal
github-ci-formal
5m 11s
Don't fail on non-fatal M5 errors from SandPiper-SaaS. Formal Verification #5: Commit c0cf272 pushed by stevehoover
6m 0s github-ci-formal
github-ci-formal
6m 0s
Restore formal verification CI using GitHub Actions Formal Verification #4: Pull request #119 synchronize by stevehoover
6m 34s github-ci-formal
github-ci-formal
6m 34s
Declare DMEM array before use; add DEBUG_SIGS make option. Formal Verification #3: Commit 0760b1e pushed by stevehoover
5m 46s github-ci-formal
github-ci-formal
5m 46s
Restore formal verification CI using GitHub Actions Formal Verification #2: Pull request #119 opened by stevehoover
6m 17s github-ci-formal
github-ci-formal
6m 17s
Restore formal verification CI using GitHub Actions. Formal Verification #1: Commit 029a601 pushed by stevehoover
6m 34s github-ci-formal
github-ci-formal
6m 34s