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

Functional backend Build and run tests with Verific (Linux) #272: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 12:51 4m 8s RCoeurjoly:functional
RCoeurjoly:functional
May 23, 2024 12:51 4m 8s
Functional backend Build and run tests with Verific (Linux) #271: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 12:38 4m 24s RCoeurjoly:functional
RCoeurjoly:functional
May 23, 2024 12:38 4m 24s
Functional backend Build and run tests with Verific (Linux) #270: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 12:26 4m 15s RCoeurjoly:functional
RCoeurjoly:functional
May 23, 2024 12:26 4m 15s
Functional backend Build and run tests with Verific (Linux) #269: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 12:11 4m 40s RCoeurjoly:functional
RCoeurjoly:functional
May 23, 2024 12:11 4m 40s
set raw_config1 properly for NX_RAM Build and run tests with Verific (Linux) #268: Commit a11d8fc pushed by mmicko
May 23, 2024 11:12 4m 7s nanoxplore
nanoxplore
May 23, 2024 11:12 4m 7s
Functional backend Build and run tests with Verific (Linux) #267: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 10:30 3m 57s RCoeurjoly:functional
RCoeurjoly:functional
May 23, 2024 10:30 3m 57s
Functional backend Build and run tests with Verific (Linux) #266: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 10:25 35s RCoeurjoly:functional
RCoeurjoly:functional
May 23, 2024 10:25 35s
Functional backend Build and run tests with Verific (Linux) #265: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 09:25 4m 30s RCoeurjoly:functional
RCoeurjoly:functional
May 23, 2024 09:25 4m 30s
Only build yosys-abc usage docs when ABCEXTERNAL is not set Build and run tests with Verific (Linux) #264: Pull request #4409 opened by marysaka
May 22, 2024 21:49 4m 23s marysaka:fix-abc-external-doc
marysaka:fix-abc-external-doc
May 22, 2024 21:49 4m 23s
Functional backend Build and run tests with Verific (Linux) #263: Pull request #4401 synchronize by RCoeurjoly
May 22, 2024 10:01 3m 59s RCoeurjoly:functional
RCoeurjoly:functional
May 22, 2024 10:01 3m 59s
Functional backend Build and run tests with Verific (Linux) #262: Pull request #4401 synchronize by RCoeurjoly
May 22, 2024 09:05 5m 13s RCoeurjoly:functional
RCoeurjoly:functional
May 22, 2024 09:05 5m 13s
Functional backend Build and run tests with Verific (Linux) #261: Pull request #4401 synchronize by RCoeurjoly
May 22, 2024 09:04 4m 41s RCoeurjoly:functional
RCoeurjoly:functional
May 22, 2024 09:04 4m 41s
Functional backend Build and run tests with Verific (Linux) #260: Pull request #4401 synchronize by RCoeurjoly
May 22, 2024 08:41 4m 22s RCoeurjoly:functional
RCoeurjoly:functional
May 22, 2024 08:41 4m 22s
cxxrtl: Prevent wires with input or output ports from being aliased Build and run tests with Verific (Linux) #259: Pull request #4406 synchronize by noeamiot
May 22, 2024 07:15 4m 27s noeamiot:unaliasable_in_and_outs
noeamiot:unaliasable_in_and_outs
May 22, 2024 07:15 4m 27s
cxxrtl: Prevent wires with input or output ports from being aliased Build and run tests with Verific (Linux) #258: Pull request #4406 opened by noeamiot
May 21, 2024 19:53 4m 25s noeamiot:unaliasable_in_and_outs
noeamiot:unaliasable_in_and_outs
May 21, 2024 19:53 4m 25s
Add initial support for Verific without additional YosysHQ patch Build and run tests with Verific (Linux) #257: Commit fbb5f88 pushed by mmicko
May 21, 2024 15:08 39m 7s micko/vanilla_verific
micko/vanilla_verific
May 21, 2024 15:08 39m 7s
Add initial support for Verific without additional YosysHQ patch Build and run tests with Verific (Linux) #256: Commit 472a1d5 pushed by mmicko
May 21, 2024 14:45 18m 14s micko/vanilla_verific
micko/vanilla_verific
May 21, 2024 14:45 18m 14s
box_derive: New command to derive modules for boxes Build and run tests with Verific (Linux) #255: Pull request #4404 synchronize by povik
May 21, 2024 14:34 49m 12s povik/bbox_derive
povik/bbox_derive
May 21, 2024 14:34 49m 12s
box_derive: Finish the test Build and run tests with Verific (Linux) #254: Commit bff2443 pushed by povik
May 21, 2024 14:34 2h 23m 4s povik/bbox_derive
povik/bbox_derive
May 21, 2024 14:34 2h 23m 4s
box_derive: New command to derive modules for boxes Build and run tests with Verific (Linux) #253: Pull request #4404 synchronize by povik
May 21, 2024 14:18 33m 40s povik/bbox_derive
povik/bbox_derive
May 21, 2024 14:18 33m 40s
Rename bbox_derive to box_derive Build and run tests with Verific (Linux) #252: Commit c0a1961 pushed by povik
May 21, 2024 14:18 31m 38s povik/bbox_derive
povik/bbox_derive
May 21, 2024 14:18 31m 38s
box_derive: New command to derive modules for boxes Build and run tests with Verific (Linux) #251: Pull request #4404 synchronize by povik
May 21, 2024 14:14 18m 24s povik/bbox_derive
povik/bbox_derive
May 21, 2024 14:14 18m 24s
Rename bbox_derive to box_derive Build and run tests with Verific (Linux) #250: Commit 5520939 pushed by povik
May 21, 2024 14:14 29m 38s povik/bbox_derive
povik/bbox_derive
May 21, 2024 14:14 29m 38s
Merge pull request #4362 from offline3/export_marco_to_qtcreator Build and run tests with Verific (Linux) #249: Commit 1790370 pushed by mmicko
May 21, 2024 14:07 37m 31s main
main
May 21, 2024 14:07 37m 31s
Merge pull request #4367 from YosysHQ/lofty/intel_alm-drop-quartus Build and run tests with Verific (Linux) #248: Commit 24f9329 pushed by nakengelhardt
May 21, 2024 14:01 30m 9s main
main
May 21, 2024 14:01 30m 9s