From c6e5e0b26ba2f7fd2ecadb3084c93ef9d1858fab Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Tue, 9 Jul 2024 09:11:59 +0200 Subject: [PATCH 1/5] Release version 0.43 --- CHANGELOG | 11 ++++++++++- Makefile | 6 +++--- docs/source/conf.py | 2 +- 3 files changed, 14 insertions(+), 5 deletions(-) diff --git a/CHANGELOG b/CHANGELOG index d8e13b041..7148e138a 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -2,8 +2,17 @@ List of major changes and improvements between releases ======================================================= -Yosys 0.42 .. Yosys 0.43-dev +Yosys 0.42 .. Yosys 0.43 -------------------------- + * Various + - C++ compiler with C++17 support is required. + - Support for IO liberty files for verification. + - Limit padding from shiftadd for "peepopt" pass. + + * Verific support + - Support building Yosys with various Verific library + configurations. Can be built now without YosysHQ + specific patch and extension library. Yosys 0.41 .. Yosys 0.42 -------------------------- diff --git a/Makefile b/Makefile index 313de44d5..1dec716e2 100644 --- a/Makefile +++ b/Makefile @@ -20,7 +20,7 @@ ENABLE_VERIFIC := 0 ENABLE_VERIFIC_SYSTEMVERILOG := 1 ENABLE_VERIFIC_VHDL := 1 ENABLE_VERIFIC_HIER_TREE := 1 -ENABLE_VERIFIC_YOSYSHQ_EXTENSIONS := 1 +ENABLE_VERIFIC_YOSYSHQ_EXTENSIONS := 0 ENABLE_VERIFIC_EDIF := 0 ENABLE_VERIFIC_LIBERTY := 0 ENABLE_COVER := 1 @@ -143,7 +143,7 @@ LIBS += -lrt endif endif -YOSYS_VER := 0.42+40 +YOSYS_VER := 0.43 # Note: We arrange for .gitcommit to contain the (short) commit hash in # tarballs generated with git-archive(1) using .gitattributes. The git repo @@ -159,7 +159,7 @@ endif OBJS = kernel/version_$(GIT_REV).o bumpversion: - sed -i "/^YOSYS_VER := / s/+[0-9][0-9]*$$/+`git log --oneline 9b6afcf.. | wc -l`/;" Makefile +# sed -i "/^YOSYS_VER := / s/+[0-9][0-9]*$$/+`git log --oneline 9b6afcf.. | wc -l`/;" Makefile ABCMKARGS = CC="$(CXX)" CXX="$(CXX)" ABC_USE_LIBSTDCXX=1 ABC_USE_NAMESPACE=abc VERBOSE=$(Q) diff --git a/docs/source/conf.py b/docs/source/conf.py index c9c923e82..1dd53e954 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -5,7 +5,7 @@ import os project = 'YosysHQ Yosys' author = 'YosysHQ GmbH' copyright ='2024 YosysHQ GmbH' -yosys_ver = "0.42" +yosys_ver = "0.43" # select HTML theme html_theme = 'furo' From ead4718e567aed2e552dcfe46294b132aa04c158 Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Tue, 9 Jul 2024 09:22:37 +0200 Subject: [PATCH 2/5] Enable extensions for CI --- .github/workflows/test-verific.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/test-verific.yml b/.github/workflows/test-verific.yml index 54d9487ac..5b6268a2e 100644 --- a/.github/workflows/test-verific.yml +++ b/.github/workflows/test-verific.yml @@ -39,6 +39,7 @@ jobs: echo "ENABLE_VERIFIC := 1" >> Makefile.conf echo "ENABLE_VERIFIC_EDIF := 1" >> Makefile.conf echo "ENABLE_VERIFIC_LIBERTY := 1" >> Makefile.conf + echo "ENABLE_VERIFIC_YOSYSHQ_EXTENSIONS := 1" >> Makefile.conf echo "ENABLE_CCACHE := 1" >> Makefile.conf make -j${{ env.procs }} From b9181aaad2cbebc11834ec765fd06bf34af2b634 Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Tue, 9 Jul 2024 09:27:23 +0200 Subject: [PATCH 3/5] Next dev cycle --- CHANGELOG | 3 +++ Makefile | 4 ++-- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/CHANGELOG b/CHANGELOG index 7148e138a..160f480e7 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -2,6 +2,9 @@ List of major changes and improvements between releases ======================================================= +Yosys 0.43 .. Yosys 0.44-dev +-------------------------- + Yosys 0.42 .. Yosys 0.43 -------------------------- * Various diff --git a/Makefile b/Makefile index 1dec716e2..2f1c9a016 100644 --- a/Makefile +++ b/Makefile @@ -143,7 +143,7 @@ LIBS += -lrt endif endif -YOSYS_VER := 0.43 +YOSYS_VER := 0.43+0 # Note: We arrange for .gitcommit to contain the (short) commit hash in # tarballs generated with git-archive(1) using .gitattributes. The git repo @@ -159,7 +159,7 @@ endif OBJS = kernel/version_$(GIT_REV).o bumpversion: -# sed -i "/^YOSYS_VER := / s/+[0-9][0-9]*$$/+`git log --oneline 9b6afcf.. | wc -l`/;" Makefile + sed -i "/^YOSYS_VER := / s/+[0-9][0-9]*$$/+`git log --oneline ead4718.. | wc -l`/;" Makefile ABCMKARGS = CC="$(CXX)" CXX="$(CXX)" ABC_USE_LIBSTDCXX=1 ABC_USE_NAMESPACE=abc VERBOSE=$(Q) From 130dee6e5695408117d669c89e80b5e687a1471a Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Tue, 9 Jul 2024 14:19:33 +0200 Subject: [PATCH 4/5] Use alternate location for VS build required files --- misc/create_vcxsrc.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/misc/create_vcxsrc.sh b/misc/create_vcxsrc.sh index 5f8b35e80..d7b516fd6 100644 --- a/misc/create_vcxsrc.sh +++ b/misc/create_vcxsrc.sh @@ -6,8 +6,8 @@ yosysver="$2" gitsha="$3" rm -rf YosysVS-Tpl-v2.zip YosysVS -wget https://yosyshq.net/yosys/nogit/YosysVS-Tpl-v2.zip -wget https://www.zlib.net/fossils/zlib-1.2.11.tar.gz +wget https://github.com/YosysHQ/yosys/releases/download/resources/YosysVS-Tpl-v2.zip +wget https://github.com/YosysHQ/yosys/releases/download/resources/zlib-1.2.11.tar.gz unzip YosysVS-Tpl-v2.zip rm -f YosysVS-Tpl-v2.zip From b08688f71197316cd44859b8ced16136cf1b3957 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Wed, 10 Jul 2024 00:18:13 +0000 Subject: [PATCH 5/5] Bump version --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 2f1c9a016..96c133da9 100644 --- a/Makefile +++ b/Makefile @@ -143,7 +143,7 @@ LIBS += -lrt endif endif -YOSYS_VER := 0.43+0 +YOSYS_VER := 0.43+3 # Note: We arrange for .gitcommit to contain the (short) commit hash in # tarballs generated with git-archive(1) using .gitattributes. The git repo