Skip to content

Actions: meiniKi/FazyRV

Actions

Verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verif.yml
40 workflow runs
40 workflow runs

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
Add RVC parameter to LiteX calls, doc fix Verification #69: Pull request #12 opened by meiniKi
1h 41m 24s dev
dev
1h 41m 24s
RVC in block diagram, adapt area tracking Verification #68: Pull request #11 opened by meiniKi
1h 31m 6s dev
dev
1h 31m 6s
Bump pillow from 12.1.1 to 12.2.0 Verification #67: Pull request #10 opened by meiniKi
1h 19m 30s dev
dev
1h 19m 30s
Update README Verification #66: Pull request #9 opened by meiniKi
1h 35m 5s dev
dev
1h 35m 5s
Add RVC support, workflow enhancements Verification #65: Pull request #8 opened by meiniKi
1h 35m 16s dev
dev
1h 35m 16s
Bump pillow from 12.0.0 to 12.1.1 Verification #64: Pull request #7 opened by dependabot Bot
3m 49s dependabot/pip/pillow-12.1.1
dependabot/pip/pillow-12.1.1
3m 49s
Run verification on push; Fix litex repo checkout Verification #63: Commit 35f8e29 pushed by meiniKi
1h 33m 25s feature/rvc
feature/rvc
1h 33m 25s
Fix rvfi for BRAM variants, add parameter checks Verification #62: Pull request #6 synchronize by meiniKi
55m 37s dev
dev
55m 37s
Fix rvfi for BRAM variants, add parameter checks Verification #61: Pull request #6 opened by meiniKi
27m 24s dev
dev
27m 24s
Updates flows, ci, small fixes Verification #60: Pull request #5 opened by meiniKi
55m 56s dev
dev
55m 56s
Add related work Verification #59: Commit 78d0179 pushed by meiniKi
1h 2m 56s dev
dev
1h 2m 56s
Hardwire x0 as bram regs are not initialized in asic synthesis Verification #58: Commit 78f30d7 pushed by meiniKi
29m 40s asic/bram
asic/bram
29m 40s
Merge pull request #4 from meiniKi/dev Verification #57: Commit 4aaf243 pushed by meiniKi
56s main
main
56s
Fixes verification-related bugs Verification #56: Pull request #4 opened by meiniKi
40m 13s dev
dev
40m 13s
Merge remote-tracking branch 'origin/dev' into dev Verification #55: Commit 9d89bc2 pushed by meiniKi
40m 7s dev
dev
40m 7s
Fix fv.rvformal.cov.reg Makefile target Verification #54: Commit 979e0f0 pushed by meiniKi
34m 5s dev
dev
34m 5s
Refine fazyrv_pc formal checks Verification #53: Commit 2c3519e pushed by meiniKi
33m 47s dev
dev
33m 47s
Merge pull request #3 from meiniKi/dev Verification #52: Commit 270519a pushed by meiniKi
43m 36s main
main
43m 36s
Fixes fazyrv_pc; multiple version updates Verification #51: Pull request #3 synchronize by meiniKi
33m 17s dev
dev
33m 17s
Small fixes in action and Makefile Verification #50: Commit 7859e04 pushed by meiniKi
33m 53s dev
dev
33m 53s
Fixes fazyrv_pc; multiple version updates Verification #49: Pull request #3 synchronize by meiniKi
43m 29s dev
dev
43m 29s
Merge Verification #48: Commit f52dc8e pushed by meiniKi
34m 8s dev
dev
34m 8s
Merge remote-tracking branch 'origin/dev' into dev Verification #47: Commit cf46428 pushed by meiniKi
33m 40s dev
dev
33m 40s
oss-cad-suite version updates; sail path fix Verification #46: Commit 4949fe7 pushed by meiniKi
44m 35s dev
dev
44m 35s
Fix sail path; artifact v4 Verification #45: Commit fca533c pushed by meiniKi
21m 13s dev
dev
21m 13s