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

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
read_liberty: Revisit for abc9 whiteboxes
Build docs artifact with Verific #570: Pull request #4804 opened by povik
December 5, 2024 17:53 25m 29s povik:read_liberty-comb-cells
December 5, 2024 17:53 25m 29s
write_verilog: Use assign for $buf
Build docs artifact with Verific #569: Pull request #4803 opened by povik
December 5, 2024 17:48 20m 26s povik:write_verilog-buf
December 5, 2024 17:48 20m 26s
Adjust abc9_ops -prep_box to allow repeated invocation
Build docs artifact with Verific #568: Pull request #4802 opened by povik
December 5, 2024 17:42 18m 38s povik:abc9-box-repeat
December 5, 2024 17:42 18m 38s
Merge pull request #4801 from povik/aiger2-rm-print
Build docs artifact with Verific #567: Commit 4cdca66 pushed by povik
December 5, 2024 17:41 16m 37s main
December 5, 2024 17:41 16m 37s
read_xaiger2: Rm debug print
Build docs artifact with Verific #566: Pull request #4801 opened by povik
December 5, 2024 17:41 12m 45s povik:aiger2-rm-print
December 5, 2024 17:41 12m 45s
Fix portarcs edge cases
Build docs artifact with Verific #565: Pull request #4800 opened by povik
December 5, 2024 17:40 10m 39s povik:portarcs-fix
December 5, 2024 17:40 10m 39s
wrapcell: Optionally track unused outputs
Build docs artifact with Verific #564: Pull request #4799 opened by povik
December 5, 2024 17:39 2m 14s povik:wrapcell-unused
December 5, 2024 17:39 2m 14s
Start Tcl design inspection methods
Build docs artifact with Verific #563: Pull request #4678 synchronize by povik
December 5, 2024 12:37 3m 57s povik:tcl-rtlil-api
December 5, 2024 12:37 3m 57s
Merge pull request #4731 from YosysHQ/docs-preview-noguidelines
Build docs artifact with Verific #562: Commit 4418f92 pushed by KrystalDelusion
December 4, 2024 20:59 2m 0s main
December 4, 2024 20:59 2m 0s
Integrate guidelines folder into documentation
Build docs artifact with Verific #561: Pull request #4731 synchronize by KrystalDelusion
December 4, 2024 20:21 9m 27s docs-preview-noguidelines
December 4, 2024 20:21 9m 27s
Docs/installation: Drop resolved todos
Build docs artifact with Verific #560: Commit 40af327 pushed by KrystalDelusion
December 4, 2024 20:21 7m 15s docs-preview-noguidelines
December 4, 2024 20:21 7m 15s
Merge pull request #4794 from YosysHQ/krys/cygwin_compat
Build docs artifact with Verific #559: Commit c61b2bc pushed by KrystalDelusion
December 4, 2024 20:16 7m 7s main
December 4, 2024 20:16 7m 7s
Merge pull request #4784 from YosysHQ/krys/reduce_warnings
Build docs artifact with Verific #558: Commit c96d02b pushed by KrystalDelusion
December 4, 2024 20:16 2m 31s main
December 4, 2024 20:16 2m 31s
Merge pull request #4770 from YosysHQ/emil/autoidx-option
Build docs artifact with Verific #557: Commit d780864 pushed by widlarizer
December 4, 2024 15:43 4m 0s main
December 4, 2024 15:43 4m 0s
Merge pull request #4773 from povik/wrapcell
Build docs artifact with Verific #556: Commit 59a9647 pushed by povik
December 4, 2024 10:49 5m 3s main
December 4, 2024 10:49 5m 3s
Merge pull request #4787 from povik/booth-macc
Build docs artifact with Verific #555: Commit 14ee5ce pushed by povik
December 4, 2024 10:49 2m 15s main
December 4, 2024 10:49 2m 15s
Merge pull request #4797 from YosysHQ/emil/multiple-liberty
Build docs artifact with Verific #554: Commit 3b8e8ee pushed by widlarizer
December 4, 2024 10:18 4m 37s main
December 4, 2024 10:18 4m 37s