From 902a1e263aac05c61d6270e9fdd3e22ea377222a Mon Sep 17 00:00:00 2001 From: "rustsat-release-plz-bot[bot]" <174992831+rustsat-release-plz-bot[bot]@users.noreply.github.com> Date: Sat, 11 Jan 2025 23:04:11 +0000 Subject: [PATCH] chore: release --- CHANGELOG.md | 14 ++++++++ Cargo.lock | 81 ++++++++++++++++++++++++-------------------- 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, 119 insertions(+), 47 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 7d0ab25d..46281343 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,6 +2,20 @@ All notable changes to this project will be documented in this file. +## [0.6.4] - 2025-01-11 + +### Bug Fixes + +- Update patch updates (#219) +- Update rust crate quote to v1.0.38 (#222) +- Update rust crate syn to v2.0.92 (#223) +- Update rust crate syn to v2.0.93 (#225) +- Update rust crate syn to v2.0.94 (#228) +- Update rust crate syn to v2.0.95 (#231) +- Update rust crate syn to v2.0.96 (#237) +- Update patch updates (#241) + + ## [0.6.3] - 2024-12-20 ### Miscellaneous Tasks diff --git a/Cargo.lock b/Cargo.lock index 64839a0e..c3946d07 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -133,10 +133,10 @@ version = "0.71.1" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "5f58bf3d7db68cfbac37cfc485a8d711e87e064c3d0fe0435b92f7a407f9d6b3" dependencies = [ - "bitflags 2.6.0", + "bitflags 2.7.0", "cexpr", "clang-sys", - "itertools 0.10.5", + "itertools 0.13.0", "log", "prettyplease", "proc-macro2", @@ -161,9 +161,9 @@ checksum = "bef38d45163c2f1dde094a7dfd33ccf595c92905c8f8f4fdc18d06fb1037718a" [[package]] name = "bitflags" -version = "2.6.0" +version = "2.7.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "b048fb63fd8b5923fc5aa7b340d8e156aec7ec02f0c78fa8a6ddc2613f6f71de" +checksum = "1be3f42a67d6d345ecd59f675f3f012d6974981560836e938c22b424b85ce1be" [[package]] name = "bstr" @@ -486,7 +486,7 @@ version = "0.20.0" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "3fda788993cc341f69012feba8bf45c0ba4f3291fcc08e214b4d5a7332d88aff" dependencies = [ - "bitflags 2.6.0", + "bitflags 2.7.0", "libc", "libgit2-sys", "log", @@ -742,9 +742,9 @@ dependencies = [ [[package]] name = "inventory" -version = "0.3.16" +version = "0.3.17" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e5d80fade88dd420ce0d9ab6f7c58ef2272dde38db874657950f827d4982c817" +checksum = "3b31349d02fe60f80bbbab1a9402364cad7460626d6030494b08ac4a2075bf81" dependencies = [ "rustversion", ] @@ -775,6 +775,15 @@ dependencies = [ "either", ] +[[package]] +name = "itertools" +version = "0.13.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "413ee7dfc52ee1a4949ceeb7dbc8a33f2d6c088194d9f922fb8318faf1f01186" +dependencies = [ + "either", +] + [[package]] name = "itertools" version = "0.14.0" @@ -861,9 +870,9 @@ dependencies = [ [[package]] name = "libz-ng-sys" -version = "1.1.20" +version = "1.1.21" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "8f0f7295a34685977acb2e8cc8b08ee4a8dffd6cf278eeccddbe1ed55ba815d5" +checksum = "7cee1488e961a80d172564fd6fcda11d8a4ac6672c06fe008e9213fa60520c2b" dependencies = [ "cmake", "libc", @@ -871,9 +880,9 @@ dependencies = [ [[package]] name = "libz-sys" -version = "1.1.20" +version = "1.1.21" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d2d16453e800a8cf6dd2fc3eb4bc99b786a9b90c663b8559a5b1a041bf89e472" +checksum = "df9b68e50e6e0b26f672573834882eb57759f6db9b3be2ea3c35c91188bb4eaa" dependencies = [ "cc", "libc", @@ -883,9 +892,9 @@ dependencies = [ [[package]] name = "linux-raw-sys" -version = "0.4.14" +version = "0.4.15" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "78b3ae25bc7c8c38cec158d1f2757ee79e9b3740fbc7ccf0e59e4b08d793fa89" +checksum = "d26c52dbd32dccf2d10cac7725f8eae5296885fb5703b261f7d0a0739ec807ab" [[package]] name = "litemap" @@ -1059,9 +1068,9 @@ dependencies = [ [[package]] name = "prettyplease" -version = "0.2.25" +version = "0.2.27" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "64d1ec885c64d0457d564db4ec299b2dae3f9c02808b8ad9c3a089c591b18033" +checksum = "483f8c21f64f3ea09fe0f30f5d48c3e8eefe5dac9129f0075f76593b4c1da705" dependencies = [ "proc-macro2", "syn", @@ -1231,11 +1240,11 @@ dependencies = [ [[package]] name = "rustix" -version = "0.38.42" +version = "0.38.43" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "f93dc38ecbab2eb790ff964bb77fa94faf256fd3e73285fd7ba0903b76bedb85" +checksum = "a78891ee6bf2340288408954ac787aa063d8e8817e9f53abb37c695c6d834ef6" dependencies = [ - "bitflags 2.6.0", + "bitflags 2.7.0", "errno", "libc", "linux-raw-sys", @@ -1244,7 +1253,7 @@ dependencies = [ [[package]] name = "rustsat" -version = "0.6.3" +version = "0.6.4" dependencies = [ "anyhow", "bzip2", @@ -1265,7 +1274,7 @@ dependencies = [ [[package]] name = "rustsat-batsat" -version = "0.1.2" +version = "0.1.3" dependencies = [ "anyhow", "batsat", @@ -1277,7 +1286,7 @@ dependencies = [ [[package]] name = "rustsat-cadical" -version = "0.4.3" +version = "0.4.4" dependencies = [ "anyhow", "bindgen", @@ -1304,7 +1313,7 @@ dependencies = [ [[package]] name = "rustsat-glucose" -version = "0.3.5" +version = "0.3.6" dependencies = [ "anyhow", "bindgen", @@ -1317,7 +1326,7 @@ dependencies = [ [[package]] name = "rustsat-ipasir" -version = "0.1.5" +version = "0.1.6" dependencies = [ "anyhow", "cpu-time", @@ -1327,7 +1336,7 @@ dependencies = [ [[package]] name = "rustsat-kissat" -version = "0.3.3" +version = "0.3.4" dependencies = [ "anyhow", "bindgen", @@ -1345,7 +1354,7 @@ dependencies = [ [[package]] name = "rustsat-minisat" -version = "0.4.3" +version = "0.4.4" dependencies = [ "anyhow", "bindgen", @@ -1379,7 +1388,7 @@ dependencies = [ [[package]] name = "rustsat-tools" -version = "0.4.3" +version = "0.4.4" dependencies = [ "anyhow", "atty", @@ -1397,9 +1406,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" @@ -1427,18 +1436,18 @@ dependencies = [ [[package]] name = "serde" -version = "1.0.216" +version = "1.0.217" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "0b9781016e935a97e8beecf0c933758c97a5520d32930e460142b4cd80c6338e" +checksum = "02fc4265df13d6fa1d00ecff087228cc0a2b5f3c0e87e258d8b94a156e984c70" dependencies = [ "serde_derive", ] [[package]] name = "serde_derive" -version = "1.0.216" +version = "1.0.217" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "46f859dbbf73865c6627ed570e78961cd3ac92407a2d117204c49232485da55e" +checksum = "5a9bf7cf98d04a2b28aead066b7496853d4779c9cc183c440dbac457641e19a0" dependencies = [ "proc-macro2", "quote", @@ -1447,9 +1456,9 @@ dependencies = [ [[package]] name = "serde_json" -version = "1.0.133" +version = "1.0.135" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c7fceb2473b9166b2294ef05efcb65a3db80803f0b03ef86a5fc88a2b85ee377" +checksum = "2b0d7ba2887406110130a978386c4e1befb98c674b4fba677954e4db976630d9" dependencies = [ "itoa", "memchr", @@ -1959,9 +1968,9 @@ checksum = "589f6da84c646204747d1270a2a5661ea66ed1cced2631d546fdfb155959f9ec" [[package]] name = "winnow" -version = "0.6.20" +version = "0.6.24" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "36c1fec1a2bb5866f07c25f68c26e565c4c200aebb96d7e55710c19d3e8ac49b" +checksum = "c8d71a593cc5c42ad7876e2c1fda56f314f3754c084128833e64f1345ff8a03a" dependencies = [ "memchr", ] diff --git a/Cargo.toml b/Cargo.toml index d72557ab..d20e0397 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -40,9 +40,9 @@ thiserror = "2.0.11" 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.15.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..03d65750 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] - 2025-01-11 + +### 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..653ba197 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] - 2025-01-11 + +### 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..daef2b0a 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] - 2025-01-11 + +### 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..bd1937c4 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] - 2025-01-11 + +### 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..6b9ad4ac 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] - 2025-01-11 + +### 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..3a689bd8 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] - 2025-01-11 + +### 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..0ba7bee2 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] - 2025-01-11 + +### 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