From 8129586236de3d4c2bc0db5885173b48f0bd5c61 Mon Sep 17 00:00:00 2001
From: Gus Smith <guscomps@gmail.com>
Date: Tue, 24 Feb 2026 09:04:05 -0800
Subject: [PATCH] Rename SymbiYosys to SBY

---
 CHANGELOG                     | 2 +-
 docs/Makefile                 | 8 ++++----
 frontends/verific/README      | 4 ++--
 frontends/verific/example.sby | 2 +-
 4 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/CHANGELOG b/CHANGELOG
index e345a8514..4b6700377 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1214,7 +1214,7 @@ Yosys 0.7 .. Yosys 0.8
     - Added "write_smt2 -stbv" and "write_smt2 -stdt"
     - Fix equiv_simple, old behavior now available with "equiv_simple -short"
     - Change to Yices2 as default SMT solver (it is GPL now)
-    - Added "yosys-smtbmc --presat" (now default in SymbiYosys)
+    - Added "yosys-smtbmc --presat" (now default in SBY)
     - Added "yosys-smtbmc --smtc-init --smtc-top --noinit"
     - Added a brand new "write_btor" command for BTOR2
     - Added clk2fflogic memory support and other improvements
diff --git a/docs/Makefile b/docs/Makefile
index fb3e03b79..4d92a6814 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -95,9 +95,9 @@ qthelp:
 	@echo
 	@echo "Build finished; now you can run "qcollectiongenerator" with the" \
 	      ".qhcp project file in $(BUILDDIR)/qthelp, like this:"
-	@echo "# qcollectiongenerator $(BUILDDIR)/qthelp/SymbiYosys.qhcp"
+	@echo "# qcollectiongenerator $(BUILDDIR)/qthelp/SBY.qhcp"
 	@echo "To view the help file:"
-	@echo "# assistant -collectionFile $(BUILDDIR)/qthelp/SymbiYosys.qhc"
+	@echo "# assistant -collectionFile $(BUILDDIR)/qthelp/SBY.qhc"
 
 .PHONY: applehelp
 applehelp:
@@ -114,8 +114,8 @@ devhelp:
 	@echo
 	@echo "Build finished."
 	@echo "To view the help file:"
-	@echo "# mkdir -p $$HOME/.local/share/devhelp/SymbiYosys"
-	@echo "# ln -s $(BUILDDIR)/devhelp $$HOME/.local/share/devhelp/SymbiYosys"
+	@echo "# mkdir -p $$HOME/.local/share/devhelp/SBY"
+	@echo "# ln -s $(BUILDDIR)/devhelp $$HOME/.local/share/devhelp/SBY"
 	@echo "# devhelp"
 
 .PHONY: epub
diff --git a/frontends/verific/README b/frontends/verific/README
index 921873af3..931dd2f30 100644
--- a/frontends/verific/README
+++ b/frontends/verific/README
@@ -15,10 +15,10 @@ database/DBCompileFlags.h:
 	DB_PRESERVE_INITIAL_VALUE
 
 
-Testing Verific+Yosys+SymbiYosys for formal verification
+Testing Verific+Yosys+SBY for formal verification
 ========================================================
 
-Install Yosys+Verific, SymbiYosys, and Yices2. Install instructions:
+Install Yosys+Verific, SBY, and Yices2. Install instructions:
 http://symbiyosys.readthedocs.io/en/latest/quickstart.html#installing
 
 Then run in the following command in this directory:
diff --git a/frontends/verific/example.sby b/frontends/verific/example.sby
index ffbf33cab..69d56d2dd 100644
--- a/frontends/verific/example.sby
+++ b/frontends/verific/example.sby
@@ -1,4 +1,4 @@
-# Simple SymbiYosys example job utilizing Verific
+# Simple SBY example job utilizing Verific
 
 [options]
 mode prove