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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Merge pull request #4340 from gadfort/abc-lib-merge Build and run tests with Verific (Linux) #17: Commit 171577f pushed by povik
April 17, 2024 20:01 8m 17s main
main
April 17, 2024 20:01 8m 17s