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

minisat: Record changes in patch Build and run tests with Verific (Linux) #690: Commit e9f909a pushed by KrystalDelusion
August 16, 2024 22:18 11m 31s krys/compiler-warnings
krys/compiler-warnings
August 16, 2024 22:18 11m 31s
verific: Add bottom and top bound properties to wire Build and run tests with Verific (Linux) #689: Pull request #4538 synchronize by RCoeurjoly
August 16, 2024 14:03 15m 31s RCoeurjoly:verific_bounds
RCoeurjoly:verific_bounds
August 16, 2024 14:03 15m 31s
verific: Add bottom and top bound properties to wire Build and run tests with Verific (Linux) #688: Pull request #4538 synchronize by RCoeurjoly
August 16, 2024 14:01 12m 18s RCoeurjoly:verific_bounds
RCoeurjoly:verific_bounds
August 16, 2024 14:01 12m 18s
verific: Add bottom and top bound properties to wire Build and run tests with Verific (Linux) #687: Pull request #4538 synchronize by RCoeurjoly
August 16, 2024 13:55 12m 15s RCoeurjoly:verific_bounds
RCoeurjoly:verific_bounds
August 16, 2024 13:55 12m 15s
verific: Add bottom and top bound properties to wire Build and run tests with Verific (Linux) #686: Pull request #4538 synchronize by RCoeurjoly
August 16, 2024 13:16 11m 28s RCoeurjoly:verific_bounds
RCoeurjoly:verific_bounds
August 16, 2024 13:16 11m 28s
verific: Add bottom and top bound properties to wire Build and run tests with Verific (Linux) #685: Pull request #4538 synchronize by RCoeurjoly
August 16, 2024 09:41 10m 42s RCoeurjoly:verific_bounds
RCoeurjoly:verific_bounds
August 16, 2024 09:41 10m 42s
Local readthedocs Build and run tests with Verific (Linux) #684: Pull request #4542 opened by KrystalDelusion
August 15, 2024 23:11 12m 42s krys/rtd
krys/rtd
August 15, 2024 23:11 12m 42s
Fix test-verific.yml Build and run tests with Verific (Linux) #683: Commit 7bd3c7b pushed by KrystalDelusion
August 15, 2024 22:44 12m 41s krys/rtd
krys/rtd
August 15, 2024 22:44 12m 41s
Resolve (some) compiler warnings Build and run tests with Verific (Linux) #682: Pull request #4541 opened by KrystalDelusion
August 15, 2024 22:11 12m 41s krys/compiler-warnings
krys/compiler-warnings
August 15, 2024 22:11 12m 41s
minisat: Check for gcc Build and run tests with Verific (Linux) #681: Commit 55307a5 pushed by KrystalDelusion
August 15, 2024 16:30 11m 37s krys/compiler-warnings
krys/compiler-warnings
August 15, 2024 16:30 11m 37s
NanoXplore synthesis Build and run tests with Verific (Linux) #680: Pull request #4504 synchronize by mmicko
August 15, 2024 15:52 1m 8s nanoxplore
nanoxplore
August 15, 2024 15:52 1m 8s
add min_ce_use and min_srst_use parameters Build and run tests with Verific (Linux) #679: Commit 54d237f pushed by mmicko
August 15, 2024 15:52 12m 59s nanoxplore
nanoxplore
August 15, 2024 15:52 12m 59s
NanoXplore synthesis Build and run tests with Verific (Linux) #678: Pull request #4504 synchronize by mmicko
August 15, 2024 15:52 15s nanoxplore
nanoxplore
August 15, 2024 15:52 15s
update abc Build and run tests with Verific (Linux) #677: Commit 7fe9f5d pushed by mmicko
August 15, 2024 15:52 1m 27s nanoxplore
nanoxplore
August 15, 2024 15:52 1m 27s
Merge pull request #4540 from YosysHQ/clang-11 Build and run tests with Verific (Linux) #676: Commit ceba889 pushed by mmicko
August 15, 2024 15:39 17m 11s main
main
August 15, 2024 15:39 17m 11s
Replace test-compile (ubuntu-22.04, clang-11) Build and run tests with Verific (Linux) #675: Pull request #4540 opened by KrystalDelusion
August 15, 2024 15:26 11m 41s clang-11
clang-11
August 15, 2024 15:26 11m 41s
Represent string constants as strings Build and run tests with Verific (Linux) #674: Pull request #4516 synchronize by widlarizer
August 15, 2024 08:27 18s emil/src-attribute-std-string-wip
emil/src-attribute-std-string-wip
August 15, 2024 08:27 18s
const: unify printing as string Build and run tests with Verific (Linux) #673: Commit caf5086 pushed by widlarizer
August 15, 2024 08:27 11m 8s emil/src-attribute-std-string-wip
emil/src-attribute-std-string-wip
August 15, 2024 08:27 11m 8s
verific: Add bottom and top bound properties to wire Build and run tests with Verific (Linux) #672: Pull request #4538 synchronize by RCoeurjoly
August 15, 2024 08:08 10m 49s RCoeurjoly:verific_bounds
RCoeurjoly:verific_bounds
August 15, 2024 08:08 10m 49s
verific: Add bottom and top bound properties to wire Build and run tests with Verific (Linux) #671: Pull request #4538 synchronize by RCoeurjoly
August 15, 2024 07:56 10m 33s RCoeurjoly:verific_bounds
RCoeurjoly:verific_bounds
August 15, 2024 07:56 10m 33s
NanoXplore synthesis Build and run tests with Verific (Linux) #670: Pull request #4504 synchronize by mmicko
August 15, 2024 07:42 15s nanoxplore
nanoxplore
August 15, 2024 07:42 15s
add min_ce_use and min_srst_use parameters Build and run tests with Verific (Linux) #669: Commit 35dbc2e pushed by mmicko
August 15, 2024 07:42 11m 31s nanoxplore
nanoxplore
August 15, 2024 07:42 11m 31s
NanoXplore synthesis Build and run tests with Verific (Linux) #668: Pull request #4504 synchronize by mmicko
August 15, 2024 07:19 17s nanoxplore
nanoxplore
August 15, 2024 07:19 17s
Run opt_merge, helps with inverted reset/load signals Build and run tests with Verific (Linux) #667: Commit 3a33382 pushed by mmicko
August 15, 2024 07:19 10m 12s nanoxplore
nanoxplore
August 15, 2024 07:19 10m 12s
minisat: Check for gcc Build and run tests with Verific (Linux) #666: Commit b1d221a pushed by KrystalDelusion
August 15, 2024 02:15 11m 50s krys/compiler-warnings
krys/compiler-warnings
August 15, 2024 02:15 11m 50s