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

Merge [email protected]+8 into krys/refactor-workflows Build and run tests with Verific (Linux) #143: Commit deb2ce4 pushed by KrystalDelusion
May 8, 2024 22:27 4m 5s krys/refactor-workflows
krys/refactor-workflows
May 8, 2024 22:27 4m 5s
Reduce action spam when a PR source branch is on YosysHQ/yosys Build and run tests with Verific (Linux) #142: Pull request #4364 synchronize by KrystalDelusion
May 8, 2024 21:39 15s krys/skip-duplicate-actions
krys/skip-duplicate-actions
May 8, 2024 21:39 15s
ci: Add skip check to test-verific Build and run tests with Verific (Linux) #141: Commit 878ac02 pushed by KrystalDelusion
May 8, 2024 21:39 4m 24s krys/skip-duplicate-actions
krys/skip-duplicate-actions
May 8, 2024 21:39 4m 24s
Reduce action spam when a PR source branch is on YosysHQ/yosys Build and run tests with Verific (Linux) #140: Pull request #4364 synchronize by KrystalDelusion
May 8, 2024 21:28 4m 20s krys/skip-duplicate-actions
krys/skip-duplicate-actions
May 8, 2024 21:28 4m 20s
ci: Drop emcc Build and run tests with Verific (Linux) #139: Commit a9eca90 pushed by KrystalDelusion
May 8, 2024 21:28 4m 18s krys/skip-duplicate-actions
krys/skip-duplicate-actions
May 8, 2024 21:28 4m 18s
frontend: Fixes verific import around range order Build and run tests with Verific (Linux) #138: Pull request #4379 synchronize by QuantamHD
May 8, 2024 20:30 4m 18s QuantamHD:fix_verific
QuantamHD:fix_verific
May 8, 2024 20:30 4m 18s
Merge pull request #4243 from RCoeurjoly/submodule_abc Build and run tests with Verific (Linux) #137: Commit b37e8d5 pushed by mmicko
May 8, 2024 12:56 8m 16s main
main
May 8, 2024 12:56 8m 16s
Add YosysHQ/abc as a submodule located in abc. Build and run tests with Verific (Linux) #136: Pull request #4243 synchronize by RCoeurjoly
May 8, 2024 12:29 4m 13s RCoeurjoly:submodule_abc
RCoeurjoly:submodule_abc
May 8, 2024 12:29 4m 13s
Merge pull request #4382 from YosysHQ/micko/pr_template Build and run tests with Verific (Linux) #135: Commit 77dff5a pushed by mmicko
May 8, 2024 11:46 8m 27s main
main
May 8, 2024 11:46 8m 27s
Add YosysHQ/abc as a submodule located in abc. Build and run tests with Verific (Linux) #134: Pull request #4243 synchronize by RCoeurjoly
May 8, 2024 11:23 4m 24s RCoeurjoly:submodule_abc
RCoeurjoly:submodule_abc
May 8, 2024 11:23 4m 24s
Add PR template Build and run tests with Verific (Linux) #133: Pull request #4382 opened by mmicko
May 8, 2024 10:01 4m 3s micko/pr_template
micko/pr_template
May 8, 2024 10:01 4m 3s
Add PR template Build and run tests with Verific (Linux) #132: Commit f806987 pushed by mmicko
May 8, 2024 10:00 4m 6s micko/pr_template
micko/pr_template
May 8, 2024 10:00 4m 6s
Next dev cycle Build and run tests with Verific (Linux) #131: Commit 5616180 pushed by mmicko
May 8, 2024 07:04 8m 0s main
main
May 8, 2024 07:04 8m 0s
Release version 0.41 Build and run tests with Verific (Linux) #130: Commit c1ad377 pushed by mmicko
May 8, 2024 06:54 4m 22s yosys-0.41
yosys-0.41
May 8, 2024 06:54 4m 22s
Release version 0.41 Build and run tests with Verific (Linux) #129: Commit c1ad377 pushed by mmicko
May 8, 2024 06:54 8m 29s main
main
May 8, 2024 06:54 8m 29s
Update ABC with Windows fixes Build and run tests with Verific (Linux) #128: Commit 7ab43dc pushed by mmicko
May 8, 2024 06:30 8m 11s main
main
May 8, 2024 06:30 8m 11s
Merge pull request #4380 from whitequark/cxxrtl-metadata-compression Build and run tests with Verific (Linux) #127: Commit 1ac0008 pushed by whitequark
May 8, 2024 04:48 8m 15s main
main
May 8, 2024 04:48 8m 15s
cxxrtl: reduce stack space used by the debug_info() function Build and run tests with Verific (Linux) #126: Pull request #4380 opened by whitequark
May 8, 2024 03:44 4m 27s whitequark:cxxrtl-metadata-compression
whitequark:cxxrtl-metadata-compression
May 8, 2024 03:44 4m 27s
frontend: Fixes verific import around range order Build and run tests with Verific (Linux) #125: Pull request #4379 synchronize by QuantamHD
May 8, 2024 01:10 4m 15s QuantamHD:fix_verific
QuantamHD:fix_verific
May 8, 2024 01:10 4m 15s
frontend: Fixes verific import around range order Build and run tests with Verific (Linux) #124: Pull request #4379 opened by QuantamHD
May 8, 2024 01:03 3m 56s QuantamHD:fix_verific
QuantamHD:fix_verific
May 8, 2024 01:03 3m 56s
Merge pull request #4377 from jix/smtbmc-incremental-improvements Build and run tests with Verific (Linux) #123: Commit c9d87d5 pushed by mmicko
May 7, 2024 19:35 8m 10s main
main
May 7, 2024 19:35 8m 10s
Merge pull request #4321 from YosysHQ/fix_read_verilog_defaults Build and run tests with Verific (Linux) #122: Commit 8735107 pushed by nakengelhardt
May 7, 2024 19:11 7m 58s main
main
May 7, 2024 19:11 7m 58s
read_verilog: Add missing defaults for flags Build and run tests with Verific (Linux) #121: Pull request #4321 synchronize by nakengelhardt
May 7, 2024 18:26 4m 24s fix_read_verilog_defaults
fix_read_verilog_defaults
May 7, 2024 18:26 4m 24s
read_verilog: Add missing defaults for flags Build and run tests with Verific (Linux) #120: Commit df95ea8 pushed by nakengelhardt
May 7, 2024 18:26 4m 11s fix_read_verilog_defaults
fix_read_verilog_defaults
May 7, 2024 18:26 4m 11s
smtbmc: Improvements for --incremental and .yw fixes Build and run tests with Verific (Linux) #119: Pull request #4377 opened by jix
May 7, 2024 18:02 3m 52s jix:smtbmc-incremental-improvements
jix:smtbmc-incremental-improvements
May 7, 2024 18:02 3m 52s