From e64763d443ea9dc60974c79a84f9f904cd2564e6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Oliver=20B=C3=B8ving?= <oliver@bvng.dk>
Date: Tue, 26 Dec 2023 13:49:04 +0100
Subject: [PATCH] chore: Release

---
 CHANGELOG.md        | 45 ++++++++++++++++++++++++++++++++++++++++-----
 Cargo.lock          |  6 +++---
 Cargo.toml          |  2 +-
 lowlevel/Cargo.toml |  2 +-
 smtlib/Cargo.toml   |  6 +++---
 5 files changed, 48 insertions(+), 13 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 8c823f0..b69de07 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -16,19 +16,54 @@ All notable changes to this project will be documented in this file.
 
 ### Miscellaneous Tasks
 
+- Check docs on Nightly due to `#![cfg_attr(feature = "const-bit-vec", feature(generic_const_exprs))]`
+- Unify the versions of all crates
+- Add CHANGELOG generation and Justfile for making releases
+- Checkout CHANGELOG before generating CHANGELOG
+- Make sure that all crates are published with the same version number
+
+## [smtlib-v0.1.7] - 2023-11-15
+
+### Miscellaneous Tasks
+
 - Release
+
+## [smtlib-v0.1.6] - 2023-01-16
+
+### Miscellaneous Tasks
+
 - Release
+
+## [smtlib-lowlevel-v0.1.5] - 2023-01-16
+
+### Miscellaneous Tasks
+
 - Release
+
+## [smtlib-v0.1.5] - 2023-01-14
+
+### Miscellaneous Tasks
+
 - Release
+
+## [smtlib-lowlevel-v0.1.4] - 2023-01-14
+
+### Miscellaneous Tasks
+
 - Release
+
+## [smtlib-v0.1.4] - 2023-01-02
+
+### Miscellaneous Tasks
+
 - Release
-- Release
-- Release
-- Unify the versions of all crates
 
-### Ci
+## [smtlib-v0.1.3] - 2023-01-02
 
-- Check docs on Nightly due to `#![cfg_attr(feature = "const-bit-vec", feature(generic_const_exprs))]`
+### Miscellaneous Tasks
+
+- Release
+- Release
 
 ## [0.1.1] - 2022-12-30
 
diff --git a/Cargo.lock b/Cargo.lock
index 7500023..907a484 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -703,7 +703,7 @@ checksum = "b7c388c1b5e93756d0c740965c41e8822f866621d41acbdf6336a6a168f8840c"
 
 [[package]]
 name = "smtlib"
-version = "0.1.7"
+version = "0.1.8"
 dependencies = [
  "futures",
  "insta",
@@ -718,7 +718,7 @@ dependencies = [
 
 [[package]]
 name = "smtlib-build-util"
-version = "0.1.7"
+version = "0.1.8"
 dependencies = [
  "heck",
  "indexmap",
@@ -734,7 +734,7 @@ dependencies = [
 
 [[package]]
 name = "smtlib-lowlevel"
-version = "0.1.7"
+version = "0.1.8"
 dependencies = [
  "async-trait",
  "insta",
diff --git a/Cargo.toml b/Cargo.toml
index d3fa8a0..57145cf 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -3,7 +3,7 @@ members = ["smtlib", "lowlevel", "build-util"]
 resolver = "2"
 
 [workspace.package]
-version = "0.1.7"
+version = "0.1.8"
 
 [workspace.dependencies]
 itertools = "0.12.0"
diff --git a/lowlevel/Cargo.toml b/lowlevel/Cargo.toml
index e6faabf..cb90256 100644
--- a/lowlevel/Cargo.toml
+++ b/lowlevel/Cargo.toml
@@ -32,7 +32,7 @@ insta.workspace = true
 smtlib-lowlevel = { path = ".", features = ["serde"] }
 
 [build-dependencies]
-smtlib-build-util = { version = "0.1.0", path = "../build-util" }
+smtlib-build-util = { version = "0.1.8", path = "../build-util" }
 
 [package.metadata.docs.rs]
 features = ["z3", "cvc5", "serde", "async"]
diff --git a/smtlib/Cargo.toml b/smtlib/Cargo.toml
index 14af39b..b91dde7 100644
--- a/smtlib/Cargo.toml
+++ b/smtlib/Cargo.toml
@@ -22,7 +22,7 @@ async = ["smtlib-lowlevel/async"]
 [dependencies]
 itertools.workspace = true
 miette.workspace = true
-smtlib-lowlevel = { path = "../lowlevel", version = "0.1.6" }
+smtlib-lowlevel = { path = "../lowlevel", version = "0.1.8" }
 serde = { workspace = true, optional = true }
 thiserror.workspace = true
 
@@ -33,8 +33,8 @@ miette = { workspace = true, features = ["fancy"] }
 smtlib = { path = ".", features = ["serde", "z3", "cvc5", "async"] }
 
 [build-dependencies]
-smtlib-build-util = { version = "0.1.0", path = "../build-util" }
-smtlib-lowlevel = { version = "0.1.6", path = "../lowlevel" }
+smtlib-build-util = { version = "0.1.8", path = "../build-util" }
+smtlib-lowlevel = { version = "0.1.8", path = "../lowlevel" }
 
 [package.metadata.docs.rs]
 features = ["serde", "z3", "cvc5", "const-bit-vec", "async"]