Skip to content

Actions: antmicro/verilator

format

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,317 workflow runs
1,317 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Declare map as static
format #4543: Commit 04cb1c6 pushed by RRozak
January 14, 2025 15:54 51s rrozak/coverage-map-verilation-rebased
January 14, 2025 15:54 51s
Fix toggle coverage indexing
format #4542: Commit 28d4524 pushed by tgorochowik
January 14, 2025 15:05 4m 37s toggle-coverage-index
January 14, 2025 15:05 4m 37s
Reorder fields
format #4538: Commit b5ba43f pushed by RRozak
January 14, 2025 10:17 1m 16s rrozak/coverage-map-verilation
January 14, 2025 10:17 1m 16s
Fix VPI iteration over hierarchy (#5314) (#5731)
format #4536: Commit 20faa99 pushed by b-chmiel
January 14, 2025 07:31 58s master
January 14, 2025 07:31 58s
Don't include bin num in key
format #4535: Commit aa59fec pushed by RRozak
January 13, 2025 15:48 7m 3s rrozak/coverage-map-verilation
January 13, 2025 15:48 7m 3s
WIP: Handle variable duplication using map
format #4534: Commit ecf9227 pushed by RRozak
January 13, 2025 15:41 12m 42s rrozak/coverage-map-verilation
January 13, 2025 15:41 12m 42s
Use map of indices only in Verilation
format #4533: Commit 76f6836 pushed by RRozak
January 13, 2025 15:04 16m 48s rrozak/coverage-map-verilation
January 13, 2025 15:04 16m 48s
WIP: Fill coverage_indices array
format #4532: Commit 52393c1 pushed by RRozak
January 13, 2025 14:55 1m 15s rrozak/coverage-map
January 13, 2025 14:55 1m 15s
Improve `resetall support (#5728) (#5730)
format #4531: Commit dc43071 pushed by b-chmiel
January 13, 2025 07:52 1m 0s master
January 13, 2025 07:52 1m 0s
Add coverpoint declaration to global scope
format #4530: Commit db1a839 pushed by RRozak
January 10, 2025 13:32 57s rrozak/cover-param
January 10, 2025 13:32 57s
Do not emit BLKSEQ on suspendable process
format #4528: Commit 7e2a81c pushed by kbieganski
January 9, 2025 08:52 46s no-blkseq-suspendable
January 9, 2025 08:52 46s
January 8, 2025 19:47 1m 12s
Do not emit BLKSEQ on suspendable non-sequential process
format #4526: Commit 64d0aed pushed by kbieganski
January 8, 2025 19:35 1m 2s no-blkseq-nonseq
January 8, 2025 19:35 1m 2s
Do not emit BLKSEQ on suspendable non-sequential process
format #4525: Commit 8c61837 pushed by kbieganski
January 8, 2025 15:47 1m 11s no-blkseq-nonseq
January 8, 2025 15:47 1m 11s
WIP: Add solve..before edges
format #4524: Commit 3a97a11 pushed by RRozak
January 8, 2025 08:50 56s rrozak/solve-before
January 8, 2025 08:50 56s
format
format #4523: by RRozak
January 7, 2025 14:32 47s rrozak/solve-before
January 7, 2025 14:32 47s
Add COVERIGN warning, as a more specific UNSUPPORTED error.
format #4522: Commit e171463 pushed by b-chmiel
January 7, 2025 08:39 47s master
January 7, 2025 08:39 47s
Add missing comments
format #4521: Commit ced0d02 pushed by tgorochowik
January 3, 2025 09:58 46s branch-cov-comments
January 3, 2025 09:58 46s
Only add coverage comments for toggle for now
format #4520: Commit c611d84 pushed by tgorochowik
January 2, 2025 18:16 1m 6s case-coverage
January 2, 2025 18:16 1m 6s
Only add coverage comments for toggle for now
format #4519: Commit 6555fd4 pushed by tgorochowik
January 2, 2025 13:54 53s case-coverage
January 2, 2025 13:54 53s