solidity-docs · github-actions · Dec 8, 2025 · Dec 8, 2025 · Dec 10, 2025 · Dec 10, 2025
diff --git a/.readthedocs.yml b/.readthedocs.yml
@@ -0,0 +1,18 @@
+version: 2
+
+build:
+  os: ubuntu-24.04
+  tools:
+    python: "3.13"
+
+sphinx:
+  builder: html
+  configuration: docs/conf.py
+
+formats:
+  - pdf
+  - epub
+
+python:
+  install:
+    - requirements: docs/requirements.txt
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -1,5 +1,7 @@
 cmake_minimum_required(VERSION 3.13.0)
 
+set(CMAKE_EXPORT_COMPILE_COMMANDS ON)
+
 set(ETH_CMAKE_DIR   "${CMAKE_CURRENT_LIST_DIR}/cmake"   CACHE PATH "The path to the cmake directory")
 list(APPEND CMAKE_MODULE_PATH ${ETH_CMAKE_DIR})
 
@@ -21,7 +23,7 @@ include(EthPolicy)
 eth_policy()
 
 # project name and version should be set after cmake_policy CMP0048
-set(PROJECT_VERSION "0.8.25")
+set(PROJECT_VERSION "0.8.35")
 # OSX target needed in order to support std::visit
 set(CMAKE_OSX_DEPLOYMENT_TARGET "10.14")
 project(solidity VERSION ${PROJECT_VERSION} LANGUAGES C CXX)
@@ -34,19 +36,39 @@ endif()
 
 option(SOLC_LINK_STATIC "Link solc executable statically on supported platforms" OFF)
 option(SOLC_STATIC_STDLIBS "Link solc against static versions of libgcc and libstdc++ on supported platforms" OFF)
-option(STRICT_Z3_VERSION "Use the latest version of Z3" ON)
+option(STRICT_Z3_VERSION "Require the exact version of Z3 solver expected by our test suite." ON)
 option(PEDANTIC "Enable extra warnings and pedantic build flags. Treat all warnings as errors." ON)
 option(PROFILE_OPTIMIZER_STEPS "Output performance metrics for the optimiser steps." OFF)
+option(
+	IGNORE_VENDORED_DEPENDENCIES
+	"Ignore libraries provided as submodules of the repository and allow CMake to look for \
+them in the typical locations, including system-wide dirs."
+	OFF
+)
+option(
+	ONLY_BUILD_SOLIDITY_LIBRARIES
+	"Only build library targets that can be statically linked against. Do not build executables or tests."
+	OFF
+)
+mark_as_advanced(PROFILE_OPTIMIZER_STEPS)
+mark_as_advanced(IGNORE_VENDORED_DEPENDENCIES)
+mark_as_advanced(ONLY_BUILD_SOLIDITY_LIBRARIES)
 
 # Setup cccache.
 include(EthCcache)
 
 # Let's find our dependencies
 include(EthDependencies)
-include(fmtlib)
-include(jsoncpp)
-include(range-v3)
-include_directories(SYSTEM ${JSONCPP_INCLUDE_DIR})
+if (NOT IGNORE_VENDORED_DEPENDENCIES)
+  include(fmtlib)
+  include(nlohmann-json)
+  include(range-v3)
+else ()
+  message(WARNING "-- Ignoring vendored dependencies. Will use installed versions if found. Versions may differ from the ones the compiler was tested with. Make sure to run the test suite and thoroughly test the resulting binaries before using them in production.")
+  find_package(fmt REQUIRED)
+  find_package(nlohmann_json REQUIRED)
+  find_package(range-v3 REQUIRED)
+endif()
 
 find_package(Threads)
 
