From ec25ee4de8e4b5032017035deeace2817f3e9cc5 Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Thu, 10 Sep 2026 10:24:34 +0200 Subject: [PATCH] Fix remaining mentions, and update links --- docs/Makefile | 8 ++++---- frontends/verific/README | 2 +- frontends/verific/verificsva.cc | 2 +- 3 files changed, 6 insertions(+), 6 deletions(-) diff --git a/docs/Makefile b/docs/Makefile index ce32dd723..c30a5084e 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -97,9 +97,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/YosysHQYosys.qhcp" @echo "To view the help file:" - @echo "# assistant -collectionFile $(BUILDDIR)/qthelp/SymbiYosys.qhc" + @echo "# assistant -collectionFile $(BUILDDIR)/qthelp/YosysHQYosys.qhc" .PHONY: applehelp applehelp: @@ -116,8 +116,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/yosys" + @echo "# ln -s $(BUILDDIR)/devhelp $$HOME/.local/share/devhelp/yosys" @echo "# devhelp" .PHONY: epub diff --git a/frontends/verific/README b/frontends/verific/README index ef173f65e..84afaa9fd 100644 --- a/frontends/verific/README +++ b/frontends/verific/README @@ -19,7 +19,7 @@ Testing Verific+Yosys+SBY for formal verification ======================================================== Install Yosys+Verific, SBY, and Yices2. Install instructions: -http://symbiyosys.readthedocs.io/en/latest/quickstart.html#installing +https://yosyshq.readthedocs.io/projects/sby/en/latest/install.html Then run in the following command in this directory: diff --git a/frontends/verific/verificsva.cc b/frontends/verific/verificsva.cc index c2cfe7e75..0e0a4f4cf 100644 --- a/frontends/verific/verificsva.cc +++ b/frontends/verific/verificsva.cc @@ -19,7 +19,7 @@ // Currently supported SVA sequence and property syntax: -// http://symbiyosys.readthedocs.io/en/latest/verific.html +// https://yosyshq.readthedocs.io/projects/sby/en/latest/verific.html // // Next gen property syntax: // basic_property