Skip to content

Actions: YosysHQ/yosys

Actions

Build and run tests with Verific (Linux)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-verific.yml
1,455 workflow runs
1,455 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #4300 from YosysHQ/cellmatch Build and run tests with Verific (Linux) #106: Commit 68c7fc4 pushed by widlarizer
May 6, 2024 13:12 8m 2s main
main
May 6, 2024 13:12 8m 2s
cleanup Build and run tests with Verific (Linux) #105: Commit 11f6475 pushed by mmicko
May 6, 2024 13:00 3m 56s nanoxplore
nanoxplore
May 6, 2024 13:00 3m 56s
bbox_derive: add assert and debug print Build and run tests with Verific (Linux) #104: Commit 44b0fdc pushed by widlarizer
May 6, 2024 08:24 4m 14s povik/bbox_derive
povik/bbox_derive
May 6, 2024 08:24 4m 14s
Docs: Set release to YOSYS_VER Build and run tests with Verific (Linux) #103: Pull request #4372 opened by KrystalDelusion
May 4, 2024 04:54 4m 28s krys/docs_version_number
krys/docs_version_number
May 4, 2024 04:54 4m 28s
Makefile: Export YOSYS_VER Build and run tests with Verific (Linux) #102: Commit fe27240 pushed by KrystalDelusion
May 4, 2024 04:51 4m 29s krys/docs_version_number
krys/docs_version_number
May 4, 2024 04:51 4m 29s
cellmatch: New pass for picking out standard cells automatically Build and run tests with Verific (Linux) #101: Pull request #4300 synchronize by widlarizer
May 3, 2024 14:43 4m 12s cellmatch
cellmatch
May 3, 2024 14:43 4m 12s
cellmatch: add comments Build and run tests with Verific (Linux) #100: Commit e939182 pushed by widlarizer
May 3, 2024 14:43 4m 9s cellmatch
cellmatch
May 3, 2024 14:43 4m 9s
Merge pull request #4365 from widlarizer/techmap-chtype-test Build and run tests with Verific (Linux) #99: Commit 2631c7e pushed by widlarizer
May 3, 2024 14:25 8m 4s main
main
May 3, 2024 14:25 8m 4s
intel_alm: convert to memory_libmap Build and run tests with Verific (Linux) #98: Commit e523caa pushed by Ravenslofty
May 3, 2024 12:19 3m 49s lofty/intel_alm-memory_libmap
lofty/intel_alm-memory_libmap
May 3, 2024 12:19 3m 49s
techmap: add dynamic cell type test Build and run tests with Verific (Linux) #97: Pull request #4365 synchronize by widlarizer
May 3, 2024 11:54 4m 17s widlarizer:techmap-chtype-test
widlarizer:techmap-chtype-test
May 3, 2024 11:54 4m 17s
techmap: Remove techmap_chtype from the result Build and run tests with Verific (Linux) #96: Commit 6ff4ecb pushed by povik
May 3, 2024 11:33 8m 19s main
main
May 3, 2024 11:33 8m 19s
cellmatch: New pass for picking out standard cells automatically Build and run tests with Verific (Linux) #95: Pull request #4300 synchronize by povik
May 3, 2024 11:31 3m 56s cellmatch
cellmatch
May 3, 2024 11:31 3m 56s
intel_alm: drop quartus support Build and run tests with Verific (Linux) #94: Pull request #4367 synchronize by Ravenslofty
May 3, 2024 10:32 4m 3s lofty/intel_alm-drop-quartus
lofty/intel_alm-drop-quartus
May 3, 2024 10:32 4m 3s
intel_alm: drop quartus support Build and run tests with Verific (Linux) #93: Commit 8cc9aa7 pushed by Ravenslofty
May 3, 2024 10:32 4m 23s lofty/intel_alm-drop-quartus
lofty/intel_alm-drop-quartus
May 3, 2024 10:32 4m 23s
intel_alm: drop quartus support Build and run tests with Verific (Linux) #92: Pull request #4367 opened by Ravenslofty
May 3, 2024 10:23 2m 41s lofty/intel_alm-drop-quartus
lofty/intel_alm-drop-quartus
May 3, 2024 10:23 2m 41s
intel_alm: drop quartus support Build and run tests with Verific (Linux) #91: Commit 5767222 pushed by Ravenslofty
May 3, 2024 10:17 2m 46s lofty/intel_alm-drop-quartus
lofty/intel_alm-drop-quartus
May 3, 2024 10:17 2m 46s
intel_alm: drop quartus support Build and run tests with Verific (Linux) #90: Commit 225707b pushed by Ravenslofty
May 3, 2024 10:09 27s lofty/intel_alm-drop-quartus
lofty/intel_alm-drop-quartus
May 3, 2024 10:09 27s
techmap: Support mapping to dynamic cell types Build and run tests with Verific (Linux) #89: Pull request #4327 synchronize by widlarizer
May 3, 2024 10:00 4m 42s techmap-chtype
techmap-chtype
May 3, 2024 10:00 4m 42s
Add docs generation from cells help output Build and run tests with Verific (Linux) #88: Pull request #4332 synchronize by KrystalDelusion
May 3, 2024 01:38 4m 27s krys/help_docs
krys/help_docs
May 3, 2024 01:38 4m 27s
Docs: Reflow line length Build and run tests with Verific (Linux) #87: Commit a42e127 pushed by KrystalDelusion
May 3, 2024 01:38 4m 34s krys/help_docs
krys/help_docs
May 3, 2024 01:38 4m 34s
Add docs generation from cells help output Build and run tests with Verific (Linux) #86: Pull request #4332 synchronize by KrystalDelusion
May 2, 2024 22:24 4m 27s krys/help_docs
krys/help_docs
May 2, 2024 22:24 4m 27s
cellhelp: Extra newline Build and run tests with Verific (Linux) #85: Commit 9295daa pushed by KrystalDelusion
May 2, 2024 22:24 4m 23s krys/help_docs
krys/help_docs
May 2, 2024 22:24 4m 23s
Add docs generation from cells help output Build and run tests with Verific (Linux) #84: Pull request #4332 synchronize by KrystalDelusion
May 2, 2024 21:58 4m 33s krys/help_docs
krys/help_docs
May 2, 2024 21:58 4m 33s
ci: Call docs test via top makefile Build and run tests with Verific (Linux) #83: Commit 4b6286b pushed by KrystalDelusion
May 2, 2024 21:58 4m 35s krys/help_docs
krys/help_docs
May 2, 2024 21:58 4m 35s
Add docs generation from cells help output Build and run tests with Verific (Linux) #82: Pull request #4332 synchronize by KrystalDelusion
May 2, 2024 21:50 4m 12s krys/help_docs
krys/help_docs
May 2, 2024 21:50 4m 12s
ProTip! You can narrow down the results and go further in time using created:<2024-05-02 or the other filters available.