From ecb6d694535e22cb5d9816388d235c3edcb29c22 Mon Sep 17 00:00:00 2001 From: "rustsat-release-plz-bot[bot]" <174992831+rustsat-release-plz-bot[bot]@users.noreply.github.com> Date: Mon, 10 Mar 2025 09:28:06 +0000 Subject: [PATCH] chore: release --- CHANGELOG.md | 14 +++ Cargo.lock | 166 +++++++++++---------------- Cargo.toml | 8 +- batsat/CHANGELOG.md | 7 ++ batsat/Cargo.toml | 2 +- cadical/CHANGELOG.md | 16 +++ cadical/Cargo.toml | 2 +- cadical/cppsrc/test/api/makefile | 3 - cadical/cppsrc/test/cnf/makefile | 3 - cadical/cppsrc/test/contrib/makefile | 3 - cadical/cppsrc/test/icnf/makefile | 3 - cadical/cppsrc/test/makefile | 16 --- cadical/cppsrc/test/mbt/makefile | 3 - cadical/cppsrc/test/trace/makefile | 3 - cadical/cppsrc/test/usage/makefile | 3 - glucose/CHANGELOG.md | 8 ++ glucose/Cargo.toml | 2 +- ipasir/CHANGELOG.md | 7 ++ ipasir/Cargo.toml | 2 +- kissat/CHANGELOG.md | 7 ++ kissat/Cargo.toml | 2 +- kissat/csrc/test/big/makefile | 4 - kissat/csrc/test/makefile | 9 -- minisat/CHANGELOG.md | 8 ++ minisat/Cargo.toml | 2 +- tools/CHANGELOG.md | 12 ++ tools/Cargo.toml | 2 +- 27 files changed, 159 insertions(+), 158 deletions(-) delete mode 100644 cadical/cppsrc/test/api/makefile delete mode 100644 cadical/cppsrc/test/cnf/makefile delete mode 100644 cadical/cppsrc/test/contrib/makefile delete mode 100644 cadical/cppsrc/test/icnf/makefile delete mode 100644 cadical/cppsrc/test/makefile delete mode 100644 cadical/cppsrc/test/mbt/makefile delete mode 100644 cadical/cppsrc/test/trace/makefile delete mode 100644 cadical/cppsrc/test/usage/makefile delete mode 100644 kissat/csrc/test/big/makefile delete mode 100644 kissat/csrc/test/makefile diff --git a/CHANGELOG.md b/CHANGELOG.md index de5375b5..9be042c9 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.5] - 2025-03-10 + +### Bug Fixes + +- Update patch updates to 0.23.5 (#288) +- Update patch updates (#291) +- Update rust crate syn to v2.0.100 (#298) + +### Miscellaneous Tasks + +- Cargo fmt +- Cargo clippy + + ## [0.6.4] - 2025-02-18 ### Features diff --git a/Cargo.lock b/Cargo.lock index 817fee4b..e37806a5 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -123,7 +123,7 @@ version = "0.71.1" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "5f58bf3d7db68cfbac37cfc485a8d711e87e064c3d0fe0435b92f7a407f9d6b3" dependencies = [ - "bitflags 2.8.0", + "bitflags 2.9.0", "cexpr", "clang-sys", "itertools 0.13.0", @@ -151,9 +151,9 @@ checksum = "bef38d45163c2f1dde094a7dfd33ccf595c92905c8f8f4fdc18d06fb1037718a" [[package]] name = "bitflags" -version = "2.8.0" +version = "2.9.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "8f68f53c83ab957f72c32642f3868eec03eb974d1fb82e453128456482613d36" +checksum = "5c8214115b7bf84099f1309324e63141d4c5d7cc26862f97a0a857dbefe165bd" [[package]] name = "bstr" @@ -172,12 +172,6 @@ version = "3.17.0" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "1628fb46dfa0b37568d12e5edd512553eccf6a22a78e8bde00bb4aed84d5bdbf" -[[package]] -name = "byteorder" -version = "1.5.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "1fd0f2584146f6f2ef48085050886acf353beff7305ebd1ae69500e27c67f64b" - [[package]] name = "bzip2" version = "0.5.2" @@ -402,9 +396,9 @@ checksum = "fea41bba32d969b513997752735605054bc0dfa92b4c56bf1189f2e174be7a10" [[package]] name = "either" -version = "1.13.0" +version = "1.15.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "60b1af1c220855b6ceac025d3f6ecdd2b7c4894bfe9cd9bda4fbb4bc7c0d4cf0" +checksum = "48c757948c5ede0e46177b7add2e67155f70e33c07fea8284df6576da70b3719" [[package]] name = "equivalent" @@ -475,7 +469,7 @@ version = "0.20.0" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "3fda788993cc341f69012feba8bf45c0ba4f3291fcc08e214b4d5a7332d88aff" dependencies = [ - "bitflags 2.8.0", + "bitflags 2.9.0", "libc", "libgit2-sys", "log", @@ -510,9 +504,9 @@ checksum = "2304e00983f87ffb38b55b444b5e3b60a884b5d30c0fca7d82fe33449bbe55ea" [[package]] name = "hermit-abi" -version = "0.4.0" +version = "0.5.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "fbf6a919d6cf397374f7dfeeea91d974c7c0a7221d0d0f4f20d859d329e53fcc" +checksum = "fbd780fe5cc30f81464441920d82ac8740e2e46b29a6fad543ddd075229ce37e" [[package]] name = "iana-time-zone" @@ -688,9 +682,9 @@ dependencies = [ [[package]] name = "indoc" -version = "2.0.5" +version = "2.0.6" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "b248f5224d1d606005e02c97f5aa4e88eeb230488bcc03bc9ca4d7991399f2b5" +checksum = "f4c7245a08504955605670dbf141fceab975f15ca21570696aebe9d2e71576bd" [[package]] name = "inline-c" @@ -722,18 +716,18 @@ dependencies = [ [[package]] name = "inventory" -version = "0.3.19" +version = "0.3.20" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "54b12ebb6799019b044deaf431eadfe23245b259bba5a2c0796acec3943a3cdb" +checksum = "ab08d7cd2c5897f2c949e5383ea7c7db03fb19130ffcfbf7eda795137ae3cb83" dependencies = [ "rustversion", ] [[package]] name = "is-terminal" -version = "0.4.15" +version = "0.4.16" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e19b23d53f35ce9f56aebc7d1bb4e6ac1e9c0db7ac85c8d1760c04379edced37" +checksum = "e04d7f318608d35d4b61ddd75cbdaee86b023ebe2bd5a66ee0915f0bf93095a9" dependencies = [ "hermit-abi", "libc", @@ -775,9 +769,9 @@ dependencies = [ [[package]] name = "itoa" -version = "1.0.14" +version = "1.0.15" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d75a2a4b1b190afb6f5425f10f6a8f959d2ea0b9c2b1d79553551850539e4674" +checksum = "4a5f13b858c8d314ee3e8f639011f7ccefe71f97f96e50151fb991f267928e2c" [[package]] name = "jobserver" @@ -806,9 +800,9 @@ checksum = "bbd2bcb4c963f2ddae06a2efc7e9f3591312473c50c6685e1f298068316e66fe" [[package]] name = "libc" -version = "0.2.169" +version = "0.2.170" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "b5aba8db14291edd000dfcc4d620c7ebfb122c613afb886ca8803fa4e128a20a" +checksum = "875b3680cb2f8f71bdcf9a30f38d48282f5d3c95cbf9b3fa57269bb5d5c06828" [[package]] name = "libgit2-sys" @@ -878,15 +872,15 @@ checksum = "6db9c683daf087dc577b7506e9695b3d556a9f3849903fa28186283afd6809e9" [[package]] name = "litemap" -version = "0.7.4" +version = "0.7.5" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "4ee93343901ab17bd981295f2cf0026d4ad018c7c31ba84549a4ddbb47a45104" +checksum = "23fb14cb19457329c82206317a5663005a4d404783dc74f4252769b0d5f42856" [[package]] name = "log" -version = "0.4.25" +version = "0.4.26" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "04cbf5b083de1c7e0222a7a51dbfdba1cbe1c6ab0b15e29fff3f6c077fd9cd9f" +checksum = "30bde2b3dc3671ae49d8e2e9f044c7c005836e7a023ee57cffa25ab82764bb9e" [[package]] name = "lzma-sys" @@ -922,9 +916,9 @@ checksum = "68354c5c6bd36d73ff3feceb05efa59b6acb7626617f4962be322a825e61f79a" [[package]] name = "miniz_oxide" -version = "0.8.4" +version = "0.8.5" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "b3b1c9bd4fe1f0f8b387f6eb9eb3b4a1aa26185e5750efb9140301703f62cd1b" +checksum = "8e3e04debbb59698c15bacbb6d93584a8c0ca9cc3213cb423d31f760d8843ce5" dependencies = [ "adler2", ] @@ -997,23 +991,23 @@ dependencies = [ [[package]] name = "pkg-config" -version = "0.3.31" +version = "0.3.32" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "953ec861398dccce10c670dfeaf3ec4911ca479e9c02154b3a215178c5f566f2" +checksum = "7edddbd0b52d732b21ad9a5fab5c704c14cd949e5e9a1ec5929a24fded1b904c" [[package]] name = "portable-atomic" -version = "1.10.0" +version = "1.11.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "280dc24453071f1b63954171985a0b0d30058d287960968b9b2aca264c8d4ee6" +checksum = "350e9b48cbc6b0e028b0473b114454c6316e57336ee184ceab6e53f72c178b3e" [[package]] name = "ppv-lite86" -version = "0.2.20" +version = "0.2.21" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "77957b295656769bb8ad2b6a6b09d897d94f05c41b069aede1fcdaa675eaea04" +checksum = "85eae3c4ed2f50dcfe72643da4befc30deadb458a9b590d720cde2f2b1e97da9" dependencies = [ - "zerocopy 0.7.35", + "zerocopy", ] [[package]] @@ -1048,9 +1042,9 @@ dependencies = [ [[package]] name = "prettyplease" -version = "0.2.29" +version = "0.2.30" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "6924ced06e1f7dfe3fa48d57b9f74f55d8915f5036121bef647ef4b204895fac" +checksum = "f1ccf34da56fc294e7d4ccf69a85992b7dfb826b7cf57bac6a70bba3494cc08a" dependencies = [ "proc-macro2", "syn", @@ -1146,7 +1140,7 @@ checksum = "3779b94aeb87e8bd4e834cee3650289ee9e0d5677f976ecdb6d219e5f4f6cd94" dependencies = [ "rand_chacha", "rand_core", - "zerocopy 0.8.18", + "zerocopy", ] [[package]] @@ -1161,12 +1155,11 @@ dependencies = [ [[package]] name = "rand_core" -version = "0.9.1" +version = "0.9.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a88e0da7a2c97baa202165137c158d0a2e824ac465d13d81046727b34cb247d3" +checksum = "99d9a13982dcf210057a8a78572b2217b667c3beacbf3a0d8b454f6f82837d38" dependencies = [ "getrandom", - "zerocopy 0.8.18", ] [[package]] @@ -1221,11 +1214,11 @@ dependencies = [ [[package]] name = "rustix" -version = "1.0.0" +version = "1.0.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "17f8dcd64f141950290e45c99f7710ede1b600297c91818bb30b3667c0f45dc0" +checksum = "dade4812df5c384711475be5fcd8c162555352945401aed22a35bffeab61f657" dependencies = [ - "bitflags 2.8.0", + "bitflags 2.9.0", "errno", "libc", "linux-raw-sys", @@ -1234,7 +1227,7 @@ dependencies = [ [[package]] name = "rustsat" -version = "0.6.4" +version = "0.6.5" dependencies = [ "anyhow", "bzip2", @@ -1256,7 +1249,7 @@ dependencies = [ [[package]] name = "rustsat-batsat" -version = "0.1.3" +version = "0.1.4" dependencies = [ "anyhow", "batsat", @@ -1268,7 +1261,7 @@ dependencies = [ [[package]] name = "rustsat-cadical" -version = "0.4.4" +version = "0.4.5" dependencies = [ "anyhow", "bindgen", @@ -1295,7 +1288,7 @@ dependencies = [ [[package]] name = "rustsat-glucose" -version = "0.3.6" +version = "0.3.7" dependencies = [ "anyhow", "bindgen", @@ -1308,7 +1301,7 @@ dependencies = [ [[package]] name = "rustsat-ipasir" -version = "0.1.6" +version = "0.1.7" dependencies = [ "anyhow", "cpu-time", @@ -1318,7 +1311,7 @@ dependencies = [ [[package]] name = "rustsat-kissat" -version = "0.3.4" +version = "0.3.5" dependencies = [ "anyhow", "bindgen", @@ -1336,7 +1329,7 @@ dependencies = [ [[package]] name = "rustsat-minisat" -version = "0.4.4" +version = "0.4.5" dependencies = [ "anyhow", "bindgen", @@ -1370,7 +1363,7 @@ dependencies = [ [[package]] name = "rustsat-tools" -version = "0.4.4" +version = "0.4.5" dependencies = [ "anyhow", "clap", @@ -1387,15 +1380,15 @@ dependencies = [ [[package]] name = "rustversion" -version = "1.0.19" +version = "1.0.20" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "f7c45b9784283f1b2e7fb61b42047c2fd678ef0960d4f6f1eba131594cc369d4" +checksum = "eded382c5f5f786b989652c49544c4877d9f015cc22e145a5ea8ea66c2921cd2" [[package]] name = "ryu" -version = "1.0.19" +version = "1.0.20" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "6ea1a2d0a644769cc99faa24c3ad26b379b786fe7c36fd3c546254801650e6dd" +checksum = "28d3b2b1366ec20994f1fd18c3c594f05c5dd4bc44d8bb0c1c632c8d6829481f" [[package]] name = "semver" @@ -1437,9 +1430,9 @@ dependencies = [ [[package]] name = "serde_json" -version = "1.0.138" +version = "1.0.140" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d434192e7da787e94a6ea7e9670b26a036d0ca41e0b7efb2676dd32bae872949" +checksum = "20068b6e96dc6c9bd23e01df8827e6c7e1f2fddd43c21810382803c136b99373" dependencies = [ "itoa", "memchr", @@ -1634,15 +1627,15 @@ checksum = "2896d95c02a80c6d6a5d6e953d479f5ddf2dfdb6a244441010e373ac0fb88971" [[package]] name = "unicode-ident" -version = "1.0.16" +version = "1.0.18" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a210d160f08b701c8721ba1c726c11662f877ea6b7094007e1ca9a1041945034" +checksum = "5a5f39404a5da50712a4c1eecf25e90dd62b613502b7e925fd4e4d19b5c96512" [[package]] name = "unindent" -version = "0.2.3" +version = "0.2.4" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c7de7d73e1754487cb58364ee906a499937a0dfabd86bcb980fa99ec8c8fa2ce" +checksum = "7264e107f553ccae879d21fbea1d6724ac785e8c3bfc762137959b5802826ef3" [[package]] name = "url" @@ -1953,9 +1946,9 @@ checksum = "589f6da84c646204747d1270a2a5661ea66ed1cced2631d546fdfb155959f9ec" [[package]] name = "winnow" -version = "0.7.2" +version = "0.7.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "59690dea168f2198d1a3b0cac23b8063efcd11012f10ae4698f284808c8ef603" +checksum = "0e7f4ea97f6f78012141bcdb6a216b2609f0979ada50b20ca5b52dde2eac2bb1" dependencies = [ "memchr", ] @@ -1966,7 +1959,7 @@ version = "0.33.0" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "3268f3d866458b787f390cf61f4bbb563b922d091359f9608842999eaee3943c" dependencies = [ - "bitflags 2.8.0", + "bitflags 2.9.0", ] [[package]] @@ -2016,39 +2009,18 @@ dependencies = [ [[package]] name = "zerocopy" -version = "0.7.35" +version = "0.8.23" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "1b9b4fd18abc82b8136838da5d50bae7bdea537c574d8dc1a34ed098d6c166f0" +checksum = "fd97444d05a4328b90e75e503a34bad781f14e28a823ad3557f0750df1ebcbc6" dependencies = [ - "byteorder", - "zerocopy-derive 0.7.35", -] - -[[package]] -name = "zerocopy" -version = "0.8.18" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "79386d31a42a4996e3336b0919ddb90f81112af416270cff95b5f5af22b839c2" -dependencies = [ - "zerocopy-derive 0.8.18", -] - -[[package]] -name = "zerocopy-derive" -version = "0.7.35" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "fa4f8080344d4671fb4e831a13ad1e68092748387dfc4f55e356242fae12ce3e" -dependencies = [ - "proc-macro2", - "quote", - "syn", + "zerocopy-derive", ] [[package]] name = "zerocopy-derive" -version = "0.8.18" +version = "0.8.23" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "76331675d372f91bf8d17e13afbd5fe639200b73d01f0fc748bb059f9cca2db7" +checksum = "6352c01d0edd5db859a63e2605f4ea3183ddbd15e2c4a9e7d32184df75e4f154" dependencies = [ "proc-macro2", "quote", @@ -2057,18 +2029,18 @@ dependencies = [ [[package]] name = "zerofrom" -version = "0.1.5" +version = "0.1.6" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "cff3ee08c995dee1859d998dea82f7374f2826091dd9cd47def953cae446cd2e" +checksum = "50cc42e0333e05660c3587f3bf9d0478688e15d870fab3346451ce7f8c9fbea5" dependencies = [ "zerofrom-derive", ] [[package]] name = "zerofrom-derive" -version = "0.1.5" +version = "0.1.6" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "595eed982f7d355beb85837f651fa22e90b3c044842dc7f2c2842c086f295808" +checksum = "d71e5d6e06ab090c67b5e44993ec16b72dcbaabc526db883a360057678b48502" dependencies = [ "proc-macro2", "quote", diff --git a/Cargo.toml b/Cargo.toml index 96212483..3daa55dc 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -39,9 +39,9 @@ thiserror = "2.0.12" 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.219", 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 "] license.workspace = true diff --git a/batsat/CHANGELOG.md b/batsat/CHANGELOG.md index 5ae08e7f..e1f5f502 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.4] - 2025-03-10 + +### Miscellaneous Tasks + +- Update Cargo.toml dependencies + + ## [0.1.3] - 2025-02-18 ### Features diff --git a/batsat/Cargo.toml b/batsat/Cargo.toml index 56204127..8a142da8 100644 --- 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 "] license = "MIT" diff --git a/cadical/CHANGELOG.md b/cadical/CHANGELOG.md index bb977072..c6ec4aa1 100644 --- 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-03-10 + +### 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 + + ## [0.4.4] - 2025-02-18 ### Features diff --git a/cadical/Cargo.toml b/cadical/Cargo.toml index 636733ef..17d5963f 100644 --- 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 "] license.workspace = true diff --git a/cadical/cppsrc/test/api/makefile b/cadical/cppsrc/test/api/makefile deleted file mode 100644 index 9c4f4dec..00000000 --- a/cadical/cppsrc/test/api/makefile +++ /dev/null @@ -1,3 +0,0 @@ -# compile and execute with a single 'make' the API tests in '../../build' -test: - $(MAKE) -C .. api diff --git a/cadical/cppsrc/test/cnf/makefile b/cadical/cppsrc/test/cnf/makefile deleted file mode 100644 index 370c9ebe..00000000 --- a/cadical/cppsrc/test/cnf/makefile +++ /dev/null @@ -1,3 +0,0 @@ -# execute CNF tests with a single 'make' command in '../../build' -test: - $(MAKE) -C .. cnf diff --git a/cadical/cppsrc/test/contrib/makefile b/cadical/cppsrc/test/contrib/makefile deleted file mode 100644 index 89d02666..00000000 --- a/cadical/cppsrc/test/contrib/makefile +++ /dev/null @@ -1,3 +0,0 @@ -# compile and execute with a single 'make' the contrib tests in '../../build' -test: - $(MAKE) -C .. contrib diff --git a/cadical/cppsrc/test/icnf/makefile b/cadical/cppsrc/test/icnf/makefile deleted file mode 100644 index 5fc6b062..00000000 --- a/cadical/cppsrc/test/icnf/makefile +++ /dev/null @@ -1,3 +0,0 @@ -# execute ICNF tests with a single 'make' command in '../../build' -test: - $(MAKE) -C .. icnf diff --git a/cadical/cppsrc/test/makefile b/cadical/cppsrc/test/makefile deleted file mode 100644 index ae0a7490..00000000 --- a/cadical/cppsrc/test/makefile +++ /dev/null @@ -1,16 +0,0 @@ -test: usage trace api cnf icnf mbt contrib -api: - @api/run.sh -cnf: - @cnf/run.sh -icnf: - @icnf/run.sh -mbt: - @mbt/run.sh -trace: - @trace/run.sh -usage: - @usage/run.sh -contrib: - @contrib/run.sh -.PHONY: test api cnf icnf mbt trace usage contrib diff --git a/cadical/cppsrc/test/mbt/makefile b/cadical/cppsrc/test/mbt/makefile deleted file mode 100644 index ccbb0f1b..00000000 --- a/cadical/cppsrc/test/mbt/makefile +++ /dev/null @@ -1,3 +0,0 @@ -# run a fixed number of the model based testing rounds with a single 'make' -test: - $(MAKE) -C .. mbt diff --git a/cadical/cppsrc/test/trace/makefile b/cadical/cppsrc/test/trace/makefile deleted file mode 100644 index 3f94d33c..00000000 --- a/cadical/cppsrc/test/trace/makefile +++ /dev/null @@ -1,3 +0,0 @@ -# run the regression traces with a single 'make' call -test: - $(MAKE) -C .. trace diff --git a/cadical/cppsrc/test/usage/makefile b/cadical/cppsrc/test/usage/makefile deleted file mode 100644 index f93291c3..00000000 --- a/cadical/cppsrc/test/usage/makefile +++ /dev/null @@ -1,3 +0,0 @@ -# execute usage tests with a single 'make' command in '../../build' -test: - $(MAKE) -C .. usage diff --git a/glucose/CHANGELOG.md b/glucose/CHANGELOG.md index c1f4c440..9a190402 100644 --- 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-03-10 + +### Miscellaneous Tasks + +- Include source as subtree +- Fix trailing whitespace + + ## [0.3.6] - 2025-02-18 ### Miscellaneous Tasks diff --git a/glucose/Cargo.toml b/glucose/Cargo.toml index 379333f2..8f74cf50 100644 --- 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 "] license.workspace = true diff --git a/ipasir/CHANGELOG.md b/ipasir/CHANGELOG.md index 052ebcb9..d8c2a18f 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.7] - 2025-03-10 + +### Miscellaneous Tasks + +- Update Cargo.toml dependencies + + ## [0.1.6] - 2025-02-18 ### Miscellaneous Tasks diff --git a/ipasir/Cargo.toml b/ipasir/Cargo.toml index c6727b07..84d19a45 100644 --- 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 "] license.workspace = true diff --git a/kissat/CHANGELOG.md b/kissat/CHANGELOG.md index f7906892..dd4f3513 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.5] - 2025-03-10 + +### Documentation + +- Details on downloading at compile time + + ## [0.3.4] - 2025-02-18 ### Features diff --git a/kissat/Cargo.toml b/kissat/Cargo.toml index 8280c186..6184b59c 100644 --- a/kissat/Cargo.toml +++ b/kissat/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-kissat" -version = "0.3.4" +version = "0.3.5" edition.workspace = true authors = ["Christoph Jabs "] license.workspace = true diff --git a/kissat/csrc/test/big/makefile b/kissat/csrc/test/big/makefile deleted file mode 100644 index 4a2a0383..00000000 --- a/kissat/csrc/test/big/makefile +++ /dev/null @@ -1,4 +0,0 @@ -all: - gcc -o genbigand genbigand.c -clean: - rm -f genbigand diff --git a/kissat/csrc/test/makefile b/kissat/csrc/test/makefile deleted file mode 100644 index bb7ebc91..00000000 --- a/kissat/csrc/test/makefile +++ /dev/null @@ -1,9 +0,0 @@ -test: - +$(MAKE) -C .. test -clean: - $(MAKE) -C .. clean -indent: - $(MAKE) -C .. indent -coverage: - $(MAKE) -C .. coverage -.PHONY: all clean coverage indent test diff --git a/minisat/CHANGELOG.md b/minisat/CHANGELOG.md index 9ccb5b8f..0cfcf15c 100644 --- a/minisat/CHANGELOG.md +++ b/minisat/CHANGELOG.md @@ -2,6 +2,14 @@ All notable changes to this project will be documented in this file. +## [0.4.5] - 2025-03-10 + +### Miscellaneous Tasks + +- Include source as subtree +- Fix trailing whitespace + + ## [0.4.4] - 2025-02-18 ### Miscellaneous Tasks diff --git a/minisat/Cargo.toml b/minisat/Cargo.toml index eaef4999..76b824f7 100644 --- a/minisat/Cargo.toml +++ b/minisat/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-minisat" -version = "0.4.4" +version = "0.4.5" edition.workspace = true authors = ["Christoph Jabs "] license.workspace = true diff --git a/tools/CHANGELOG.md b/tools/CHANGELOG.md index 8f3cd207..7c5eb5ec 100644 --- a/tools/CHANGELOG.md +++ b/tools/CHANGELOG.md @@ -2,6 +2,18 @@ All notable changes to this project will be documented in this file. +## [0.4.5] - 2025-03-10 + +### Features + +- Limit number of enumerated solutions in enumerator + +### Miscellaneous Tasks + +- Cargo clippy +- Remove variant from clustering encoding + + ## [0.4.4] - 2025-02-18 ### Features diff --git a/tools/Cargo.toml b/tools/Cargo.toml index b62ac53a..129aa2fe 100644 --- a/tools/Cargo.toml +++ b/tools/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-tools" -version = "0.4.4" +version = "0.4.5" edition.workspace = true authors = ["Christoph Jabs "] license.workspace = true