luke/yosys
1
0
Fork 0
mirror of https://github.com/YosysHQ/yosys.git synced 2026-10-06 10:03:36 +02:00
Code Issues Packages Projects Releases Wiki Activity

Mark options as experimental

Browse Source
This commit is contained in:
Miodrag Milanovic
2026-10-02 14:56:05 +02:00
parent fd41f9fa7c
commit ef4252bdae
2 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
frontends/slang/lib
+1 -1
Submodule frontends/slang/lib updated: f64c938d28...a73ba82544
frontends/verific/verific.cc
+2
View File
@@ -3784,6 +3784,7 @@ struct VerificPass : public Pass {
#ifdef VERIFIC_SYSTEMVERILOG_SUPPORT
if (GetSize(args) > argidx && args[argidx] == "-target") {
argidx++;
log_experimental("verific -target");
if (argidx >= GetSize(args))
log_cmd_error("Missing target for `-target'.\n");
@@ -3793,6 +3794,7 @@ struct VerificPass : public Pass {
if (argidx < GetSize(args) && args[argidx] == "-family") {
argidx++;
log_experimental("verific -family");
if (argidx >= GetSize(args))
log_cmd_error("Missing family for `-family'.\n");