💥 Release 🐍 snekmate 0.1.0 (#257)

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

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

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

### 🕓 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

@@ -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).

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",

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"

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.