Skip to content

Actions: os-fpga/yosys_verific_rs

Increment Version

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
363 workflow runs
363 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix-EDA2629, EDA-2642, EDA-2639
Increment Version #401: Pull request #617 opened by AYYAZmayo
April 9, 2024 09:09 29s constant_assigns
April 9, 2024 09:09 29s
Enable IO BUF DS
Increment Version #400: Pull request #616 opened by chungshien-chai
April 9, 2024 00:52 25s yosys_verific_rs-io-buf-ds
April 9, 2024 00:52 25s
Submodule update rev 1.1.5
Increment Version #399: Pull request #615 opened by AYYAZmayo
April 8, 2024 05:59 2s AYYAZmayo:main
April 8, 2024 05:59 2s
Support more primitives
Increment Version #398: Pull request #614 opened by chungshien-chai
April 4, 2024 01:16 4m 35s yosys_verific_rs_io
April 4, 2024 01:16 4m 35s
Revert "Support more primitives"
Increment Version #397: Pull request #613 opened by alaindargelas
April 3, 2024 16:17 6m 35s revert-611-yosys_verific_rs-io
April 3, 2024 16:17 6m 35s
Submodules Update, Fix-2654,EDA-2621,EDA-2662
Increment Version #396: Pull request #612 opened by AYYAZmayo
April 3, 2024 05:21 3s AYYAZmayo:main
April 3, 2024 05:21 3s
Support more primitives
Increment Version #395: Pull request #611 opened by chungshien-chai
April 2, 2024 23:54 2m 19s yosys_verific_rs-io
April 2, 2024 23:54 2m 19s
Fix EDA-2629,EDA-2621,EDA-2654
Increment Version #394: Pull request #610 opened by AYYAZmayo
April 1, 2024 10:37 3s main
April 1, 2024 10:37 3s
EDA-2594
Increment Version #393: Pull request #609 opened by alaindargelas
March 31, 2024 16:40 26s fixed_eda_2594
March 31, 2024 16:40 26s
EDA-2653
Increment Version #392: Pull request #608 opened by alaindargelas
March 30, 2024 00:18 51m 55s eda_2653
March 30, 2024 00:18 51m 55s
Revert "EDA-2594"
Increment Version #391: Pull request #607 opened by alaindargelas
March 30, 2024 00:12 51m 9s revert-606-eda_2594_fix
March 30, 2024 00:12 51m 9s
EDA-2594
Increment Version #390: Pull request #606 opened by alaindargelas
March 30, 2024 00:09 53m 32s eda_2594_fix
March 30, 2024 00:09 53m 32s
Revert "EDA-2653 EDA-2594"
Increment Version #389: Pull request #605 opened by alaindargelas
March 30, 2024 00:03 40m 16s revert-604-eda_2594_2653
March 30, 2024 00:03 40m 16s
EDA-2653 EDA-2594
Increment Version #388: Pull request #604 opened by alaindargelas
March 29, 2024 23:46 56m 13s eda_2594_2653
March 29, 2024 23:46 56m 13s
Prepare to support I_BUF_DS and O_BUF_DS
Increment Version #387: Pull request #603 opened by chungshien-chai
March 29, 2024 09:11 33s yosys-verific-rs-io
March 29, 2024 09:11 33s
Fix-EDA-2608,No CLK_BUF on output side
Increment Version #386: Pull request #602 opened by AYYAZmayo
March 29, 2024 05:30 2s main
March 29, 2024 05:30 2s
Clocks and resets used in primitives and fabric updated to IOs
Increment Version #385: Pull request #601 opened by behzadmehmood
March 28, 2024 09:31 30s common_clks
March 28, 2024 09:31 30s
Revert Revert EDA-2629 fix
Increment Version #384: Pull request #599 opened by alaindargelas
March 27, 2024 18:34 27m 37s rel_1_1_1
March 27, 2024 18:34 27m 37s
Revert EDA-2629 fix
Increment Version #383: Pull request #598 opened by alaindargelas
March 27, 2024 18:09 38m 37s rel_1_1_1
March 27, 2024 18:09 38m 37s
Revert "Flatten wrapper after design editing"
Increment Version #381: Pull request #596 opened by alaindargelas
March 27, 2024 17:40 18m 49s revert-590-flatten_wrapper
March 27, 2024 17:40 18m 49s
rel 1.1.1
Increment Version #380: Pull request #595 opened by alaindargelas
March 27, 2024 16:32 28s rel_1_1_1
March 27, 2024 16:32 28s
Cosmetic Changes
Increment Version #379: Pull request #594 opened by awaisabbas006
March 27, 2024 07:09 2s awaisabbas006:main
March 27, 2024 07:09 2s
Fix EDA 2634
Increment Version #378: Pull request #593 opened by chungshien-chai
March 26, 2024 17:39 22m 41s yosys_verific_rs_EDA-2634
March 26, 2024 17:39 22m 41s
split ports for port property json file and add sec option for formal
Increment Version #377: Pull request #592 opened by alaindargelas
March 26, 2024 17:26 24m 10s port_json
March 26, 2024 17:26 24m 10s