Skip to content

Actions: YosysHQ/yosys

Build docs artifact with Verific

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
427 workflow run results
427 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

read_rtlil: Warn on assigns after switches in case rules
Build docs artifact with Verific #438: Pull request #4765 synchronize by georgerennie
November 21, 2024 21:59 2m 21s georgerennie:george/rtlil_case_rule
November 21, 2024 21:59 2m 21s
read_rtlil: Warn on assigns after switches in case rules
Build docs artifact with Verific #437: Pull request #4765 opened by georgerennie
November 21, 2024 19:58 2m 6s georgerennie:george/rtlil_case_rule
November 21, 2024 19:58 2m 6s
README: Some updating of web site section
Build docs artifact with Verific #436: Commit 2a9cfdf pushed by KrystalDelusion
November 21, 2024 16:56 3m 41s docs-preview-noguidelines
November 21, 2024 16:56 3m 41s
verific : VHDL assert DFF initial value set on Verific library patch
Build docs artifact with Verific #435: Pull request #4764 opened by mmicko
November 21, 2024 13:12 2m 4s micko/verific_vhdl_assert
November 21, 2024 13:12 2m 4s
verific : VHDL assert DFF initial value set on Verific library patch …
Build docs artifact with Verific #434: Commit d6bd521 pushed by mmicko
November 21, 2024 12:43 3m 21s micko/verific_vhdl_assert
November 21, 2024 12:43 3m 21s
Add Optimization Barriers
Build docs artifact with Verific #433: Pull request #4763 synchronize by georgerennie
November 20, 2024 17:58 4m 12s georgerennie:george/optimization_barriers
November 20, 2024 17:58 4m 12s
pyosys: catch boost::python::error_already_set
Build docs artifact with Verific #432: Commit 18b6165 pushed by georgerennie
November 20, 2024 16:54 44m 6s main
November 20, 2024 16:54 44m 6s
Add Optimization Barriers
Build docs artifact with Verific #431: Pull request #4763 opened by georgerennie
November 20, 2024 16:49 47m 1s georgerennie:george/optimization_barriers
November 20, 2024 16:49 47m 1s
Neater hashing interface
Build docs artifact with Verific #430: Pull request #4524 synchronize by widlarizer
November 20, 2024 16:06 1h 10m 48s emil/hashlib-interface
November 20, 2024 16:06 1h 10m 48s
hashlib: fixes from jix
Build docs artifact with Verific #429: Commit e028510 pushed by widlarizer
November 20, 2024 16:06 52m 59s emil/hashlib-interface
November 20, 2024 16:06 52m 59s
Merge pull request #4744 from YosysHQ/emil/clockgate-liberty
Build docs artifact with Verific #428: Commit 5b6baa3 pushed by widlarizer
November 20, 2024 14:04 2h 34m 21s main
November 20, 2024 14:04 2h 34m 21s
Merge pull request #4762 from georgerennie/george/fix_read_ilang_test
Build docs artifact with Verific #427: Commit 53a4ec3 pushed by povik
November 20, 2024 13:58 2h 38m 27s main
November 20, 2024 13:58 2h 38m 27s
tests: replace read_ilang with read_rtlil
Build docs artifact with Verific #426: Pull request #4762 opened by georgerennie
November 20, 2024 13:55 2h 39m 54s georgerennie:george/fix_read_ilang_test
November 20, 2024 13:55 2h 39m 54s
Merge pull request #4448 from georgerennie/shiftadd_gating
Build docs artifact with Verific #425: Commit 56b80bd pushed by widlarizer
November 20, 2024 12:34 3h 43m 23s main
November 20, 2024 12:34 3h 43m 23s
Merge pull request #4701 from georgerennie/george/pyosys_noreturn_attrs
Build docs artifact with Verific #424: Commit da8c8b4 pushed by widlarizer
November 20, 2024 12:33 3h 42m 17s main
November 20, 2024 12:33 3h 42m 17s
Merge pull request #4612 from georgerennie/george/opt_demorgan_zero_w…
Build docs artifact with Verific #423: Commit cc17d5b pushed by widlarizer
November 20, 2024 12:33 3h 40m 57s main
November 20, 2024 12:33 3h 40m 57s
Merge pull request #4614 from georgerennie/george/opt_reduce_cell_width
Build docs artifact with Verific #422: Commit 18459b4 pushed by widlarizer
November 20, 2024 12:33 3h 40m 12s main
November 20, 2024 12:33 3h 40m 12s
Merge pull request #4755 from pepijndevos/cells_xtra
Build docs artifact with Verific #421: Commit 88abc4c pushed by widlarizer
November 20, 2024 12:32 3h 39m 4s main
November 20, 2024 12:32 3h 39m 4s
Merge pull request #4714 from georgerennie/george/proc_dff_bug_multip…
Build docs artifact with Verific #420: Commit 7ebe451 pushed by povik
November 20, 2024 12:26 3h 43m 13s main
November 20, 2024 12:26 3h 43m 13s
Neater hashing interface
Build docs artifact with Verific #419: Pull request #4524 synchronize by widlarizer
November 20, 2024 12:24 6h 0m 44s emil/hashlib-interface
November 20, 2024 12:24 6h 0m 44s
hashlib: fixes from jix
Build docs artifact with Verific #418: Commit bd783c3 pushed by widlarizer
November 20, 2024 12:24 9h 43m 27s emil/hashlib-interface
November 20, 2024 12:24 9h 43m 27s
Merge pull request #4739 from hzeller/feature-20241113-stdlib-for-abort
Build docs artifact with Verific #417: Commit 1184418 pushed by povik
November 20, 2024 09:19 2m 2s main
November 20, 2024 09:19 2m 2s
Improvements for downstream-distro maintainability.
Build docs artifact with Verific #416: Pull request #4730 synchronize by KrystalDelusion
November 19, 2024 23:31 2m 6s krys/downstream-docs
November 19, 2024 23:31 2m 6s
Docs: Accept empty string for release envvar
Build docs artifact with Verific #415: Commit e649c1a pushed by KrystalDelusion
November 19, 2024 23:31 2m 13s krys/downstream-docs
November 19, 2024 23:31 2m 13s
Docs: Add check for envvar to disable todos
Build docs artifact with Verific #413: Commit 44b68fb pushed by KrystalDelusion
November 19, 2024 23:18 2m 57s krys/downstream-docs
November 19, 2024 23:18 2m 57s