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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: Update OS/compiler targets Build and run tests with Verific (Linux) #49: Commit 06c498d pushed by KrystalDelusion
April 24, 2024 22:41 5m 59s krys/refactor-workflows
krys/refactor-workflows
April 24, 2024 22:41 5m 59s
Merge pull request #4285 from YosysHQ/typo_fixup Build and run tests with Verific (Linux) #48: Commit c3ae33d pushed by KrystalDelusion
April 24, 2024 21:54 8m 48s main
main
April 24, 2024 21:54 8m 48s
Add template for documentation issues Build and run tests with Verific (Linux) #47: Pull request #4356 opened by KrystalDelusion
April 24, 2024 21:40 4m 20s krys/docs_issue_template
krys/docs_issue_template
April 24, 2024 21:40 4m 20s
github: Add template for documentation issues Build and run tests with Verific (Linux) #46: Commit f2ebc3f pushed by KrystalDelusion
April 24, 2024 21:39 4m 8s krys/docs_issue_template
krys/docs_issue_template
April 24, 2024 21:39 4m 8s
Merge pull request #4350 from jix/read_rtlil_performance Build and run tests with Verific (Linux) #45: Commit cd1fb8b pushed by povik
April 24, 2024 12:07 8m 27s main
main
April 24, 2024 12:07 8m 27s
do not leave NX_RAM empty to prevent removing it Build and run tests with Verific (Linux) #44: Commit 4ef2446 pushed by mmicko
April 24, 2024 09:28 4m 33s nanoxplore
nanoxplore
April 24, 2024 09:28 4m 33s
Made NX_CY model more robust Build and run tests with Verific (Linux) #43: Commit e5535b9 pushed by mmicko
April 24, 2024 06:49 4m 16s nanoxplore
nanoxplore
April 24, 2024 06:49 4m 16s
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
ProTip! You can narrow down the results and go further in time using created:<2024-04-18 or the other filters available.