Skip to content

Actions: YosysHQ/yosys

Build docs artifact with Verific

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
667 workflow runs
667 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #4799 from povik/wrapcell-unused
Build docs artifact with Verific #603: Commit 4bd6061 pushed by povik
December 10, 2024 20:16 1m 50s main
December 10, 2024 20:16 1m 50s
Merge pull request #4809 from povik/rm-global-tcl-h
Build docs artifact with Verific #602: Commit 3ce7283 pushed by povik
December 10, 2024 19:36 1m 58s main
December 10, 2024 19:36 1m 58s
Merge pull request #4803 from povik/write_verilog-buf
Build docs artifact with Verific #601: Commit 86fad8f pushed by povik
December 10, 2024 19:11 2m 42s main
December 10, 2024 19:11 2m 42s
Merge pull request #4802 from povik/abc9-box-repeat
Build docs artifact with Verific #600: Commit f7ad003 pushed by povik
December 10, 2024 19:08 3m 38s main
December 10, 2024 19:08 3m 38s
Merge pull request #4737 from povik/abc_new-design-boxes
Build docs artifact with Verific #599: Commit ea38fcc pushed by povik
December 10, 2024 19:07 2m 19s main
December 10, 2024 19:07 2m 19s
Merge pull request #4804 from povik/read_liberty-comb-cells
Build docs artifact with Verific #598: Commit e9c7967 pushed by povik
December 10, 2024 16:50 4m 27s main
December 10, 2024 16:50 4m 27s
Merge pull request #4810 from YosysHQ/emil/fix-dfflibmap-test
Build docs artifact with Verific #597: Commit aed32a1 pushed by widlarizer
December 10, 2024 16:46 1m 57s main
December 10, 2024 16:46 1m 57s
tests: fix dfflibmap test
Build docs artifact with Verific #596: Pull request #4810 opened by widlarizer
December 10, 2024 14:50 5m 30s emil/fix-dfflibmap-test
December 10, 2024 14:50 5m 30s
tests: fix dfflibmap test - false negative conflict multiple -liberty…
Build docs artifact with Verific #595: Commit 55dcf0e pushed by widlarizer
December 10, 2024 14:48 2m 6s emil/fix-dfflibmap-test
December 10, 2024 14:48 2m 6s
wrapcell: Optionally track unused outputs
Build docs artifact with Verific #594: Pull request #4799 synchronize by povik
December 10, 2024 14:13 3m 49s povik:wrapcell-unused
December 10, 2024 14:13 3m 49s
Support abc9_box on ordinary modules in abc_new
Build docs artifact with Verific #593: Pull request #4737 synchronize by povik
December 10, 2024 13:32 3m 26s povik:abc_new-design-boxes
December 10, 2024 13:32 3m 26s
kernel: Remove global tcl.h include
Build docs artifact with Verific #592: Pull request #4809 opened by povik
December 10, 2024 12:51 3m 9s povik:rm-global-tcl-h
December 10, 2024 12:51 3m 9s
Merge pull request #4807 from YosysHQ/emil/dfflibmap-test-dffe
Build docs artifact with Verific #591: Commit 87736a2 pushed by widlarizer
December 10, 2024 11:41 3m 27s main
December 10, 2024 11:41 3m 27s
Merge pull request #4678 from povik/tcl-rtlil-api
Build docs artifact with Verific #590: Commit b0708a3 pushed by povik
December 9, 2024 14:45 10m 53s main
December 9, 2024 14:45 10m 53s
read_liberty: Revisit for abc9 whiteboxes
Build docs artifact with Verific #589: Pull request #4804 synchronize by povik
December 9, 2024 14:44 2m 51s povik:read_liberty-comb-cells
December 9, 2024 14:44 2m 51s
wrapcell: Optionally track unused outputs
Build docs artifact with Verific #588: Pull request #4799 synchronize by povik
December 9, 2024 14:40 2m 7s povik:wrapcell-unused
December 9, 2024 14:40 2m 7s
Merge pull request #4806 from YosysHQ/micko/verific_blackbox
Build docs artifact with Verific #587: Commit d0f239a pushed by mmicko
December 9, 2024 14:13 4m 43s main
December 9, 2024 14:13 4m 43s
Merge pull request #4800 from povik/portarcs-fix
Build docs artifact with Verific #586: Commit 481162b pushed by povik
December 9, 2024 14:13 1m 56s main
December 9, 2024 14:13 1m 56s
dfflibmap: cover enable inference with test
Build docs artifact with Verific #585: Pull request #4807 opened by widlarizer
December 9, 2024 13:19 4m 35s emil/dfflibmap-test-dffe
December 9, 2024 13:19 4m 35s
dfflibmap: cover enable inference with test
Build docs artifact with Verific #584: Commit 681b678 pushed by widlarizer
December 9, 2024 13:18 2m 15s emil/dfflibmap-test-dffe
December 9, 2024 13:18 2m 15s
dfflibmap: reproduce dffe test oddity
Build docs artifact with Verific #583: Commit 1f125a5 pushed by widlarizer
December 9, 2024 12:50 3m 29s emil/repro-test-dffe-dfflibmap
December 9, 2024 12:50 3m 29s
Merge pull request #4771 from pepijndevos/famxtra
Build docs artifact with Verific #582: Commit f4ddbc3 pushed by mmicko
December 8, 2024 18:46 1m 48s main
December 8, 2024 18:46 1m 48s
verific: Disable module existence check during static elaboration
Build docs artifact with Verific #581: Pull request #4806 opened by mmicko
December 6, 2024 15:58 1m 59s micko/verific_blackbox
December 6, 2024 15:58 1m 59s
Add verific verilog test cases for blackboxes
Build docs artifact with Verific #580: Commit 0539888 pushed by mmicko
December 6, 2024 15:13 3m 14s micko/verific_blackbox
December 6, 2024 15:13 3m 14s
verific: Disable module existence check during static elaboration
Build docs artifact with Verific #579: Commit 7d4aff6 pushed by mmicko
December 6, 2024 14:59 3m 40s micko/verific_blackbox
December 6, 2024 14:59 3m 40s