Skip to content

Actions: YosysHQ/yosys

Build and run tests with Verific (Linux)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,011 workflow run results
1,011 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
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
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
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
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
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
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
May 8, 2024 04:48 8m 15s
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
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
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
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
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
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
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
May 7, 2024 18:02 3m 52s
cost: add keep_hierarchy pass with min_cost argument
Build and run tests with Verific (Linux) #118: Pull request #4344 synchronize by widlarizer
May 7, 2024 17:31 4m 12s widlarizer:emil/keep_hierarchy
May 7, 2024 17:31 4m 12s
docs conf.py change Release -> Version
Build and run tests with Verific (Linux) #117: Commit 71f2540 pushed by mmicko
May 7, 2024 13:56 8m 22s main
May 7, 2024 13:56 8m 22s
Keep docs version in conf.py
Build and run tests with Verific (Linux) #116: Commit b4034a8 pushed by mmicko
May 7, 2024 13:35 8m 18s main
May 7, 2024 13:35 8m 18s
cost: add keep_hierarchy pass with min_cost argument
Build and run tests with Verific (Linux) #115: Pull request #4344 synchronize by widlarizer
May 7, 2024 12:43 4m 13s widlarizer:emil/keep_hierarchy
May 7, 2024 12:43 4m 13s
cost: add keep_hierarchy pass with min_cost argument
Build and run tests with Verific (Linux) #114: Pull request #4344 synchronize by widlarizer
May 7, 2024 12:39 3m 58s widlarizer:emil/keep_hierarchy
May 7, 2024 12:39 3m 58s
cost: add keep_hierarchy pass with min_cost argument
Build and run tests with Verific (Linux) #113: Pull request #4344 synchronize by widlarizer
May 7, 2024 12:37 4m 22s widlarizer:emil/keep_hierarchy
May 7, 2024 12:37 4m 22s
ProTip! You can narrow down the results and go further in time using created:<2024-05-07 or the other filters available.