chore: release

oeb25 · May 2, 2024 · 7217e5a · 7217e5a
1 parent 6552d4d
commit 7217e5a
Show file tree

Hide file tree

Showing 3 changed files with 30 additions and 5 deletions.
diff --git 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
diff --git 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"] }