Hello.
Please find the update for my port cad/yosys attached to
this email. It bumps the version from 0.69 to 0.70.
Thomas
diff --git a/cad/yosys/Makefile b/cad/yosys/Makefile
index c78e128684d..2b2f0863b6d 100644
--- a/cad/yosys/Makefile
+++ b/cad/yosys/Makefile
@@ -1,20 +1,20 @@
COMMENT= Yosys Open SYnthesis Suite
CATEGORIES= cad
-V= 0.69
+V= 0.70
DISTNAME= yosys-${V}
GH_ACCOUNT= YosysHQ
GH_PROJECT= yosys
GH_TAGNAME= v${V}
-DIST_TUPLE+= github YosysHQ abc v0.69 abc/ # MIT license
+DIST_TUPLE+= github YosysHQ abc v0.70 abc/ # MIT license
DIST_TUPLE+= github jarro2783 cxxopts v3.3.1 libs/cxxopts/ # MIT license
DIST_TUPLE+= github fmtlib fmt 12.2.0 libs/fmt/ # MIT license
DIST_TUPLE+= github marzer tomlplusplus v3.4.0 libs/tomlplusplus/ # MIT license
DIST_TUPLE+= github MikePopoloski regex boost-1.91.0 libs/boost_regex/ # Boost Software License Version 1.0
-DIST_TUPLE+= github MikePopoloski slang v11.0 libs/slang/ # MIT license
-DIST_TUPLE+= github povik sv-elab 2026-09-08 frontends/slang/lib/ # ISC license
+DIST_TUPLE+= github MikePopoloski slang v12.0 libs/slang/ # MIT license
+DIST_TUPLE+= github povik sv-elab 2026-10-13 frontends/slang/lib/ # ISC license
DIST_TUPLE+= github YosysHQ symfpu 5d5e50867437fe5cabd6ab5aad3b3808ec86701f libs/symfpu # Dual License: 3-BSD and GPL 3.0
diff --git a/cad/yosys/distinfo b/cad/yosys/distinfo
index 0ddf7f04722..b1b9227df2c 100644
--- a/cad/yosys/distinfo
+++ b/cad/yosys/distinfo
@@ -1,18 +1,18 @@
SHA256 (MikePopoloski-regex-boost-1.91.0.tar.gz) = sVnOo79XA5TdGfX+1zIABSkICbpT/qFcYww6bCaF23U=
-SHA256 (MikePopoloski-slang-v11.0.tar.gz) = UGdtWprb77l9JmpLF05rBROQGv1axXps3+oKYRScNwQ=
-SHA256 (YosysHQ-abc-v0.69.tar.gz) = PEdAb5kW7CwioqPgPKRD3Vdkql2HMZG3phhOZoLgctg=
+SHA256 (MikePopoloski-slang-v12.0.tar.gz) = ZLPrnTjuEm4AnLuNoM+m9o2XAzTlK6CErXxo5LX6gEw=
+SHA256 (YosysHQ-abc-v0.70.tar.gz) = I2uqkqGAZ5gshaVn0ut++xqsKYVFKsvNsGTIypf3x5k=
SHA256 (YosysHQ-symfpu-5d5e50867437fe5cabd6ab5aad3b3808ec86701f.tar.gz) = jb3eodJs8E0PMgxXkpgphHg1JJmFrmmSsIp4sIhHL24=
SHA256 (fmtlib-fmt-12.2.0.tar.gz) = i4UrtapufYVk+egTlAVTld0dGTbTjf06F3kqAr69evA=
SHA256 (jarro2783-cxxopts-v3.3.1.tar.gz) = O/xwVCxSHUtVpGQp2AgXiRalebKNBIvYxyfudsOeIHI=
SHA256 (marzer-tomlplusplus-v3.4.0.tar.gz) = hRf2WTik+q6cz467NmMaOMHK37XvqF2acuFbnpfSUVU=
-SHA256 (povik-sv-elab-2026-09-08.tar.gz) = SsLRSoW1/6XOdMZuxVYjbTQg/Y9f9ta5hU15QzsyloI=
-SHA256 (yosys-0.69.tar.gz) = KggxRoyx/gjOX/8RHUy4dj3W10TJ2YH2x8ayps43vNI=
+SHA256 (povik-sv-elab-2026-10-13.tar.gz) = X87sWx4M4tlZ0Gn/JzVqSHXCYxxhfplBtMlIfgCjMBE=
+SHA256 (yosys-0.70.tar.gz) = 0z65tAk5w88IxBlUi0ruq67NgM45lAFkwEKlyMo1hw4=
SIZE (MikePopoloski-regex-boost-1.91.0.tar.gz) = 513794
-SIZE (MikePopoloski-slang-v11.0.tar.gz) = 1943449
-SIZE (YosysHQ-abc-v0.69.tar.gz) = 7756835
+SIZE (MikePopoloski-slang-v12.0.tar.gz) = 2052235
+SIZE (YosysHQ-abc-v0.70.tar.gz) = 8750040
SIZE (YosysHQ-symfpu-5d5e50867437fe5cabd6ab5aad3b3808ec86701f.tar.gz) = 86836
SIZE (fmtlib-fmt-12.2.0.tar.gz) = 738355
SIZE (jarro2783-cxxopts-v3.3.1.tar.gz) = 161557
SIZE (marzer-tomlplusplus-v3.4.0.tar.gz) = 1294731
-SIZE (povik-sv-elab-2026-09-08.tar.gz) = 151054
-SIZE (yosys-0.69.tar.gz) = 3686126
+SIZE (povik-sv-elab-2026-10-13.tar.gz) = 155610
+SIZE (yosys-0.70.tar.gz) = 3735948
diff --git a/cad/yosys/pkg/PLIST b/cad/yosys/pkg/PLIST
index 7a7f86471a2..5ec1515c4f5 100644
--- a/cad/yosys/pkg/PLIST
+++ b/cad/yosys/pkg/PLIST
@@ -59,6 +59,8 @@ share/yosys/efinix/brams_map.v
share/yosys/efinix/cells_map.v
share/yosys/efinix/cells_sim.v
share/yosys/efinix/gbuf_map.v
+share/yosys/fabulous/
+share/yosys/fabulous/cells_bb.v
share/yosys/gate2lut.v
share/yosys/gatemate/
share/yosys/gatemate/arith_map.v
@@ -122,7 +124,6 @@ share/yosys/include/frontends/
share/yosys/include/frontends/blif/
share/yosys/include/frontends/blif/blifparse.h
share/yosys/include/kernel/
-share/yosys/include/kernel/binding.h
share/yosys/include/kernel/bitpattern.h
share/yosys/include/kernel/cellaigs.h
share/yosys/include/kernel/celledges.h