Skip to content

Actions: YosysHQ/yosys

Actions

Build and run tests with Verific (Linux)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-verific.yml
1,011 workflow run results
1,011 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added cast to type support (#4284) Build and run tests with Verific (Linux) #1056: Commit ce7db66 pushed by zachjs
September 29, 2024 21:03 17m 2s main
main
September 29, 2024 21:03 17m 2s
Allow whitespace in tee command paths Build and run tests with Verific (Linux) #1055: Pull request #4619 opened by malmeloo
September 29, 2024 15:23 13m 8s malmeloo:fix/tee-path-whitespace
malmeloo:fix/tee-path-whitespace
September 29, 2024 15:23 13m 8s
driver: replace getopt with cxxopts, replace -B, clean up help Build and run tests with Verific (Linux) #1033: Pull request #4616 synchronize by widlarizer
September 26, 2024 15:04 16s emil/cxxopts
emil/cxxopts
September 26, 2024 15:04 16s
driver: categorize options into help groups Build and run tests with Verific (Linux) #1032: Commit 5dea68f pushed by widlarizer
September 26, 2024 15:04 15m 45s emil/cxxopts
emil/cxxopts
September 26, 2024 15:04 15m 45s
driver: replace getopt with cxxopts, replace -B, clean up help Build and run tests with Verific (Linux) #1031: Pull request #4616 opened by widlarizer
September 26, 2024 15:04 17s emil/cxxopts
emil/cxxopts
September 26, 2024 15:04 17s
driver: fix help string for --help Build and run tests with Verific (Linux) #1030: Commit 3c692ef pushed by widlarizer
September 26, 2024 14:43 14m 31s emil/cxxopts
emil/cxxopts
September 26, 2024 14:43 14m 31s
driver: switch to cxxopts, replace -B Build and run tests with Verific (Linux) #1029: Commit a9870d2 pushed by widlarizer
September 26, 2024 14:29 14m 39s emil/cxxopts
emil/cxxopts
September 26, 2024 14:29 14m 39s
driver: switch to cxxopts, replace -B Build and run tests with Verific (Linux) #1028: Commit 5f8c03f pushed by widlarizer
September 26, 2024 14:27 2m 32s emil/cxxopts
emil/cxxopts
September 26, 2024 14:27 2m 32s
driver: switch to cxxopts, replace -B Build and run tests with Verific (Linux) #1027: Commit 4371cd5 pushed by widlarizer
September 26, 2024 09:12 16m 24s emil/cxxopts
emil/cxxopts
September 26, 2024 09:12 16m 24s
driver: switch to cxxopts, replace -B Build and run tests with Verific (Linux) #1026: Commit 9e444fe pushed by widlarizer
September 26, 2024 09:11 15s emil/cxxopts
emil/cxxopts
September 26, 2024 09:11 15s
WIP Build and run tests with Verific (Linux) #1025: Commit 1ca8959 pushed by widlarizer
September 25, 2024 22:23 13m 12s emil/cxxopts
emil/cxxopts
September 25, 2024 22:23 13m 12s
WIP Build and run tests with Verific (Linux) #1024: Commit 59fd3b6 pushed by widlarizer
September 25, 2024 21:37 2m 10s emil/cxxopts
emil/cxxopts
September 25, 2024 21:37 2m 10s
opt_reduce: keep at least one input to $reduce_or/and cells Build and run tests with Verific (Linux) #1023: Pull request #4614 opened by georgerennie
September 25, 2024 15:32 13m 26s georgerennie:george/opt_reduce_cell_width
georgerennie:george/opt_reduce_cell_width
September 25, 2024 15:32 13m 26s
opt_demorgan: skip zero width cells Build and run tests with Verific (Linux) #1022: Pull request #4612 synchronize by georgerennie
September 25, 2024 15:10 13m 32s georgerennie:george/opt_demorgan_zero_width
georgerennie:george/opt_demorgan_zero_width
September 25, 2024 15:10 13m 32s
log: Never silence log_cmd_error Build and run tests with Verific (Linux) #1021: Pull request #4613 opened by povik
September 24, 2024 15:53 12m 58s povik:err-never-silence
povik:err-never-silence
September 24, 2024 15:53 12m 58s
opt_demorgan: skip zero width cells Build and run tests with Verific (Linux) #1020: Pull request #4612 synchronize by georgerennie
September 24, 2024 13:25 13m 54s georgerennie:george/opt_demorgan_zero_width
georgerennie:george/opt_demorgan_zero_width
September 24, 2024 13:25 13m 54s
opt_demorgan: skip zero width cells Build and run tests with Verific (Linux) #1019: Pull request #4612 opened by georgerennie
September 24, 2024 13:24 13m 56s georgerennie:george/opt_demorgan_zero_width
georgerennie:george/opt_demorgan_zero_width
September 24, 2024 13:24 13m 56s
Added cast to type support Build and run tests with Verific (Linux) #1018: Pull request #4284 synchronize by rherveille
September 24, 2024 04:09 13m 17s RoaLogic:cast_type
RoaLogic:cast_type
September 24, 2024 04:09 13m 17s
smtbmc: escape path identifiers Build and run tests with Verific (Linux) #1017: Pull request #4609 opened by georgerennie
September 24, 2024 02:09 16m 52s georgerennie:george/smtbmc_paths
georgerennie:george/smtbmc_paths
September 24, 2024 02:09 16m 52s
Merge pull request #4495 from povik/check-avert-costly-detail Build and run tests with Verific (Linux) #1016: Commit 8e1e2b9 pushed by nakengelhardt
September 23, 2024 13:19 17m 54s main
main
September 23, 2024 13:19 17m 54s
rtlil: add Const::compress helper function Build and run tests with Verific (Linux) #1015: Pull request #4608 synchronize by phsauter
September 23, 2024 11:57 13m 53s phsauter:rtlil-const-compress
phsauter:rtlil-const-compress
September 23, 2024 11:57 13m 53s
rtlil: add Const::compress helper function Build and run tests with Verific (Linux) #1014: Pull request #4608 synchronize by phsauter
September 20, 2024 12:03 19h 38m 18s phsauter:rtlil-const-compress
phsauter:rtlil-const-compress
September 20, 2024 12:03 19h 38m 18s
rtlil: add Const::compress helper function Build and run tests with Verific (Linux) #1013: Pull request #4608 opened by phsauter
September 19, 2024 17:04 13m 46s phsauter:rtlil-const-compress
phsauter:rtlil-const-compress
September 19, 2024 17:04 13m 46s
ABC full custom flow Build and run tests with Verific (Linux) #1012: Pull request #4592 synchronize by phsauter
September 19, 2024 16:07 13m 25s phsauter:abc-custom-flow
phsauter:abc-custom-flow
September 19, 2024 16:07 13m 25s
Neater hashing interface Build and run tests with Verific (Linux) #1011: Pull request #4524 synchronize by widlarizer
September 19, 2024 12:17 17s emil/hashlib-interface
emil/hashlib-interface
September 19, 2024 12:17 17s