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,594 workflow run results
1,594 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add -blackbox option to setundef pass Build and run tests with Verific (Linux) #1655: Pull request #4812 opened by KrystalDelusion
December 10, 2024 23:20 13s krys/setundef_blackbox
krys/setundef_blackbox
December 10, 2024 23:20 13s
setundef: Add test for -blackbox Build and run tests with Verific (Linux) #1654: Commit 1d374fd pushed by KrystalDelusion
December 10, 2024 23:16 7m 4s krys/setundef_blackbox
krys/setundef_blackbox
December 10, 2024 23:16 7m 4s
Merge pull request #4799 from povik/wrapcell-unused Build and run tests with Verific (Linux) #1653: Commit 4bd6061 pushed by povik
December 10, 2024 20:16 11m 32s main
main
December 10, 2024 20:16 11m 32s
Merge pull request #4809 from povik/rm-global-tcl-h Build and run tests with Verific (Linux) #1652: Commit 3ce7283 pushed by povik
December 10, 2024 19:36 11m 59s main
main
December 10, 2024 19:36 11m 59s
Merge pull request #4803 from povik/write_verilog-buf Build and run tests with Verific (Linux) #1651: Commit 86fad8f pushed by povik
December 10, 2024 19:11 10m 44s main
main
December 10, 2024 19:11 10m 44s
Merge pull request #4802 from povik/abc9-box-repeat Build and run tests with Verific (Linux) #1650: Commit f7ad003 pushed by povik
December 10, 2024 19:08 2m 51s main
main
December 10, 2024 19:08 2m 51s
Merge pull request #4737 from povik/abc_new-design-boxes Build and run tests with Verific (Linux) #1649: Commit ea38fcc pushed by povik
December 10, 2024 19:07 51s main
main
December 10, 2024 19:07 51s
Merge pull request #4804 from povik/read_liberty-comb-cells Build and run tests with Verific (Linux) #1648: Commit e9c7967 pushed by povik
December 10, 2024 16:50 10m 22s main
main
December 10, 2024 16:50 10m 22s
Merge pull request #4810 from YosysHQ/emil/fix-dfflibmap-test Build and run tests with Verific (Linux) #1647: Commit aed32a1 pushed by widlarizer
December 10, 2024 16:46 19s main
main
December 10, 2024 16:46 19s
tests: fix dfflibmap test Build and run tests with Verific (Linux) #1646: Pull request #4810 opened by widlarizer
December 10, 2024 14:50 1m 39s emil/fix-dfflibmap-test
emil/fix-dfflibmap-test
December 10, 2024 14:50 1m 39s
tests: fix dfflibmap test - false negative conflict multiple -liberty… Build and run tests with Verific (Linux) #1645: Commit 55dcf0e pushed by widlarizer
December 10, 2024 14:48 7m 33s emil/fix-dfflibmap-test
emil/fix-dfflibmap-test
December 10, 2024 14:48 7m 33s
wrapcell: Optionally track unused outputs Build and run tests with Verific (Linux) #1644: Pull request #4799 synchronize by povik
December 10, 2024 14:13 1m 32s povik:wrapcell-unused
povik:wrapcell-unused
December 10, 2024 14:13 1m 32s
Support abc9_box on ordinary modules in abc_new Build and run tests with Verific (Linux) #1643: Pull request #4737 synchronize by povik
December 10, 2024 13:32 3m 45s povik:abc_new-design-boxes
povik:abc_new-design-boxes
December 10, 2024 13:32 3m 45s
kernel: Remove global tcl.h include Build and run tests with Verific (Linux) #1642: Pull request #4809 opened by povik
December 10, 2024 12:51 1m 58s povik:rm-global-tcl-h
povik:rm-global-tcl-h
December 10, 2024 12:51 1m 58s
Merge pull request #4807 from YosysHQ/emil/dfflibmap-test-dffe Build and run tests with Verific (Linux) #1641: Commit 87736a2 pushed by widlarizer
December 10, 2024 11:41 3m 15s main
main
December 10, 2024 11:41 3m 15s
Merge pull request #4678 from povik/tcl-rtlil-api Build and run tests with Verific (Linux) #1640: Commit b0708a3 pushed by povik
December 9, 2024 14:45 19m 11s main
main
December 9, 2024 14:45 19m 11s
read_liberty: Revisit for abc9 whiteboxes Build and run tests with Verific (Linux) #1639: Pull request #4804 synchronize by povik
December 9, 2024 14:44 9m 32s povik:read_liberty-comb-cells
povik:read_liberty-comb-cells
December 9, 2024 14:44 9m 32s
wrapcell: Optionally track unused outputs Build and run tests with Verific (Linux) #1638: Pull request #4799 synchronize by povik
December 9, 2024 14:40 7m 24s povik:wrapcell-unused
povik:wrapcell-unused
December 9, 2024 14:40 7m 24s
Merge pull request #4806 from YosysHQ/micko/verific_blackbox Build and run tests with Verific (Linux) #1637: Commit d0f239a pushed by mmicko
December 9, 2024 14:13 11m 32s main
main
December 9, 2024 14:13 11m 32s
Merge pull request #4800 from povik/portarcs-fix Build and run tests with Verific (Linux) #1636: Commit 481162b pushed by povik
December 9, 2024 14:13 53s main
main
December 9, 2024 14:13 53s
dfflibmap: cover enable inference with test Build and run tests with Verific (Linux) #1635: Pull request #4807 opened by widlarizer
December 9, 2024 13:19 13s emil/dfflibmap-test-dffe
emil/dfflibmap-test-dffe
December 9, 2024 13:19 13s
dfflibmap: cover enable inference with test Build and run tests with Verific (Linux) #1634: Commit 681b678 pushed by widlarizer
December 9, 2024 13:18 7m 6s emil/dfflibmap-test-dffe
emil/dfflibmap-test-dffe
December 9, 2024 13:18 7m 6s
dfflibmap: reproduce dffe test oddity Build and run tests with Verific (Linux) #1633: Commit 1f125a5 pushed by widlarizer
December 9, 2024 12:50 3m 38s emil/repro-test-dffe-dfflibmap
emil/repro-test-dffe-dfflibmap
December 9, 2024 12:50 3m 38s
Merge pull request #4771 from pepijndevos/famxtra Build and run tests with Verific (Linux) #1632: Commit f4ddbc3 pushed by mmicko
December 8, 2024 18:46 11m 18s main
main
December 8, 2024 18:46 11m 18s
verific: Disable module existence check during static elaboration Build and run tests with Verific (Linux) #1631: Pull request #4806 opened by mmicko
December 6, 2024 15:58 18s micko/verific_blackbox
micko/verific_blackbox
December 6, 2024 15:58 18s