Rename SymbiYosys to SBY

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

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

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:

frontends/verific/example.sby

@@ -1,4 +1,4 @@
-# Simple SymbiYosys example job utilizing Verific
+# Simple SBY example job utilizing Verific
 
 [options]
 mode prove