diff --git a/CHANGELOG.md b/CHANGELOG.md
index f085c479..f5e039f0 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,6 +1,6 @@
 # 🕓 Changelog
 
-## [`0.1.0`](https://github.com/pcaversaccio/snekmate/releases/tag/v0.1.0) (Unreleased)
+## [`0.1.0`](https://github.com/pcaversaccio/snekmate/releases/tag/v0.1.0) (26-06-2024)
 
 > [!IMPORTANT]
 > The aggregating pull request used to implement the subsequent changes is [#207](https://github.com/pcaversaccio/snekmate/pull/207).
diff --git a/package.json b/package.json
index 9a32fa5f..64e58b0d 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "snekmate",
-  "version": "0.1.0-rc.2",
+  "version": "0.1.0",
   "description": "State-of-the-art, highly opinionated, hyper-optimised, and secure 🐍Vyper smart contract building blocks.",
   "author": "Pascal Marco Caversaccio <pascal.caversaccio@hotmail.ch>",
   "license": "AGPL-3.0-only",
diff --git a/pyproject.toml b/pyproject.toml
index 4edad2d3..74e0e56a 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -1,6 +1,6 @@
 [project]
 name = "snekmate"
-version = "0.1.0rc2"
+version = "0.1.0"
 description = "State-of-the-art, highly opinionated, hyper-optimised, and secure 🐍Vyper smart contract building blocks."
 readme = { file = "README.md", content-type = "text/markdown" }
 requires-python = ">=3.10"
diff --git a/test/halmos.toml b/test/halmos.toml
index 4b41d4d7..5d0faebd 100644
--- a/test/halmos.toml
+++ b/test/halmos.toml
@@ -11,4 +11,4 @@ verbose = 1                   # Set the verbosity level for the tests.
 
 # Solver settings.
 solver-command = "yices-smt2" # Use the Yices 2 SMT solver.
-solver-parallel = true        # Run assertion solvers in parallel.
+cache-solver = true           # Cache unsatisfiable queries using unsatisfiable cores.