Skip to content

Actions: os-fpga/yosys_verific_rs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
491 workflow runs
491 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Handling clocks connected to data inputs of primitives yosys-verific CI #857: Pull request #651 opened by behzadmehmood
May 16, 2024 12:39 1h 14m 18s clk_as_datain
clk_as_datain
May 16, 2024 12:39 1h 14m 18s
Add support to O_SERDES_CLK yosys-verific CI #856: Pull request #650 opened by chungshien-chai
May 16, 2024 09:07 1h 13m 49s yosys-oserdes-clk
yosys-oserdes-clk
May 16, 2024 09:07 1h 13m 49s
Add support to O_SERDES_CLK Increment Version #434: Pull request #650 opened by chungshien-chai
May 16, 2024 09:07 31s yosys-oserdes-clk
yosys-oserdes-clk
May 16, 2024 09:07 31s
fix EDA-2858 handling pre-instantiated I_BUF and CLK_BUF yosys-verific CI #855: Pull request #649 opened by alaindargelas
May 15, 2024 22:23 1h 20m 9s eda_2858
eda_2858
May 15, 2024 22:23 1h 20m 9s
fix EDA-2858 handling pre-instantiated I_BUF and CLK_BUF Increment Version #433: Pull request #649 opened by alaindargelas
May 15, 2024 22:23 1m 41s eda_2858
eda_2858
May 15, 2024 22:23 1m 41s
Not adding a wire for clock signals used in output primitives Increment Version #432: Pull request #648 opened by behzadmehmood
May 15, 2024 06:31 28s EDA-2856
EDA-2856
May 15, 2024 06:31 28s
Not adding a wire for clock signals used in output primitives yosys-verific CI #854: Pull request #648 opened by behzadmehmood
May 15, 2024 06:31 1h 12m 53s EDA-2856
EDA-2856
May 15, 2024 06:31 1h 12m 53s
Handling signals connecting I_BUF to O_BUF and being used in assigns yosys-verific CI #853: Pull request #647 synchronize by alaindargelas
May 14, 2024 18:20 1h 10m 48s EDA-2837
EDA-2837
May 14, 2024 18:20 1h 10m 48s
Handling signals connecting I_BUF to O_BUF and being used in assigns yosys-verific CI #852: Pull request #647 synchronize by behzadmehmood
May 14, 2024 09:04 1h 12m 2s EDA-2837
EDA-2837
May 14, 2024 09:04 1h 12m 2s
Handling signals connecting I_BUF to O_BUF and being used in assigns Increment Version #431: Pull request #647 opened by behzadmehmood
May 14, 2024 08:58 33s EDA-2837
EDA-2837
May 14, 2024 08:58 33s
Handling signals connecting I_BUF to O_BUF and being used in assigns yosys-verific CI #851: Pull request #647 opened by behzadmehmood
May 14, 2024 08:58 1h 13m 13s EDA-2837
EDA-2837
May 14, 2024 08:58 1h 13m 13s
Make sure no link using empty string net yosys-verific CI #850: Pull request #646 synchronize by chungshien-chai
May 14, 2024 02:21 1h 15m 43s yosys-config-json
yosys-config-json
May 14, 2024 02:21 1h 15m 43s
Make sure no link using empty string net Increment Version #430: Pull request #646 opened by chungshien-chai
May 14, 2024 02:21 3m 39s yosys-config-json
yosys-config-json
May 14, 2024 02:21 3m 39s
Make sure no link using empty string net yosys-verific CI #849: Pull request #646 opened by chungshien-chai
May 14, 2024 02:21 1h 17m 26s yosys-config-json
yosys-config-json
May 14, 2024 02:21 1h 17m 26s
Fix connectivity if it is a bus Increment Version #429: Pull request #645 opened by chungshien-chai
May 13, 2024 20:17 28s yosys-config-json
yosys-config-json
May 13, 2024 20:17 28s
Fix connectivity if it is a bus yosys-verific CI #848: Pull request #645 opened by chungshien-chai
May 13, 2024 20:17 1h 14m 55s yosys-config-json
yosys-config-json
May 13, 2024 20:17 1h 14m 55s
Yosys new extractor method yosys-verific CI #847: Pull request #644 synchronize by chungshien-chai
May 12, 2024 01:34 1h 12m 31s yosys-new-extractor-method
yosys-new-extractor-method
May 12, 2024 01:34 1h 12m 31s
Yosys new extractor method yosys-verific CI #846: Pull request #644 synchronize by chungshien-chai
May 11, 2024 18:10 1h 13m 16s yosys-new-extractor-method
yosys-new-extractor-method
May 11, 2024 18:10 1h 13m 16s
Yosys new extractor method yosys-verific CI #845: Pull request #644 synchronize by chungshien-chai
May 11, 2024 17:56 1h 12m 55s yosys-new-extractor-method
yosys-new-extractor-method
May 11, 2024 17:56 1h 12m 55s
Yosys new extractor method yosys-verific CI #844: Pull request #644 synchronize by chungshien-chai
May 11, 2024 17:52 1h 14m 52s yosys-new-extractor-method
yosys-new-extractor-method
May 11, 2024 17:52 1h 14m 52s
Yosys new extractor method Increment Version #428: Pull request #644 opened by alaindargelas
May 11, 2024 17:08 30s yosys-new-extractor-method
yosys-new-extractor-method
May 11, 2024 17:08 30s
Yosys new extractor method yosys-verific CI #843: Pull request #644 opened by alaindargelas
May 11, 2024 17:08 1h 14m 33s yosys-new-extractor-method
yosys-new-extractor-method
May 11, 2024 17:08 1h 14m 33s
Generate two config JSONs yosys-verific CI #842: Pull request #643 synchronize by chungshien-chai
May 10, 2024 22:47 2h 33m 9s yosys-new-extractor-method
yosys-new-extractor-method
May 10, 2024 22:47 2h 33m 9s
Generate two config JSONs Increment Version #427: Pull request #643 opened by chungshien-chai
May 10, 2024 22:47 47m 51s yosys-new-extractor-method
yosys-new-extractor-method
May 10, 2024 22:47 47m 51s
Generate two config JSONs yosys-verific CI #841: Pull request #643 opened by chungshien-chai
May 10, 2024 22:47 2h 2m 15s yosys-new-extractor-method
yosys-new-extractor-method
May 10, 2024 22:47 2h 2m 15s
ProTip! You can narrow down the results and go further in time using created:<2024-05-10 or the other filters available.