From 7217e5a424c98dd663baa9819f69c709a9dba8fb Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Thu, 2 May 2024 15:18:39 +0000
Subject: [PATCH] chore: release

---
 CHANGELOG.md | 25 +++++++++++++++++++++++++
 Cargo.lock   |  6 +++---
 Cargo.toml   |  4 ++--
 3 files changed, 30 insertions(+), 5 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index b69de07..134f6d9 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,6 +2,31 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.2.0] - 2024-05-02
+
+### Documentation
+
+- Update `backend` doc links
+
+### Features
+
+- [**breaking**] Remove `async-trait` crate and `async`, `z3`, `cvc5` features
+- [**breaking**] Remove `Async{Driver,Solver}` in favor of `Tokio{Driver,Solver}`
+
+### Miscellaneous Tasks
+
+- Skip formatting generated files
+
+### Refactor
+
+- Generate `logics.rs` in xtask rather than `build.rs`
+- Generate `ast.rs` in xtask rather than `build.rs`
+
+### Misc
+
+- Move some crate versions to root `Cargo.toml`
+
+<!-- generated by git-cliff -->
 ## [0.1.8] - 2023-12-26
 
 ### Bug Fixes
diff --git a/Cargo.lock b/Cargo.lock
index 538ae00..b1756b9 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -792,7 +792,7 @@ checksum = "b7c388c1b5e93756d0c740965c41e8822f866621d41acbdf6336a6a168f8840c"
 
 [[package]]
 name = "smtlib"
-version = "0.1.8"
+version = "0.2.0"
 dependencies = [
  "futures",
  "insta",
@@ -807,7 +807,7 @@ dependencies = [
 
 [[package]]
 name = "smtlib-lowlevel"
-version = "0.1.8"
+version = "0.2.0"
 dependencies = [
  "insta",
  "itertools",
@@ -1249,7 +1249,7 @@ checksum = "7e2c411759b501fb9501aac2b1b2d287a6e93e5bdcf13c25306b23e1b716dd0e"
 
 [[package]]
 name = "xtask"
-version = "0.1.8"
+version = "0.2.0"
 dependencies = [
  "color-eyre",
  "heck",
diff --git a/Cargo.toml b/Cargo.toml
index aebfe9a..53ea29d 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -3,14 +3,14 @@ members = ["smtlib", "lowlevel", "xtask"]
 resolver = "2"
 
 [workspace.package]
-version = "0.1.8"
+version = "0.2.0"
 
 [workspace.dependencies]
 itertools = "0.12.0"
 miette = { version = "5.5.0" }
 serde = { version = "1.0.152", features = ["derive"] }
 smtlib = { path = "./smtlib" }
-smtlib-lowlevel = { path = "./lowlevel", version = "0.1.8" }
+smtlib-lowlevel = { path = "./lowlevel", version = "0.2.0" }
 thiserror = "1.0.38"
 insta = { version = "1.23.0", features = ["ron"] }