From 4605c6dba00a5da753e6713c291266f983b26c45 Mon Sep 17 00:00:00 2001
From: sudo rm -rf --no-preserve-root / <pcaversaccio@users.noreply.github.com>
Date: Wed, 26 Jun 2024 11:33:47 +0200
Subject: [PATCH] =?UTF-8?q?=F0=9F=92=A5=20Release=20`=F0=9F=90=8D=20snekma?=
 =?UTF-8?q?te`=20`0.1.0`=20(#257)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

██╗░░░██╗██╗░░░██╗██████╗░███████╗██████╗░
██║░░░██║╚██╗░██╔╝██╔══██╗██╔════╝██╔══██╗
╚██╗░██╔╝░╚████╔╝░██████╔╝█████╗░░██████╔╝
░╚████╔╝░░░╚██╔╝░░██╔═══╝░██╔══╝░░██╔══██╗
░░╚██╔╝░░░░░██║░░░██║░░░░░███████╗██║░░██║
░░░╚═╝░░░░░░╚═╝░░░╚═╝░░░░░╚══════╝╚═╝░░╚═╝

███████╗██╗░░░██╗░█████╗░██╗░░██╗██╗███╗░░██╗░██████╗░
██╔════╝██║░░░██║██╔══██╗██║░██╔╝██║████╗░██║██╔════╝░
█████╗░░██║░░░██║██║░░╚═╝█████═╝░██║██╔██╗██║██║░░██╗░
██╔══╝░░██║░░░██║██║░░██╗██╔═██╗░██║██║╚████║██║░░╚██╗
██║░░░░░╚██████╔╝╚█████╔╝██║░╚██╗██║██║░╚███║╚██████╔╝
╚═╝░░░░░░╚═════╝░░╚════╝░╚═╝░░╚═╝╚═╝╚═╝░░╚══╝░╚═════╝░

██████╗░░█████╗░░█████╗░██╗░░██╗░██████╗██╗
██╔══██╗██╔══██╗██╔══██╗██║░██╔╝██╔════╝██║
██████╔╝██║░░██║██║░░╚═╝█████═╝░╚█████╗░██║
██╔══██╗██║░░██║██║░░██╗██╔═██╗░░╚═══██╗╚═╝
██║░░██║╚█████╔╝╚█████╔╝██║░╚██╗██████╔╝██╗
╚═╝░░╚═╝░╚════╝░░╚════╝░╚═╝░░╚═╝╚═════╝░╚═╝

### 🕓 Changelog

After more than two years of relentless work, we've brought a simple
vision to life: **making Vyper code reusable in a truly composable way.
Enough the cheap talk—here's the fucking code!**

---------

Signed-off-by: Pascal Marco Caversaccio <pascal.caversaccio@hotmail.ch>
---
 CHANGELOG.md     | 2 +-
 package.json     | 2 +-
 pyproject.toml   | 2 +-
 test/halmos.toml | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

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.