Skip to content

Actions: YosysHQ/yosys

Build docs artifact with Verific

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
659 workflow runs
659 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
verific: Disable module existence check during static elaboration
Build docs artifact with Verific #578: Commit 2b87822 pushed by mmicko
December 6, 2024 14:57 2m 11s micko/verific_blackbox
December 6, 2024 14:57 2m 11s
Disable VERI-1063 during static elaboration
Build docs artifact with Verific #577: Commit 03a8341 pushed by mmicko
December 6, 2024 14:39 2m 24s micko/verific_blackbox
December 6, 2024 14:39 2m 24s
Merge pull request #4778 from YosysHQ/setenv_pass
Build docs artifact with Verific #576: Commit 2ca611b pushed by mmicko
December 6, 2024 10:55 1m 55s main
December 6, 2024 10:55 1m 55s
Merge pull request #4805 from YosysHQ/hash_scopeindex
Build docs artifact with Verific #575: Commit 4a755f5 pushed by mmicko
December 6, 2024 10:48 1m 56s main
December 6, 2024 10:48 1m 56s
add setenv pass
Build docs artifact with Verific #574: Pull request #4778 synchronize by nakengelhardt
December 6, 2024 10:27 4m 33s setenv_pass
December 6, 2024 10:27 4m 33s
handle quotes and check return value
Build docs artifact with Verific #573: Commit 8557455 pushed by nakengelhardt
December 6, 2024 10:27 1m 45s setenv_pass
December 6, 2024 10:27 1m 45s
add hash method to scopeindex cursor
Build docs artifact with Verific #572: Pull request #4805 opened by nakengelhardt
December 6, 2024 10:19 5m 15s hash_scopeindex
December 6, 2024 10:19 5m 15s
add hash method to scopeindex cursor
Build docs artifact with Verific #571: Commit 2a744b4 pushed by nakengelhardt
December 6, 2024 10:18 2m 10s hash_scopeindex
December 6, 2024 10:18 2m 10s