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
292 workflow run results
292 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

use both 1'b1 in CO extraction to make pattern simpler in nextpnr Build and run tests with Verific (Linux) #42: Commit f91c8b5 pushed by mmicko
April 24, 2024 06:37 4m 15s nanoxplore
nanoxplore
April 24, 2024 06:37 4m 15s
Add YosysHQ/abc as a submodule located in abc. Build and run tests with Verific (Linux) #41: Pull request #4243 synchronize by RCoeurjoly
April 23, 2024 21:52 4m 5s RCoeurjoly:submodule_abc
RCoeurjoly:submodule_abc
April 23, 2024 21:52 4m 5s
Add YosysHQ/abc as a submodule located in abc. Build and run tests with Verific (Linux) #40: Pull request #4243 synchronize by RCoeurjoly
April 23, 2024 21:39 4m 14s RCoeurjoly:submodule_abc
RCoeurjoly:submodule_abc
April 23, 2024 21:39 4m 14s
Add YosysHQ/abc as a submodule located in abc. Build and run tests with Verific (Linux) #39: Pull request #4243 synchronize by RCoeurjoly
April 23, 2024 21:22 24s RCoeurjoly:submodule_abc
RCoeurjoly:submodule_abc
April 23, 2024 21:22 24s
Merge pull request #4351 from povik/bump-abc Build and run tests with Verific (Linux) #38: Commit 982a22d pushed by povik
April 23, 2024 12:20 8m 33s main
main
April 23, 2024 12:20 8m 33s
Bump abc Build and run tests with Verific (Linux) #37: Pull request #4351 synchronize by povik
April 23, 2024 11:51 4m 51s povik:bump-abc
povik:bump-abc
April 23, 2024 11:51 4m 51s
Add YosysHQ/abc as a submodule located in abc. Build and run tests with Verific (Linux) #36: Pull request #4243 synchronize by RCoeurjoly
April 23, 2024 10:03 4m 21s RCoeurjoly:submodule_abc
RCoeurjoly:submodule_abc
April 23, 2024 10:03 4m 21s
Bump abc Build and run tests with Verific (Linux) #35: Pull request #4351 synchronize by povik
April 23, 2024 09:42 4m 29s povik:bump-abc
povik:bump-abc
April 23, 2024 09:42 4m 29s
Bump abc for one more fix Build and run tests with Verific (Linux) #34: Commit c167d9b pushed by povik
April 23, 2024 09:41 4m 29s bump-abc
bump-abc
April 23, 2024 09:41 4m 29s
Bump abc Build and run tests with Verific (Linux) #33: Pull request #4351 synchronize by povik
April 22, 2024 15:43 4m 7s povik:bump-abc
povik:bump-abc
April 22, 2024 15:43 4m 7s
Bump abc Build and run tests with Verific (Linux) #32: Pull request #4351 opened by povik
April 22, 2024 14:44 4m 2s povik:bump-abc
povik:bump-abc
April 22, 2024 14:44 4m 2s
rtlil: Add packed extract implementation for SigSpec Build and run tests with Verific (Linux) #31: Pull request #4350 synchronize by povik
April 22, 2024 14:24 4m 17s jix:read_rtlil_performance
jix:read_rtlil_performance
April 22, 2024 14:24 4m 17s
Made NX_CY model more robust Build and run tests with Verific (Linux) #30: Commit e5535b9 pushed by mmicko
April 22, 2024 12:06 3m 54s nanoxplore
nanoxplore
April 22, 2024 12:06 3m 54s
rtlil: Add packed extract implementation for SigSpec Build and run tests with Verific (Linux) #29: Pull request #4350 opened by jix
April 22, 2024 11:36 4m 12s jix:read_rtlil_performance
jix:read_rtlil_performance
April 22, 2024 11:36 4m 12s
add latch mapping, and remove aldff for now Build and run tests with Verific (Linux) #28: Commit 90a5722 pushed by mmicko
April 19, 2024 16:09 4m 13s nanoxplore
nanoxplore
April 19, 2024 16:09 4m 13s
CI Improvements Build and run tests with Verific (Linux) #27: Pull request #4183 synchronize by KrystalDelusion
April 19, 2024 03:47 4m 26s krys/refactor-workflows
krys/refactor-workflows
April 19, 2024 03:47 4m 26s
Merge yosys-0.40+0.25 into krys/refactor-workflows Build and run tests with Verific (Linux) #26: Commit c4ab1d9 pushed by KrystalDelusion
April 19, 2024 03:47 4m 38s krys/refactor-workflows
krys/refactor-workflows
April 19, 2024 03:47 4m 38s
Add YosysHQ/abc as a submodule located in abc. Build and run tests with Verific (Linux) #25: Pull request #4243 synchronize by RCoeurjoly
April 18, 2024 15:55 4m 21s RCoeurjoly:submodule_abc
RCoeurjoly:submodule_abc
April 18, 2024 15:55 4m 21s
cost: add keep_hierarchy pass with min_cost argument Build and run tests with Verific (Linux) #24: Pull request #4344 synchronize by widlarizer
April 18, 2024 14:06 3m 52s widlarizer:emil/keep_hierarchy
widlarizer:emil/keep_hierarchy
April 18, 2024 14:06 3m 52s
cost: add keep_hierarchy pass with min_cost argument Build and run tests with Verific (Linux) #23: Pull request #4344 synchronize by widlarizer
April 18, 2024 14:01 3m 56s widlarizer:emil/keep_hierarchy
widlarizer:emil/keep_hierarchy
April 18, 2024 14:01 3m 56s
cost: add keep_hierarchy pass with min_cost argument Build and run tests with Verific (Linux) #22: Pull request #4344 synchronize by widlarizer
April 18, 2024 10:31 4m 27s widlarizer:emil/keep_hierarchy
widlarizer:emil/keep_hierarchy
April 18, 2024 10:31 4m 27s
cost: add keep_hierarchy pass with min_cost argument Build and run tests with Verific (Linux) #21: Pull request #4344 opened by widlarizer
April 18, 2024 10:29 4m 45s widlarizer:emil/keep_hierarchy
widlarizer:emil/keep_hierarchy
April 18, 2024 10:29 4m 45s
ABC: read_lib args and placeholders Build and run tests with Verific (Linux) #20: Pull request #4343 opened by phsauter
April 18, 2024 09:52 4m 8s phsauter:abc-liberty-args
phsauter:abc-liberty-args
April 18, 2024 09:52 4m 8s
Add YosysHQ/abc as a submodule located in abc. Build and run tests with Verific (Linux) #19: Pull request #4243 synchronize by RCoeurjoly
April 18, 2024 07:46 4m 32s RCoeurjoly:submodule_abc
RCoeurjoly:submodule_abc
April 18, 2024 07:46 4m 32s
Add YosysHQ/abc as a submodule located in abc. Build and run tests with Verific (Linux) #18: Pull request #4243 synchronize by RCoeurjoly
April 18, 2024 07:30 4m 3s RCoeurjoly:submodule_abc
RCoeurjoly:submodule_abc
April 18, 2024 07:30 4m 3s
ProTip! You can narrow down the results and go further in time using created:<2024-04-18 or the other filters available.