chore: release

chrjabs · Feb 25, 2025 · c725e0f · c725e0f
1 parent 7bbbcab
commit c725e0f
Show file tree

Hide file tree

Showing 27 changed files with 117 additions and 94 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,6 +2,14 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.6.5] - 2025-02-25
+
+### Miscellaneous Tasks
+
+- Cargo fmt
+- Cargo clippy
+
+<!-- generated by git-cliff -->
 ## [0.6.4] - 2025-02-18
 
 ### Features

diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -39,9 +39,9 @@ thiserror = "2.0.11"
 rand = "0.9.0"
 rand_chacha = "0.9.0"
 rustc-hash = "2.1.1"
-rustsat = { version = "0.6.4", path = "./", default-features = false }
-rustsat-cadical = { version = "0.4.4", path = "./cadical" }
-rustsat-minisat = { version = "0.4.4", path = "./minisat" }
+rustsat = { version = "0.6.5", path = "./", default-features = false }
+rustsat-cadical = { version = "0.4.5", path = "./cadical" }
+rustsat-minisat = { version = "0.4.5", path = "./minisat" }
 rustsat-solvertests = { path = "./solvertests" }
 serde = { version = "1.0.218", features = ["derive"] }
 signal-hook = "0.3.17"
@@ -51,7 +51,7 @@ xz2 = "0.1.7"
 
 [package]
 name = "rustsat"
-version = "0.6.4"
+version = "0.6.5"
 edition.workspace = true
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 license.workspace = true

diff --git a/batsat/CHANGELOG.md b/batsat/CHANGELOG.md
@@ -2,6 +2,13 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.1.4] - 2025-02-25
+
+### Miscellaneous Tasks
+
+- Update Cargo.toml dependencies
+
+<!-- generated by git-cliff -->
 ## [0.1.3] - 2025-02-18
 
 ### Features

diff --git a/batsat/Cargo.toml b/batsat/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-batsat"
-version = "0.1.3"
+version = "0.1.4"
 edition = "2021"
 authors = ["Noah Bruns <nbruns@efs.at>"]
 license = "MIT"

diff --git a/cadical/CHANGELOG.md b/cadical/CHANGELOG.md
@@ -2,6 +2,22 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.4.5] - 2025-02-25
+
+### Bug Fixes
+
+- Index out of bounds error in old propagate
+
+### Features
+
+- Include source for newest version
+
+### Miscellaneous Tasks
+
+- Prepare for subtree inclusion
+- Include source as subtree
+
+<!-- generated by git-cliff -->
 ## [0.4.4] - 2025-02-18
 
 ### Features

diff --git a/cadical/Cargo.toml b/cadical/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-cadical"
-version = "0.4.4"
+version = "0.4.5"
 edition.workspace = true
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 license.workspace = true

diff --git a/cadical/cppsrc/test/api/makefile b/cadical/cppsrc/test/api/makefile
diff --git a/cadical/cppsrc/test/cnf/makefile b/cadical/cppsrc/test/cnf/makefile
diff --git a/cadical/cppsrc/test/contrib/makefile b/cadical/cppsrc/test/contrib/makefile
diff --git a/cadical/cppsrc/test/icnf/makefile b/cadical/cppsrc/test/icnf/makefile
diff --git a/cadical/cppsrc/test/makefile b/cadical/cppsrc/test/makefile
diff --git a/cadical/cppsrc/test/mbt/makefile b/cadical/cppsrc/test/mbt/makefile
diff --git a/cadical/cppsrc/test/trace/makefile b/cadical/cppsrc/test/trace/makefile
diff --git a/cadical/cppsrc/test/usage/makefile b/cadical/cppsrc/test/usage/makefile
diff --git a/glucose/CHANGELOG.md b/glucose/CHANGELOG.md
@@ -2,6 +2,14 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.3.7] - 2025-02-25
+
+### Miscellaneous Tasks
+
+- Include source as subtree
+- Fix trailing whitespace
+
+<!-- generated by git-cliff -->
 ## [0.3.6] - 2025-02-18
 
 ### Miscellaneous Tasks

diff --git a/glucose/Cargo.toml b/glucose/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-glucose"
-version = "0.3.6"
+version = "0.3.7"
 edition.workspace = true
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 license.workspace = true

diff --git a/ipasir/CHANGELOG.md b/ipasir/CHANGELOG.md
@@ -2,6 +2,13 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.1.7] - 2025-02-25
+
+### Miscellaneous Tasks
+
+- Update Cargo.toml dependencies
+
+<!-- generated by git-cliff -->
 ## [0.1.6] - 2025-02-18
 
 ### Miscellaneous Tasks

diff --git a/ipasir/Cargo.toml b/ipasir/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-ipasir"
-version = "0.1.6"
+version = "0.1.7"
 edition.workspace = true
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 license.workspace = true