chore: Release

oeb25 · Dec 26, 2023 · e64763d · e64763d
1 parent e66b934
commit e64763d
Show file tree

Hide file tree

Showing 5 changed files with 48 additions and 13 deletions.
diff --git 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
diff --git 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
@@ -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
@@ -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"]