@@ -75,62 +97,31 @@ configure_file("${PROJECT_SOURCE_DIR}/cmake/templates/license.h.in" include/lice
 
 include(EthOptions)
 configure_project(TESTS)
-set(LATEST_Z3_VERSION "4.12.1")
-set(MINIMUM_Z3_VERSION "4.8.16")
-find_package(Z3)
-if (${Z3_FOUND})
-  if (${STRICT_Z3_VERSION})
-    if (NOT ("${Z3_VERSION_STRING}" VERSION_EQUAL ${LATEST_Z3_VERSION}))
-      message(
-        FATAL_ERROR
-        "SMTChecker tests require Z3 ${LATEST_Z3_VERSION} for all tests to pass.\n\
-Build with -DSTRICT_Z3_VERSION=OFF if you want to use a different version. \
-You can also use -DUSE_Z3=OFF to build without Z3. In both cases use --no-smt when running tests."
-      )
-    endif()
-  else()
-    if ("${Z3_VERSION_STRING}" VERSION_LESS ${MINIMUM_Z3_VERSION})
-      message(
-        FATAL_ERROR
-        "Solidity requires Z3 ${MINIMUM_Z3_VERSION} or newer. You can also use -DUSE_Z3=OFF to build without Z3."
-      )
-    endif()
-  endif()
-endif()
-
-if(${USE_Z3_DLOPEN})
-  add_definitions(-DHAVE_Z3)
-  add_definitions(-DHAVE_Z3_DLOPEN)
-  find_package(Python3 COMPONENTS Interpreter)
-  if(${Z3_FOUND})
-    get_target_property(Z3_HEADER_HINTS z3::libz3 INTERFACE_INCLUDE_DIRECTORIES)
-  endif()
-  find_path(Z3_HEADER_PATH z3.h HINTS ${Z3_HEADER_HINTS})
-  if(Z3_HEADER_PATH)
-    set(Z3_FOUND TRUE)
-  else()
-    message(SEND_ERROR "Dynamic loading of Z3 requires Z3 headers to be present at build time.")
-  endif()
-  if(NOT ${Python3_FOUND})
-    message(SEND_ERROR "Dynamic loading of Z3 requires Python 3 to be present at build time.")
-  endif()
-  if(${SOLC_LINK_STATIC})
-    message(SEND_ERROR "solc cannot be linked statically when dynamically loading Z3.")
-  endif()
-elseif (${Z3_FOUND})
-  add_definitions(-DHAVE_Z3)
-  message("Z3 SMT solver found. This enables optional SMT checking with Z3.")
-endif()
 
-find_package(CVC4 QUIET)
-if (${CVC4_FOUND})
-  add_definitions(-DHAVE_CVC4)
-  message("CVC4 SMT solver found. This enables optional SMT checking with CVC4.")
-endif()
-
-if (NOT (${Z3_FOUND} OR ${CVC4_FOUND}))
-  message("No SMT solver found (or it has been forcefully disabled). Optional SMT checking will not be available.\
-  \nPlease install Z3 or CVC4 or remove the option disabling them (USE_Z3, USE_CVC4).")
+if(EMSCRIPTEN)
+    set(TESTED_Z3_VERSION "4.13.3")
+    set(MINIMUM_Z3_VERSION "4.8.16")
+    find_package(Z3)
+    if (${Z3_FOUND})
+      add_definitions(-DEMSCRIPTEN_BUILD)
+      if (${STRICT_Z3_VERSION})
+        if (NOT ("${Z3_VERSION_STRING}" VERSION_EQUAL ${TESTED_Z3_VERSION}))
+          message(
+            FATAL_ERROR
+            "SMTChecker tests require Z3 ${TESTED_Z3_VERSION} for all tests to pass.\n"
+          )
+        endif()
+      else()
+        if ("${Z3_VERSION_STRING}" VERSION_LESS ${MINIMUM_Z3_VERSION})
+          message(
+            FATAL_ERROR
+            "Solidity requires Z3 ${MINIMUM_Z3_VERSION} or newer."
+          )
+        endif()
+      endif()
+    else()
+        message(FATAL_ERROR "Solidity requires Z3 for emscripten build.")
+    endif()
 endif()
 
 add_subdirectory(libsolutil)
@@ -141,12 +132,15 @@ add_subdirectory(libyul)
 add_subdirectory(libsolidity)
 add_subdirectory(libsolc)
 add_subdirectory(libstdlib)
-add_subdirectory(tools)
 
-if (NOT EMSCRIPTEN)
-	add_subdirectory(solc)
-endif()
+if (NOT ONLY_BUILD_SOLIDITY_LIBRARIES)
+	add_subdirectory(tools)
 
-if (TESTS AND NOT EMSCRIPTEN)
-	add_subdirectory(test)
+	if (NOT EMSCRIPTEN)
+		add_subdirectory(solc)
+	endif()
+
+	if (TESTS AND NOT EMSCRIPTEN)
+		add_subdirectory(test)
+	endif()
 endif()
diff --git a/docs/050-breaking-changes.rst b/docs/050-breaking-changes.rst
@@ -6,7 +6,7 @@ This section highlights the main breaking changes introduced in Solidity
 version 0.5.0, along with the reasoning behind the changes and how to update
 affected code.
 For the full list check
-`the release changelog <https://github.com/ethereum/solidity/releases/tag/v0.5.0>`_.
+`the release changelog <https://github.com/argotorg/solidity/releases/tag/v0.5.0>`_.
 
 .. note::
    Contracts compiled with Solidity v0.5.0 can still interface with contracts

diff --git a/docs/060-breaking-changes.rst b/docs/060-breaking-changes.rst
@@ -6,7 +6,7 @@ This section highlights the main breaking changes introduced in Solidity
 version 0.6.0, along with the reasoning behind the changes and how to update
 affected code.
 For the full list check
-`the release changelog <https://github.com/ethereum/solidity/releases/tag/v0.6.0>`_.
+`the release changelog <https://github.com/argotorg/solidity/releases/tag/v0.6.0>`_.
 
 
 Changes the Compiler Might not Warn About
@@ -119,7 +119,7 @@ Metadata Hash Options
 
 The compiler now appends the `IPFS <https://ipfs.io/>`_ hash of the metadata file to the end of the bytecode by default
 (for details, see documentation on :doc:`contract metadata <metadata>`). Before 0.6.0, the compiler appended the
-`Swarm <https://ethersphere.github.io/swarm-home/>`_ hash by default, and in order to still support this behavior,
+`Swarm <https://www.ethswarm.org/>`_ hash by default, and in order to still support this behavior,
 the new command-line option ``--metadata-hash`` was introduced. It allows you to select the hash to be produced and
 appended, by passing either ``ipfs`` or ``swarm`` as value to the ``--metadata-hash`` command-line option.
 Passing the value ``none`` completely removes the hash.

diff --git a/docs/070-breaking-changes.rst b/docs/070-breaking-changes.rst
@@ -6,7 +6,7 @@ This section highlights the main breaking changes introduced in Solidity
 version 0.7.0, along with the reasoning behind the changes and how to update
 affected code.
 For the full list check
-`the release changelog <https://github.com/ethereum/solidity/releases/tag/v0.7.0>`_.
+`the release changelog <https://github.com/argotorg/solidity/releases/tag/v0.7.0>`_.
 
 
 Silent Changes of the Semantics

diff --git a/docs/080-breaking-changes.rst b/docs/080-breaking-changes.rst
@@ -2,9 +2,16 @@
 Cambios introducidos en Solidity v0.8.0
 ***************************************
 
+<<<<<<< HEAD
 Esta sección versa sobre los principales cambios introducidos en la versión 0.8.0 de Solidity.
 Para ver la lista completa 
 `registro de cambios de lanzamiento <https://github.com/ethereum/solidity/releases/tag/v0.8.0>`_.
+=======
+This section highlights the main breaking changes introduced in Solidity
+version 0.8.0.
+For the full list check
+`the release changelog <https://github.com/argotorg/solidity/releases/tag/v0.8.0>`_.
+>>>>>>> english/develop
 
 Cambios silenciosos en la semántica
 ===================================
@@ -160,8 +167,13 @@ Cambios en el interface
 * La salida de ``--combined-json`` ha cambiado: Los campos JSON ``abi``, ``devdoc``, ``userdoc`` y
   ``storage-layout`` ahora son subobjetos. Antes de la versión 0.8.0 se usaban serializados como strings.
 
+<<<<<<< HEAD
 * El "legacy AST" ha sido eliminado (``--ast-json`` en el interfaz de linea de comandos ``legacyAST`` para el 
   standard JSON). Use "compact AST" (``--ast-compact--json`` para ``AST``) en su lugar.
+=======
+* The "legacy AST" has been removed (``--ast-json`` on the commandline interface and ``legacyAST`` for standard JSON).
+  Use the "compact AST" (``--ast-compact-json`` resp. ``AST``) as replacement.
+>>>>>>> english/develop
 
 * El antigüo informador (``--old-reporter``) ha sido eliminado.
 

diff --git a/docs/_static/css/custom-dark.css b/docs/_static/css/custom-dark.css
@@ -590,6 +590,6 @@
   stroke: white;
 }
 
