diff --git a/CHANGELOG.md b/CHANGELOG.md
index 80d09a6e..f37e4eb9 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -9,13 +9,17 @@ This project adheres to [Semantic Versioning], with the exception that minor rel
 
 ## [Unreleased]
 
+## [3.1.0] - 2025-07-11
+
+_If you are upgrading: please see [`UPGRADING.md`](UPGRADING.md#310)._
+
 ### Changed
 
 - **Breaking**: ⬆️ Bump minimum required MQT Core version to `3.1.0` ([#646]) ([**@denialhaag**])
 - **Breaking**: ⬆️ Bump minimum required `pybind11` version to `3.0.0` ([#646]) ([**@denialhaag**])
 - ♻️ Move the C++ code for the Python bindings to the top-level `bindings` directory ([#618]) ([**@denialhaag**])
 - ♻️ Move all Python code (no tests) to the top-level `python` directory ([#618]) ([**@denialhaag**])
-- **Breaking**: ZX-calculus checker now reports that it can't handle circuits with non-garbage ancilla qubits ([#512]) ([**@pehamTom**])
+- **Breaking**: 💥 ZX-calculus checker now reports that it can't handle circuits with non-garbage ancilla qubits ([#512]) ([**@pehamTom**])
 
 ### Deprecated
 
@@ -23,7 +27,7 @@ This project adheres to [Semantic Versioning], with the exception that minor rel
 
 ### Fixed
 
-- Fixed bug in ZX-calculus checker for circuits without data qubits ([#512]) ([**@pehamTom**])
+- 🐛 Fix bug in ZX-calculus checker for circuits without data qubits ([#512]) ([**@pehamTom**])
 
 ## [3.0.0] - 2025-05-05
 
@@ -53,7 +57,8 @@ _📚 Refer to the [GitHub Release Notes] for previous changelogs._
 
 <!-- Version links -->
 
-[unreleased]: https://github.com/munich-quantum-toolkit/qcec/compare/v3.0.0...HEAD
+[unreleased]: https://github.com/munich-quantum-toolkit/qcec/compare/v3.1.0...HEAD
+[3.1.0]: https://github.com/munich-quantum-toolkit/qcec/compare/v3.0.0...v3.1.0
 [3.0.0]: https://github.com/munich-quantum-toolkit/qcec/compare/v2.8.2...v3.0.0
 [2.8.2]: https://github.com/munich-quantum-toolkit/qcec/releases/tag/v2.8.2
 
diff --git a/UPGRADING.md b/UPGRADING.md
index 5a06c5ea..fac9fbfe 100644
--- a/UPGRADING.md
+++ b/UPGRADING.md
@@ -4,6 +4,8 @@ This document describes breaking changes and how to upgrade. For a complete list
 
 ## [Unreleased]
 
+## [3.1.0]
+
 Even tough this is not a breaking change, it is worth mentioning to developers of MQT QCEC that all Python code (except tests) has been moved to the top-level `python` directory.
 Furthermore, the C++ code for the Python bindings has been moved to the top-level `bindings` directory.
 
@@ -37,6 +39,12 @@ MQT QCEC now requires CMake 3.24 or higher.
 Most modern operating systems should have this version available in their package manager.
 Alternatively, CMake can be conveniently installed from PyPI using the [`cmake`](https://pypi.org/project/cmake/) package.
 
-[MQT SyReC]: https://github.com/cda-tum/mqt-syrec
-[unreleased]: https://github.com/munich-quantum-toolkit/core/compare/v3.0.0...HEAD
+<!-- Version links -->
+
+[unreleased]: https://github.com/munich-quantum-toolkit/qcec/compare/v3.1.0...HEAD
+[3.1.0]: https://github.com/munich-quantum-toolkit/qcec/compare/v3.0.0...v3.1.0
 [3.0.0]: https://github.com/munich-quantum-toolkit/qcec/compare/v2.8.2...v3.0.0
+
+<!-- Other links -->
+
+[MQT SyReC]: https://github.com/cda-tum/mqt-syrec