From ef4252bdaedc9a979cace00c6ea9f35de5ae90cb Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Fri, 2 Oct 2026 14:56:05 +0200
Subject: [PATCH] Mark options as experimental

---
 frontends/slang/lib          | 2 +-
 frontends/verific/verific.cc | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/frontends/slang/lib b/frontends/slang/lib
index f64c938d2..a73ba8254 160000
--- a/frontends/slang/lib
+++ b/frontends/slang/lib
@@ -1 +1 @@
-Subproject commit f64c938d280498679aefca8f7012a28303f21f11
+Subproject commit a73ba82544815a6ed640d0a25c2f9da19dc6b2d0
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 829245b4c..ae05b519d 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -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");