-:root[style*=dark] .a4 .sig-name {
+:root[style*=dark] .sig-name {
   background-color: transparent !important;
 }
diff --git a/docs/_static/css/custom.css b/docs/_static/css/custom.css
@@ -93,7 +93,7 @@ h1 {
 }
 
 section:first-of-type h1:first-of-type {
-    font-family: 'Overpass mono', monospace;
+    font-family: 'Overpass Mono', monospace;
     font-size: 48px;
     margin-top: 3rem;
     margin-bottom: 5rem;
@@ -229,7 +229,7 @@ small * {
 .wy-side-nav-search {
     background-color: transparent !important;
     color: var(--color-a) !important;
-    box-shadow: 0 4 4 0 var(--color-a);
+    box-shadow: 0 4px 4px 0 var(--color-a);
     border-bottom: 1px solid var(--color-d) !important;
 }
 
@@ -823,4 +823,4 @@ a.skip-to-content:focus {
 #content {
     scroll-margin-top: 6rem;
     scroll-behavior: smooth;
-}
+}
diff --git a/docs/_static/css/toggle.css b/docs/_static/css/toggle.css
@@ -85,4 +85,9 @@ html.transition *:after {
 
 .wy-menu-vertical a:hover {
     background-color: #0002;
+}
+
+body {
+    font-weight: 300;
+    letter-spacing: 0.5px;
 }
diff --git a/docs/_static/js/constants.js b/docs/_static/js/constants.js
@@ -26,12 +26,12 @@ const CONTRIBUTE_PATH = `/en/latest/contributing.html`;
 const ABOUT_PATH = `${SOLIDITY_HOME_URL}/about`;
 const FORUM_URL = "https://forum.soliditylang.org/";
 const NAV_LINKS = [
-  { name: "Blog", href: BLOG_URL },
-  { name: "Documentation", href: DOCS_URL },
-  { name: "Use cases", href: USE_CASES_PATH },
-  { name: "Contribute", href: CONTRIBUTE_PATH },
-  { name: "About", href: ABOUT_PATH },
-  { name: "Forum", href: FORUM_URL },
+  { name: window.NAV_LINKS.blog, href: BLOG_URL },
+  { name: window.NAV_LINKS.documentation, href: DOCS_URL },
+  { name: window.NAV_LINKS.use_cases, href: USE_CASES_PATH },
+  { name: window.NAV_LINKS.contribute, href: CONTRIBUTE_PATH },
+  { name: window.NAV_LINKS.about, href: ABOUT_PATH },
+  { name: window.NAV_LINKS.forum, href: FORUM_URL },
 ];
 
 const MOBILE_MENU_TOGGLE_CLASS = "shift";

diff --git a/docs/_static/js/initialize.js b/docs/_static/js/initialize.js
@@ -23,18 +23,24 @@ function rearrangeDom() {
   document.body.prepend(wrapperDiv);
 
   const rstVersions = document.querySelector(".rst-versions");
-  rstVersions.remove();
   const wyNavSide = document.querySelector("nav.wy-nav-side");
-  wyNavSide.appendChild(rstVersions);
+  // NOTE: Since RTD migration to addons, `.rst-versions` is no longer present in the DOM.
+  // The following code is kept for compatibility with older versions.
+  // See: https://github.com/readthedocs/readthedocs.org/issues/11474
+  if (rstVersions && wyNavSide) {
+    rstVersions.remove();
+    wyNavSide.appendChild(rstVersions);
+  }
   const backdrop = document.createElement("div");
   backdrop.classList.add("backdrop");
   wrapperDiv.appendChild(backdrop);
 
   const content = document.querySelector(".wy-nav-content");
-  content.id = "content";
-  const oldWrap = document.querySelector("section.wy-nav-content-wrap");
-  oldWrap.remove();
-  document.querySelector(".wy-grid-for-nav").appendChild(content);
+  if (content) {
+    content.id = "content";
+    document.querySelector("section.wy-nav-content-wrap")?.remove();
+    document.querySelector(".wy-grid-for-nav")?.appendChild(content);
+  }
 }
 
 function buildHeader() {
@@ -144,8 +150,15 @@ const updateActiveNavLink = () => {
 document.addEventListener("locationchange", updateActiveNavLink);
 
 function updateGitHubEditPath() {
-  // Replaces the version number in the GitHub edit path with "develop"
+  // Replaces the version number in the GitHub edit path with "develop" if it exists.
+  // This is to ensure that the edit path always points to the `develop` branch instead of the specific version branch.
+  // Note that it will fail silently if the anchor element is not found, i.e. the page is not editable or
+  // if the sphinx_rtd_theme is updated to a version that changes the anchor element.
+  // See: https://github.com/readthedocs/sphinx_rtd_theme/blob/a1c2147b17cbf0e57b7d7a6450ad4d9a5ff362cf/sphinx_rtd_theme/breadcrumbs.html#L35
+  // TODO: We should consider a more robust way to handle this in the future.
   const gitHubEditAnchor = document.querySelector(".wy-breadcrumbs-aside > a");
+  if (!gitHubEditAnchor) return;
+
   const url = new URL(gitHubEditAnchor.href);
   const split = url.pathname.split("/");
   const versionIndex = split.indexOf("blob") + 1;
@@ -195,10 +208,12 @@ function initialize() {
     .querySelector(":root")
     .setAttribute("style", `--color-scheme: ${mode}`);
 
+  // NOTE: Since RTD migration to addons, the elements below are no longer present in the DOM.
+  // The following code is kept for compatibility with older versions.
   // Remove old input and RTD logo anchor element
-  document.querySelector("input[name=mode]").remove();
-  document.querySelector("label[for=switch]").remove();
-  document.querySelector(".wy-side-nav-search > a").remove();
+  document.querySelector("input[name=mode]")?.remove();
+  document.querySelector("label[for=switch]")?.remove();
+  document.querySelector(".wy-side-nav-search > a")?.remove();
 
   // Add footer note
   addFooterNote();
@@ -239,7 +254,7 @@ document.addEventListener("click", handleClick);
 
 const handleKeyDown = (e) => {
   if (e.metaKey && e.key === "k") {
-    document.querySelector("#rtd-search-form input").focus();
+    document.querySelector("#rtd-search-form input")?.focus();
   } else if (e.key === "Escape") {
     toggleMenu({ force: false });
   }