mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-06 17:44:09 +00:00
0db76c6ec4
This commit is part of a PR that requires corresponding changes in SBY. To prevent CI failures, detect whether those changes already landed and skip the SBY using tests until then. |
||
|---|---|---|
| .. | ||
| .gitignore | ||
| basic00.sv | ||
| basic01.sv | ||
| basic02.sv | ||
| basic03.sv | ||
| basic04.sv | ||
| basic04.vhd | ||
| basic05.sv | ||
| basic05.vhd | ||
| counter.sv | ||
| extnets.sv | ||
| Makefile | ||
| nested_clk_else.sv | ||
| runtest.sh | ||
| sva_not.sv | ||
| sva_range.sv | ||
| sva_throughout.sv | ||
| sva_value_change_changed.sv | ||
| sva_value_change_changed_wide.sv | ||
| sva_value_change_rose.sv | ||
| sva_value_change_sim.sv | ||
| sva_value_change_sim.ys | ||