Skip to content

Actions: os-fpga/yosys_verific_rs

Actions

yosys-verific CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
14 workflow run results
14 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Genesis3 primitive update yosys-verific CI #633: Pull request #508 opened by awaisabbas-rs
November 15, 2023 20:21 6h 31m 18s genesis3_primitive_update
genesis3_primitive_update
November 15, 2023 20:21 6h 31m 18s
primitive cells in genesis3 and RS_PRIMITIVES are updated yosys-verific CI #632: Pull request #507 opened by awaisabbas-rs
November 15, 2023 18:48 2h 5m 36s genesis3_primitive_update
genesis3_primitive_update
November 15, 2023 18:48 2h 5m 36s
add yosys RS plugin to fix EDA-2085 and 2048 yosys-verific CI #631: Pull request #506 synchronize by awaisabbas-rs
November 14, 2023 14:43 2h 56m 3s EDA-2085_rs_primitive_update
EDA-2085_rs_primitive_update
November 14, 2023 14:43 2h 56m 3s
add yosys RS plugin to fix EDA-2085 and 2048 yosys-verific CI #630: Pull request #506 opened by awaisabbas-rs
November 14, 2023 10:43 1h 15m 13s EDA-2085_rs_primitive_update
EDA-2085_rs_primitive_update
November 14, 2023 10:43 1h 15m 13s
<EDA-2048/EDA-2177> submodule updated yosys-verific CI #629: Pull request #505 synchronize by ayyazahmed-rs
November 7, 2023 09:44 2h 27m 33s EDA-2048_part1
EDA-2048_part1
November 7, 2023 09:44 2h 27m 33s
<EDA-2048/EDA-2177> submodule updated yosys-verific CI #628: Pull request #505 synchronize by ayyazahmed-rs
November 7, 2023 06:16 3h 9m 3s EDA-2048_part1
EDA-2048_part1
November 7, 2023 06:16 3h 9m 3s
<EDA-2048/EDA-2177> submodule updated yosys-verific CI #627: Pull request #505 opened by ayyazahmed-rs
November 7, 2023 05:16 24m 11s EDA-2048_part1
EDA-2048_part1
November 7, 2023 05:16 24m 11s
updated submodule RTL_benchmark yosys-verific CI #626: Pull request #504 opened by ayyazahmed-rs
November 3, 2023 10:49 2h 48m 42s RTL_benchmark_update
RTL_benchmark_update
November 3, 2023 10:49 2h 48m 42s
Updated submodules Yosys and Yosys-rs-plugin yosys-verific CI #625: Pull request #503 opened by ayyazahmed-rs
October 30, 2023 05:27 3h 5m 56s EDA-2166_IO_LIMIT
EDA-2166_IO_LIMIT
October 30, 2023 05:27 3h 5m 56s
Updated submodule Yosys-rs-plugin yosys-verific CI #624: Pull request #502 opened by ayyazahmed-rs
October 27, 2023 10:23 3h 21m 12s SMART-DISSOLVE-CE
SMART-DISSOLVE-CE
October 27, 2023 10:23 3h 21m 12s
Update RTL_Benchmark submodule in yosys_verific_rs yosys-verific CI #623: Pull request #501 opened by awaisabbas-rs
October 27, 2023 06:42 2h 42m 11s rtl_update
rtl_update
October 27, 2023 06:42 2h 42m 11s
update yosys-rs-plugin for smart CE dissolve yosys-verific CI #622: Pull request #500 opened by thierryBesson
October 27, 2023 06:08 1h 29m 37s SMART-DISSOLVE-CE
SMART-DISSOLVE-CE
October 27, 2023 06:08 1h 29m 37s
submodule update yosys-verific CI #621: Pull request #499 opened by ayyazahmed-rs
October 24, 2023 12:23 3h 25m 7s blackbox_sim_updated
blackbox_sim_updated
October 24, 2023 12:23 3h 25m 7s
<EDA-2101> Updating submodule yosys for opt_dff runtime issue fix yosys-verific CI #620: Pull request #498 opened by ayyazahmed-rs
October 19, 2023 07:21 2h 50m 4s EDA-2101_fix1
EDA-2101_fix1
October 19, 2023 07:21 2h 50m 4s