From a9f0b21551b8d09aecdff822b70ec2c4a0113fc5 Mon Sep 17 00:00:00 2001 From: "rustsat-release-plz-bot[bot]" <174992831+rustsat-release-plz-bot[bot]@users.noreply.github.com> Date: Fri, 27 Dec 2024 00:40:47 +0000 Subject: [PATCH] chore: release --- CHANGELOG.md | 9 +++++++++ Cargo.lock | 24 ++++++++++++------------ Cargo.toml | 8 ++++---- batsat/CHANGELOG.md | 7 +++++++ batsat/Cargo.toml | 2 +- cadical/CHANGELOG.md | 7 +++++++ cadical/Cargo.toml | 2 +- glucose/CHANGELOG.md | 7 +++++++ glucose/Cargo.toml | 2 +- ipasir/CHANGELOG.md | 7 +++++++ ipasir/Cargo.toml | 2 +- kissat/CHANGELOG.md | 7 +++++++ kissat/Cargo.toml | 2 +- minisat/CHANGELOG.md | 7 +++++++ minisat/Cargo.toml | 2 +- tools/CHANGELOG.md | 7 +++++++ tools/Cargo.toml | 2 +- 17 files changed, 81 insertions(+), 23 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 7d0ab25d..7f70a274 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,6 +2,15 @@ All notable changes to this project will be documented in this file. +## [0.6.4] - 2024-12-27 + +### Bug Fixes + +- Update patch updates (#219) +- Update rust crate quote to v1.0.38 (#222) +- Update rust crate syn to v2.0.92 (#223) + + ## [0.6.3] - 2024-12-20 ### Miscellaneous Tasks diff --git a/Cargo.lock b/Cargo.lock index 7827abbb..31553bc6 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -1244,7 +1244,7 @@ dependencies = [ [[package]] name = "rustsat" -version = "0.6.3" +version = "0.6.4" dependencies = [ "anyhow", "bzip2", @@ -1265,7 +1265,7 @@ dependencies = [ [[package]] name = "rustsat-batsat" -version = "0.1.2" +version = "0.1.3" dependencies = [ "anyhow", "batsat", @@ -1277,7 +1277,7 @@ dependencies = [ [[package]] name = "rustsat-cadical" -version = "0.4.3" +version = "0.4.4" dependencies = [ "anyhow", "bindgen", @@ -1304,7 +1304,7 @@ dependencies = [ [[package]] name = "rustsat-glucose" -version = "0.3.5" +version = "0.3.6" dependencies = [ "anyhow", "bindgen", @@ -1317,7 +1317,7 @@ dependencies = [ [[package]] name = "rustsat-ipasir" -version = "0.1.5" +version = "0.1.6" dependencies = [ "anyhow", "cpu-time", @@ -1327,7 +1327,7 @@ dependencies = [ [[package]] name = "rustsat-kissat" -version = "0.3.3" +version = "0.3.4" dependencies = [ "anyhow", "bindgen", @@ -1345,7 +1345,7 @@ dependencies = [ [[package]] name = "rustsat-minisat" -version = "0.4.3" +version = "0.4.4" dependencies = [ "anyhow", "bindgen", @@ -1379,7 +1379,7 @@ dependencies = [ [[package]] name = "rustsat-tools" -version = "0.4.3" +version = "0.4.4" dependencies = [ "anyhow", "atty", @@ -1397,9 +1397,9 @@ dependencies = [ [[package]] name = "rustversion" -version = "1.0.18" +version = "1.0.19" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "0e819f2bc632f285be6d7cd36e25940d45b2391dd6d9b939e79de557f7014248" +checksum = "f7c45b9784283f1b2e7fb61b42047c2fd678ef0960d4f6f1eba131594cc369d4" [[package]] name = "ryu" @@ -1447,9 +1447,9 @@ dependencies = [ [[package]] name = "serde_json" -version = "1.0.133" +version = "1.0.134" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c7fceb2473b9166b2294ef05efcb65a3db80803f0b03ef86a5fc88a2b85ee377" +checksum = "d00f4175c42ee48b15416f6193a959ba3a0d67fc699a0db9ad12df9f83991c7d" dependencies = [ "itoa", "memchr", diff --git a/Cargo.toml b/Cargo.toml index 612c763a..a3c87cf2 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -40,9 +40,9 @@ thiserror = "2.0.9" rand = "0.8.5" rand_chacha = "0.3.1" rustc-hash = "2.1.0" -rustsat = { version = "0.6.3", path = "./", default-features = false } -rustsat-cadical = { version = "0.4.3", path = "./cadical" } -rustsat-minisat = { version = "0.4.3", path = "./minisat" } +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-solvertests = { path = "./solvertests" } signal-hook = "0.3.17" tempfile = "3.14.0" @@ -51,7 +51,7 @@ xz2 = "0.1.7" [package] name = "rustsat" -version = "0.6.3" +version = "0.6.4" edition.workspace = true authors = ["Christoph Jabs "] license.workspace = true diff --git a/batsat/CHANGELOG.md b/batsat/CHANGELOG.md index 53e48628..004c8ab6 100644 --- 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.3] - 2024-12-27 + +### Miscellaneous Tasks + +- Update Cargo.toml dependencies + + ## [0.1.2] - 2024-12-20 ### Miscellaneous Tasks diff --git a/batsat/Cargo.toml b/batsat/Cargo.toml index d70bc2c5..a207b8a3 100644 --- a/batsat/Cargo.toml +++ b/batsat/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-batsat" -version = "0.1.2" +version = "0.1.3" edition = "2021" authors = ["Noah Bruns "] license = "MIT" diff --git a/cadical/CHANGELOG.md b/cadical/CHANGELOG.md index 7152ea2f..5655fb88 100644 --- a/cadical/CHANGELOG.md +++ b/cadical/CHANGELOG.md @@ -2,6 +2,13 @@ All notable changes to this project will be documented in this file. +## [0.4.4] - 2024-12-27 + +### Miscellaneous Tasks + +- Update Cargo.toml dependencies + + ## [0.4.3] - 2024-12-20 ### Features diff --git a/cadical/Cargo.toml b/cadical/Cargo.toml index fce11922..f559b955 100644 --- a/cadical/Cargo.toml +++ b/cadical/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-cadical" -version = "0.4.3" +version = "0.4.4" edition.workspace = true authors = ["Christoph Jabs "] license.workspace = true diff --git a/glucose/CHANGELOG.md b/glucose/CHANGELOG.md index e6546602..9402b1a3 100644 --- a/glucose/CHANGELOG.md +++ b/glucose/CHANGELOG.md @@ -2,6 +2,13 @@ All notable changes to this project will be documented in this file. +## [0.3.6] - 2024-12-27 + +### Miscellaneous Tasks + +- Update Cargo.toml dependencies + + ## [0.3.5] - 2024-12-20 ### Miscellaneous Tasks diff --git a/glucose/Cargo.toml b/glucose/Cargo.toml index 04e2bc9f..379333f2 100644 --- a/glucose/Cargo.toml +++ b/glucose/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-glucose" -version = "0.3.5" +version = "0.3.6" edition.workspace = true authors = ["Christoph Jabs "] license.workspace = true diff --git a/ipasir/CHANGELOG.md b/ipasir/CHANGELOG.md index 0adcb1d3..ba2b30d4 100644 --- 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.6] - 2024-12-27 + +### Miscellaneous Tasks + +- Update Cargo.toml dependencies + + ## [0.1.5] - 2024-12-20 ### Miscellaneous Tasks diff --git a/ipasir/Cargo.toml b/ipasir/Cargo.toml index 09fcbaed..c6727b07 100644 --- a/ipasir/Cargo.toml +++ b/ipasir/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-ipasir" -version = "0.1.5" +version = "0.1.6" edition.workspace = true authors = ["Christoph Jabs "] license.workspace = true diff --git a/kissat/CHANGELOG.md b/kissat/CHANGELOG.md index 5309a6ef..236624ce 100644 --- a/kissat/CHANGELOG.md +++ b/kissat/CHANGELOG.md @@ -2,6 +2,13 @@ All notable changes to this project will be documented in this file. +## [0.3.4] - 2024-12-27 + +### Miscellaneous Tasks + +- Update Cargo.toml dependencies + + ## [0.3.3] - 2024-12-20 ### Miscellaneous Tasks diff --git a/kissat/Cargo.toml b/kissat/Cargo.toml index 6e49e676..4ce2b362 100644 --- a/kissat/Cargo.toml +++ b/kissat/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-kissat" -version = "0.3.3" +version = "0.3.4" edition.workspace = true authors = ["Christoph Jabs "] license.workspace = true diff --git a/minisat/CHANGELOG.md b/minisat/CHANGELOG.md index 4fc9e772..99544850 100644 --- a/minisat/CHANGELOG.md +++ b/minisat/CHANGELOG.md @@ -2,6 +2,13 @@ All notable changes to this project will be documented in this file. +## [0.4.4] - 2024-12-27 + +### Miscellaneous Tasks + +- Update Cargo.toml dependencies + + ## [0.4.3] - 2024-12-20 ### Miscellaneous Tasks diff --git a/minisat/Cargo.toml b/minisat/Cargo.toml index 0d46b4c4..eaef4999 100644 --- a/minisat/Cargo.toml +++ b/minisat/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-minisat" -version = "0.4.3" +version = "0.4.4" edition.workspace = true authors = ["Christoph Jabs "] license.workspace = true diff --git a/tools/CHANGELOG.md b/tools/CHANGELOG.md index 956ba11a..c993f709 100644 --- a/tools/CHANGELOG.md +++ b/tools/CHANGELOG.md @@ -2,6 +2,13 @@ All notable changes to this project will be documented in this file. +## [0.4.4] - 2024-12-27 + +### Miscellaneous Tasks + +- Update Cargo.toml dependencies + + ## [0.4.3] - 2024-12-20 ### Miscellaneous Tasks diff --git a/tools/Cargo.toml b/tools/Cargo.toml index 7ec2e1ff..4dcab720 100644 --- a/tools/Cargo.toml +++ b/tools/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-tools" -version = "0.4.3" +version = "0.4.4" edition.workspace = true authors = ["Christoph Jabs "] license.workspace = true