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

write_btor: support $buf
Build docs artifact with Verific #385: Pull request #4711 synchronize by georgerennie
November 15, 2024 10:47 2m 16s georgerennie:george/btor_buf
November 15, 2024 10:47 2m 16s
synth_gatemate: Ensure proper mapping of multiplexers
Build docs artifact with Verific #384: Pull request #4746 opened by pu-cc
November 15, 2024 10:16 2m 19s pu-cc:gatemate-mux-fix
November 15, 2024 10:16 2m 19s
cxxrtl: strip $paramod from module name in scope info
Build docs artifact with Verific #383: Pull request #4745 opened by whitequark
November 14, 2024 21:51 3m 17s whitequark:cxxrtl-no-paramod
November 14, 2024 21:51 3m 17s
clockgate: add -liberty
Build docs artifact with Verific #382: Pull request #4744 opened by widlarizer
November 14, 2024 19:48 1m 52s emil/clockgate-liberty
November 14, 2024 19:48 1m 52s
clockgate: add -liberty
Build docs artifact with Verific #381: Commit 45880ea pushed by widlarizer
November 14, 2024 19:38 1m 52s emil/clockgate-liberty
November 14, 2024 19:38 1m 52s
Merge pull request #4734 from mikesinouye/verific
Build docs artifact with Verific #380: Commit bbb6bbd pushed by povik
November 14, 2024 18:39 2m 14s main
November 14, 2024 18:39 2m 14s
Neater hashing interface
Build docs artifact with Verific #379: Pull request #4524 synchronize by widlarizer
November 14, 2024 13:44 3m 17s emil/hashlib-interface
November 14, 2024 13:44 3m 17s
hashlib: legacy mkhash_add -> djb2_add
Build docs artifact with Verific #378: Commit 5584e74 pushed by widlarizer
November 14, 2024 13:44 5m 21s emil/hashlib-interface
November 14, 2024 13:44 5m 21s
Print a note about finding attribute (* top *) in hierarchy
Build docs artifact with Verific #377: Pull request #4742 opened by nakengelhardt
November 14, 2024 13:36 2m 6s hierarchy_notify_top_attr
November 14, 2024 13:36 2m 6s
select.cc: More refactoring
Build docs artifact with Verific #376: Commit 8c60caf pushed by KrystalDelusion
November 14, 2024 00:17 5m 31s krys/blackboxes
November 14, 2024 00:17 5m 31s
fixup! opt_merge: fix the many collisions case
Build docs artifact with Verific #373: Commit 1415cd9 pushed by widlarizer
November 13, 2024 22:03 3m 22s emil/opt_merge-hashing
November 13, 2024 22:03 3m 22s
Include stdlib.h for abort()
Build docs artifact with Verific #372: Pull request #4739 opened by hzeller
November 13, 2024 21:06 3m 54s hzeller:feature-20241113-stdlib-for-abort
November 13, 2024 21:06 3m 54s
opt_merge: fix fixpoint abuse
Build docs artifact with Verific #371: Commit e30afc9 pushed by widlarizer
November 13, 2024 21:03 2m 33s emil/opt_merge-hashing
November 13, 2024 21:03 2m 33s
Add updated CODE_OF_CONDUCT
Build docs artifact with Verific #369: Commit 436b703 pushed by KrystalDelusion
November 13, 2024 20:13 2m 59s docs-preview-noguidelines
November 13, 2024 20:13 2m 59s
Integrate guidelines folder into documentation
Build docs artifact with Verific #370: Pull request #4731 synchronize by KrystalDelusion
November 13, 2024 20:13 3m 31s docs-preview-noguidelines
November 13, 2024 20:13 3m 31s
opt_merge: hash type
Build docs artifact with Verific #368: Commit 24c96f2 pushed by widlarizer
November 13, 2024 19:07 4m 9s emil/opt_merge-hashing
November 13, 2024 19:07 4m 9s
Merge pull request #4698 from YosysHQ/lofty/dfflibmap-enable
Build docs artifact with Verific #367: Commit d9ef388 pushed by Ravenslofty
November 13, 2024 17:50 3m 17s main
November 13, 2024 17:50 3m 17s
Merge pull request #4736 from povik/portarcs
Build docs artifact with Verific #366: Commit 6694d1c pushed by Ravenslofty
November 13, 2024 16:56 1m 55s main
November 13, 2024 16:56 1m 55s
Support abc9_box on ordinary modules in abc_new
Build docs artifact with Verific #365: Pull request #4737 synchronize by povik
November 13, 2024 16:51 3m 18s povik:abc_new-design-boxes
November 13, 2024 16:51 3m 18s
dfflibmap: enable inference
Build docs artifact with Verific #364: Pull request #4698 synchronize by Ravenslofty
November 13, 2024 16:07 3m 43s lofty/dfflibmap-enable
November 13, 2024 16:07 3m 43s
dfflibmap: move expression code into libparse
Build docs artifact with Verific #363: Commit 4f40187 pushed by Ravenslofty
November 13, 2024 16:07 3m 28s lofty/dfflibmap-enable
November 13, 2024 16:07 3m 28s
Support abc9_box on ordinary modules in abc_new
Build docs artifact with Verific #362: Pull request #4737 opened by povik
November 13, 2024 15:37 1m 18s povik:abc_new-design-boxes
November 13, 2024 15:37 1m 18s
portarcs: New command to derive propagation arcs
Build docs artifact with Verific #361: Pull request #4736 opened by povik
November 13, 2024 15:24 3m 31s povik:portarcs
November 13, 2024 15:24 3m 31s
Merge pull request #4709 from YosysHQ/emil/idstring-in-fold
Build docs artifact with Verific #360: Commit 4ce8c7a pushed by povik
November 13, 2024 14:17 1m 53s main
November 13, 2024 14:17 1m 53s
Merge pull request #4727 from georgerennie/george/bufnorm_constants2
Build docs artifact with Verific #359: Commit 9da7341 pushed by povik
November 13, 2024 13:32 3m 29s main
November 13, 2024 13:32 3m 29s