From 19a5a5274b8c51770afabdc86a45c6ca07998118 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, 17 Oct 2025 12:16:53 +0000 Subject: [PATCH 1/6] chore: release --- CHANGELOG.md | 8 + Cargo.lock | 338 ++++++++++++++++++++++--------------------- Cargo.toml | 10 +- batsat/CHANGELOG.md | 16 ++ cadical/CHANGELOG.md | 18 +++ glucose/CHANGELOG.md | 20 +++ ipasir/CHANGELOG.md | 16 ++ kissat/CHANGELOG.md | 20 +++ minisat/CHANGELOG.md | 20 +++ pigeons/CHANGELOG.md | 12 ++ pigeons/Cargo.toml | 2 +- tools/CHANGELOG.md | 13 ++ 12 files changed, 319 insertions(+), 174 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index ca0b9a6d..e942429a 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,6 +2,14 @@ All notable changes to this project will be documented in this file. +## 0.8.0 - 2025-10-17 + +### Features + +- `AsRef` for `[Lit; N]`, `Vec`, and `Cl` ([#499](https://github.com/chrjabs/rustsat/pull/499)) ([6a4fe5b](6a4fe5ba9d2d3357d32d5e0224d0ca3f62f412f1)) + + + ## 0.7.3 - 2025-08-07 ### Bug Fixes diff --git a/Cargo.lock b/Cargo.lock index 9d4b955b..41632f6c 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -28,9 +28,9 @@ dependencies = [ [[package]] name = "anstream" -version = "0.6.20" +version = "0.6.21" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3ae563653d1938f79b1ab1b5e668c87c76a9930414574a6583a7b7e11a8e6192" +checksum = "43d5b281e737544384e969a5ccad3f1cdd24b48086a0fc1b2a5262a26b8f4f4a" dependencies = [ "anstyle", "anstyle-parse", @@ -43,9 +43,9 @@ dependencies = [ [[package]] name = "anstyle" -version = "1.0.11" +version = "1.0.13" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "862ed96ca487e809f1c8e5a8447f6ee2cf102f846893800b20cebdf541fc6bbd" +checksum = "5192cca8006f1fd4f7237516f40fa183bb07f8fbdfedaa0036de5ea9b0b45e78" [[package]] name = "anstyle-parse" @@ -103,7 +103,7 @@ version = "0.72.1" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "993776b509cfb49c750f11b8f07a46fa23e0a1386ffc01fb1e7d343efc387895" dependencies = [ - "bitflags 2.9.1", + "bitflags 2.9.4", "cexpr", "clang-sys", "itertools 0.13.0", @@ -129,9 +129,9 @@ checksum = "bef38d45163c2f1dde094a7dfd33ccf595c92905c8f8f4fdc18d06fb1037718a" [[package]] name = "bitflags" -version = "2.9.1" +version = "2.9.4" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "1b8e56985ec62d17e9c1001dc89c88ecd7dc08e47eba5ec7c29c7b5eeecde967" +checksum = "2261d10cca569e4643e526d8dc2e62e433cc8aba21ab764233731f8d369bf394" [[package]] name = "bumpalo" @@ -200,9 +200,9 @@ dependencies = [ [[package]] name = "cfg-if" -version = "1.0.1" +version = "1.0.4" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "9555578bc9e57714c812a1f84e4fc5b4d21fcb063490c624de019f7464c91268" +checksum = "9330f8b2ff13f34540b44e946ef35111825727b38d33286ef986142615121801" [[package]] name = "chrono" @@ -214,7 +214,7 @@ dependencies = [ "js-sys", "num-traits", "wasm-bindgen", - "windows-link 0.2.0", + "windows-link", ] [[package]] @@ -230,9 +230,9 @@ dependencies = [ [[package]] name = "clap" -version = "4.5.48" +version = "4.5.49" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e2134bb3ea021b78629caa971416385309e0131b351b25e01dc16fb54e1b5fae" +checksum = "f4512b90fa68d3a9932cea5184017c5d200f5921df706d45e853537dea51508f" dependencies = [ "clap_builder", "clap_derive", @@ -240,9 +240,9 @@ dependencies = [ [[package]] name = "clap_builder" -version = "4.5.48" +version = "4.5.49" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c2ba64afa3c0a6df7fa517765e31314e983f51dda798ffba27b988194fb65dc9" +checksum = "0025e98baa12e766c67ba13ff4695a887a1eba19569aad00a472546795bd6730" dependencies = [ "anstream", "anstyle", @@ -252,9 +252,9 @@ dependencies = [ [[package]] name = "clap_derive" -version = "4.5.47" +version = "4.5.49" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "bbfd7eae0b0f1a6e63d4b13c9c478de77c2eb546fba158ad50b4203dc24b9f9c" +checksum = "2a0b5487afeab2deb2ff4e03a807ad1a03ac532ff5a2cee5d86884440c7f7671" dependencies = [ "heck", "proc-macro2", @@ -264,9 +264,9 @@ dependencies = [ [[package]] name = "clap_lex" -version = "0.7.5" +version = "0.7.6" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "b94f61472cee1439c0b966b47e3aca9ae07e45d070759512cd390ea2bebc6675" +checksum = "a1d728cc89cf3aee9ff92b05e62b19ee65a02b5702cff7d5a377e32c6ae29d8d" [[package]] name = "cmake" @@ -363,12 +363,12 @@ checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f" [[package]] name = "errno" -version = "0.3.13" +version = "0.3.14" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "778e2ac28f6c47af28e4907f13ffd1e1ddbd400980a9abd7c8df189bf578a5ad" +checksum = "39cab71617ae0d63f51a36d69f866391735b51691dbda63cf6f96d042b63efeb" dependencies = [ "libc", - "windows-sys 0.60.2", + "windows-sys 0.61.2", ] [[package]] @@ -402,23 +402,23 @@ dependencies = [ [[package]] name = "form_urlencoded" -version = "1.2.1" +version = "1.2.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e13624c2627564efccf4934284bdd98cbaa14e79b0b5a141218e507b3a823456" +checksum = "cb4cb245038516f5f85277875cdaa4f7d2c9a0fa0468de06ed190163b1581fcf" dependencies = [ "percent-encoding", ] [[package]] name = "getrandom" -version = "0.3.3" +version = "0.3.4" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "26145e563e54f2cadc477553f1ec5ee650b00862f0a58bcd12cbdc5f0ea2d2f4" +checksum = "899def5c37c4fd7b2664648c28120ecec138e4d395b459e5ca34f9cce2dd77fd" dependencies = [ "cfg-if", "libc", "r-efi", - "wasi", + "wasip2", ] [[package]] @@ -427,7 +427,7 @@ version = "0.20.2" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "2deb07a133b1520dc1a5690e9bd08950108873d7ed5de38dcc74d3b5ebffa110" dependencies = [ - "bitflags 2.9.1", + "bitflags 2.9.4", "libc", "libgit2-sys", "log", @@ -444,9 +444,9 @@ checksum = "0cc23270f6e1808e30a928bdc84dea0b9b4136a8bc82338574f23baf47bbd280" [[package]] name = "hashbrown" -version = "0.15.4" +version = "0.16.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "5971ac85611da7067dbfcabef3c70ebb5606018acd9e2a3903a0da507521e0d5" +checksum = "5419bdc4f6a9207fbeba6d11b604d481addf78ecd10c11ad51e76c2f6482748d" [[package]] name = "heck" @@ -462,9 +462,9 @@ checksum = "fc0fef456e4baa96da950455cd02c081ca953b141298e41db3fc7e36b1da849c" [[package]] name = "iana-time-zone" -version = "0.1.63" +version = "0.1.64" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "b0c919e5debc312ad217002b8048a17b7d83f80703865bbfcfebb0458b0b27d8" +checksum = "33e57f83510bb73707521ebaffa789ec8caf86f9657cad665b092b581d40e9fb" dependencies = [ "android_system_properties", "core-foundation-sys", @@ -572,9 +572,9 @@ dependencies = [ [[package]] name = "idna" -version = "1.0.3" +version = "1.1.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "686f825264d630750a544639377bae737628043f20d38bbc029e8f29ea968a7e" +checksum = "3b0875f23caa03898994f6ddc501886a45c7d3d62d04d2d90788d47be1b1e4de" dependencies = [ "idna_adapter", "smallvec", @@ -593,9 +593,9 @@ dependencies = [ [[package]] name = "indexmap" -version = "2.10.0" +version = "2.11.4" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "fe4cd85333e22411419a0bcae1297d25e58c9443848b11dc6a86fefe8c78a661" +checksum = "4b0f83760fb341a774ed326568e19f5a863af4a952def8c39f9ab92fd95b88e5" dependencies = [ "equivalent", "hashbrown", @@ -609,9 +609,9 @@ checksum = "f4c7245a08504955605670dbf141fceab975f15ca21570696aebe9d2e71576bd" [[package]] name = "inventory" -version = "0.3.20" +version = "0.3.21" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ab08d7cd2c5897f2c949e5383ea7c7db03fb19130ffcfbf7eda795137ae3cb83" +checksum = "bc61209c082fbeb19919bee74b176221b27223e27b65d781eb91af24eb1fb46e" dependencies = [ "rustversion", ] @@ -659,9 +659,9 @@ checksum = "4a5f13b858c8d314ee3e8f639011f7ccefe71f97f96e50151fb991f267928e2c" [[package]] name = "jobserver" -version = "0.1.33" +version = "0.1.34" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "38f262f097c174adebe41eb73d66ae9c06b2844fb0da69969647bbddd9b0538a" +checksum = "9afb3de4395d6b3e67a780b6de64b51c978ecf11cb9a462c66be7d4ca9039d33" dependencies = [ "getrandom", "libc", @@ -669,9 +669,9 @@ dependencies = [ [[package]] name = "js-sys" -version = "0.3.77" +version = "0.3.81" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "1cfaf33c695fc6e08064efbc1f72ec937429614f25eef83af942d0e227c3a28f" +checksum = "ec48937a97411dcb524a265206ccd4c90bb711fca92b2792c407f268825b9305" dependencies = [ "once_cell", "wasm-bindgen", @@ -679,9 +679,9 @@ dependencies = [ [[package]] name = "libc" -version = "0.2.174" +version = "0.2.177" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "1171693293099992e19cddea4e8b849964e9846f4acee11b3948bcc337be8776" +checksum = "2874a2af47a2325c2001a6e6fad9b16a53b802102b528163885171cf92b15976" [[package]] name = "libgit2-sys" @@ -699,12 +699,12 @@ dependencies = [ [[package]] name = "libloading" -version = "0.8.8" +version = "0.8.9" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "07033963ba89ebaf1584d767badaa2e8fcec21aedea6b8c0346d487d49c28667" +checksum = "d7c4b02199fee7c5d21a5ae7d8cfa79a6ef5bb2fc834d6e9058e89c825efdc55" dependencies = [ "cfg-if", - "windows-targets 0.53.3", + "windows-link", ] [[package]] @@ -757,9 +757,9 @@ dependencies = [ [[package]] name = "linux-raw-sys" -version = "0.9.4" +version = "0.11.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "cd945864f07fe9f5371a27ad7b52a172b4b499999f1d97574c9fa68373937e12" +checksum = "df1d3c3b53da64cf5760482273a98e575c651a67eec7f77df96b5b642de8f039" [[package]] name = "litemap" @@ -769,9 +769,9 @@ checksum = "241eaef5fd12c88705a01fc1066c48c4b36e0dd4377dcdc7ec3942cea7a69956" [[package]] name = "log" -version = "0.4.27" +version = "0.4.28" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "13dc2df351e3202783a1fe0d44375f7295ffb4049267b0f3018346dc122a1d94" +checksum = "34080505efa8e45a4b816c349525ebe327ceaa8559756f0356cba97ef3bf7432" [[package]] name = "lzma-sys" @@ -786,9 +786,9 @@ dependencies = [ [[package]] name = "memchr" -version = "2.7.5" +version = "2.7.6" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "32a282da65faaf38286cf3be983213fcf1d2e2a58700e808f83f4ea9a4804bc0" +checksum = "f52b00d39961fc5b2736ea853c9cc86238e165017a493d1d5c8eac6bdc4cc273" [[package]] name = "memo-map" @@ -871,9 +871,9 @@ checksum = "d05e27ee213611ffe7d6348b942e8f942b37114c00cc03cec254295a4a17852e" [[package]] name = "openssl-sys" -version = "0.9.109" +version = "0.9.110" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "90096e2e47630d78b7d1c20952dc621f957103f8bc2c8359ec81290d75238571" +checksum = "0a9f0075ba3c21b09f8e8b2026584b1d18d49388648f2fbbf3c97ea8deced8e2" dependencies = [ "cc", "libc", @@ -883,13 +883,13 @@ dependencies = [ [[package]] name = "percent-encoding" -version = "2.3.1" +version = "2.3.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e3148f5046208a5d56bcfc03053e3ca6334e51da8dfb19b6cdc8b306fae3283e" +checksum = "9b4f627cb1b25917193a259e49bdad08f671f8d9708acfd5fe0a8c1455d87220" [[package]] name = "pigeons" -version = "0.2.1" +version = "0.3.0" dependencies = [ "itertools 0.14.0", "rustc-hash", @@ -911,9 +911,9 @@ checksum = "f84267b20a16ea918e43c6a88433c2d54fa145c92a811b5b047ccbe153674483" [[package]] name = "potential_utf" -version = "0.1.2" +version = "0.1.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e5a7c30837279ca13e7c867e9e40053bc68740f988cb07f7ca6df43cc734b585" +checksum = "84df19adbe5b5a0782edcab45899906947ab039ccf4573713735ee7de1e6b08a" dependencies = [ "zerovec", ] @@ -1044,9 +1044,9 @@ dependencies = [ [[package]] name = "regex" -version = "1.11.1" +version = "1.12.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "b544ef1b4eac5dc2db33ea63606ae9ffcfac26c1416a2806ae0bf5f56b201191" +checksum = "843bc0191f75f3e22651ae5f1e72939ab2f72a4bc30fa80a066bd66edefc24d4" dependencies = [ "aho-corasick", "memchr", @@ -1056,9 +1056,9 @@ dependencies = [ [[package]] name = "regex-automata" -version = "0.4.9" +version = "0.4.13" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "809e8dc61f6de73b46c85f4c96486310fe304c434cfa43669d7b40f711150908" +checksum = "5276caf25ac86c8d810222b3dbb938e512c55c6831a10f3e6ed1c93b84041f1c" dependencies = [ "aho-corasick", "memchr", @@ -1067,9 +1067,9 @@ dependencies = [ [[package]] name = "regex-syntax" -version = "0.8.5" +version = "0.8.8" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "2b15c43186be67a4fd63bee50d0303afffcef381492ebe2c5d87f324e1b8815c" +checksum = "7a2d987857b319362043e95f5353c0535c1f58eec5336fdfcf626430af7def58" [[package]] name = "rustc-hash" @@ -1079,20 +1079,20 @@ checksum = "357703d41365b4b27c590e3ed91eabb1b663f07c4c084095e60cbed4362dff0d" [[package]] name = "rustix" -version = "1.0.8" +version = "1.1.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "11181fbabf243db407ef8df94a6ce0b2f9a733bd8be4ad02b4eda9602296cac8" +checksum = "cd15f8a2c5551a84d56efdc1cd049089e409ac19a3072d5037a17fd70719ff3e" dependencies = [ - "bitflags 2.9.1", + "bitflags 2.9.4", "errno", "libc", "linux-raw-sys", - "windows-sys 0.60.2", + "windows-sys 0.61.2", ] [[package]] name = "rustsat" -version = "0.7.3" +version = "0.8.0" dependencies = [ "anyhow", "bzip2", @@ -1120,7 +1120,7 @@ dependencies = [ [[package]] name = "rustsat-batsat" -version = "0.7.3" +version = "0.8.0" dependencies = [ "anyhow", "batsat", @@ -1131,7 +1131,7 @@ dependencies = [ [[package]] name = "rustsat-cadical" -version = "0.7.3" +version = "0.8.0" dependencies = [ "anyhow", "bindgen", @@ -1149,7 +1149,7 @@ dependencies = [ [[package]] name = "rustsat-capi" -version = "0.7.3" +version = "0.8.0" dependencies = [ "cc", "libtest-mimic", @@ -1159,7 +1159,7 @@ dependencies = [ [[package]] name = "rustsat-codegen" -version = "0.7.3" +version = "0.8.0" dependencies = [ "cbindgen", "minijinja", @@ -1170,7 +1170,7 @@ dependencies = [ [[package]] name = "rustsat-glucose" -version = "0.7.3" +version = "0.8.0" dependencies = [ "anyhow", "bindgen", @@ -1182,7 +1182,7 @@ dependencies = [ [[package]] name = "rustsat-ipasir" -version = "0.7.3" +version = "0.8.0" dependencies = [ "anyhow", "rustsat", @@ -1191,7 +1191,7 @@ dependencies = [ [[package]] name = "rustsat-kissat" -version = "0.7.3" +version = "0.8.0" dependencies = [ "anyhow", "bindgen", @@ -1208,7 +1208,7 @@ dependencies = [ [[package]] name = "rustsat-minisat" -version = "0.7.3" +version = "0.8.0" dependencies = [ "anyhow", "bindgen", @@ -1222,7 +1222,7 @@ dependencies = [ [[package]] name = "rustsat-pyapi" -version = "0.7.3" +version = "0.8.0" dependencies = [ "pyo3", "pyo3-build-config", @@ -1231,7 +1231,7 @@ dependencies = [ [[package]] name = "rustsat-solvertests" -version = "0.7.3" +version = "0.8.0" dependencies = [ "proc-macro2", "quote", @@ -1241,7 +1241,7 @@ dependencies = [ [[package]] name = "rustsat-tools" -version = "0.7.3" +version = "0.8.0" dependencies = [ "anyhow", "clap", @@ -1258,9 +1258,9 @@ dependencies = [ [[package]] name = "rustversion" -version = "1.0.21" +version = "1.0.22" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "8a0d197bd2c9dc6e53b84da9556a69ba4cdfab8619eb41a8bd1cc2027a0f6b1d" +checksum = "b39cdef0fa800fc44525c84ccb54a029961a8215f9619753635a9c0d2538d46d" [[package]] name = "ryu" @@ -1371,9 +1371,9 @@ checksum = "67b1b7a3b5fe4f1376887184045fcf45c69e92af734b7aaddc05fb777b6fbd03" [[package]] name = "stable_deref_trait" -version = "1.2.0" +version = "1.2.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a8f112729512f8e442d81f95a8a7ddf2b7c6b8a1a6f509a95864142b30cab2d3" +checksum = "6ce2be8dc25455e1f91df71bfa12ad37d7af1092ae736f3a6cd0e37bc7810596" [[package]] name = "strsim" @@ -1419,7 +1419,7 @@ dependencies = [ "getrandom", "once_cell", "rustix", - "windows-sys 0.60.2", + "windows-sys 0.61.2", ] [[package]] @@ -1504,9 +1504,9 @@ checksum = "5d99f8c9a7727884afe522e9bd5edbfc91a3312b36a77b5fb8926e4c31a41801" [[package]] name = "unicode-ident" -version = "1.0.18" +version = "1.0.19" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "5a5f39404a5da50712a4c1eecf25e90dd62b613502b7e925fd4e4d19b5c96512" +checksum = "f63a545481291138910575129486daeaf8ac54aee4387fe7906919f7830c7d9d" [[package]] name = "unindent" @@ -1516,13 +1516,14 @@ checksum = "7264e107f553ccae879d21fbea1d6724ac785e8c3bfc762137959b5802826ef3" [[package]] name = "url" -version = "2.5.4" +version = "2.5.7" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "32f8b686cadd1473f4bd0117a5d28d36b1ade384ea9b5069a1c40aefed7fda60" +checksum = "08bc136a29a3d1758e07a9cca267be308aeebf5cfd5a10f3f67ab2097683ef5b" dependencies = [ "form_urlencoded", "idna", "percent-encoding", + "serde", ] [[package]] @@ -1555,31 +1556,32 @@ dependencies = [ ] [[package]] -name = "wasi" -version = "0.14.2+wasi-0.2.4" +name = "wasip2" +version = "1.0.1+wasi-0.2.4" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "9683f9a5a998d873c0d21fcbe3c083009670149a8fab228644b8bd36b2c48cb3" +checksum = "0562428422c63773dad2c345a1882263bbf4d65cf3f42e90921f787ef5ad58e7" dependencies = [ - "wit-bindgen-rt", + "wit-bindgen", ] [[package]] name = "wasm-bindgen" -version = "0.2.100" +version = "0.2.104" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "1edc8929d7499fc4e8f0be2262a241556cfc54a0bea223790e71446f2aab1ef5" +checksum = "c1da10c01ae9f1ae40cbfac0bac3b1e724b320abfcf52229f80b547c0d250e2d" dependencies = [ "cfg-if", "once_cell", "rustversion", "wasm-bindgen-macro", + "wasm-bindgen-shared", ] [[package]] name = "wasm-bindgen-backend" -version = "0.2.100" +version = "0.2.104" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "2f0a0651a5c2bc21487bde11ee802ccaf4c51935d0d3d42a6101f98161700bc6" +checksum = "671c9a5a66f49d8a47345ab942e2cb93c7d1d0339065d4f8139c486121b43b19" dependencies = [ "bumpalo", "log", @@ -1591,9 +1593,9 @@ dependencies = [ [[package]] name = "wasm-bindgen-macro" -version = "0.2.100" +version = "0.2.104" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "7fe63fc6d09ed3792bd0897b314f53de8e16568c2b3f7982f468c0bf9bd0b407" +checksum = "7ca60477e4c59f5f2986c50191cd972e3a50d8a95603bc9434501cf156a9a119" dependencies = [ "quote", "wasm-bindgen-macro-support", @@ -1601,9 +1603,9 @@ dependencies = [ [[package]] name = "wasm-bindgen-macro-support" -version = "0.2.100" +version = "0.2.104" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "8ae87ea40c9f689fc23f209965b6fb8a99ad69aeeb0231408be24920604395de" +checksum = "9f07d2f20d4da7b26400c9f4a0511e6e0345b040694e8a75bd41d578fa4421d7" dependencies = [ "proc-macro2", "quote", @@ -1614,9 +1616,9 @@ dependencies = [ [[package]] name = "wasm-bindgen-shared" -version = "0.2.100" +version = "0.2.104" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "1a05d73b933a847d6cccdda8f838a22ff101ad9bf93e33684f39c1f5f0eece3d" +checksum = "bad67dc8b2a1a6e5448428adec4c3e84c43e561d8c9ee8a9e5aabeb193ec41d1" dependencies = [ "unicode-ident", ] @@ -1649,11 +1651,11 @@ checksum = "ac3b87c63620426dd9b991e5ce0329eff545bccbbb34f3be09ff6fb6ab51b7b6" [[package]] name = "winapi-util" -version = "0.1.9" +version = "0.1.11" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "cf221c93e13a30d793f7645a0e7762c55d169dbb0a49671918a2319d289b10bb" +checksum = "c2a7b1c03c876122aa43f3020e6c3c3ee5c05081c9a00739faf7503aeba10d22" dependencies = [ - "windows-sys 0.59.0", + "windows-sys 0.61.2", ] [[package]] @@ -1664,22 +1666,22 @@ checksum = "712e227841d057c1ee1cd2fb22fa7e5a5461ae8e48fa2ca79ec42cfc1931183f" [[package]] name = "windows-core" -version = "0.61.2" +version = "0.62.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c0fdd3ddb90610c7638aa2b3a3ab2904fb9e5cdbecc643ddb3647212781c4ae3" +checksum = "b8e83a14d34d0623b51dce9581199302a221863196a1dde71a7663a4c2be9deb" dependencies = [ "windows-implement", "windows-interface", - "windows-link 0.1.3", + "windows-link", "windows-result", "windows-strings", ] [[package]] name = "windows-implement" -version = "0.60.0" +version = "0.60.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a47fddd13af08290e67f4acabf4b459f647552718f683a7b415d290ac744a836" +checksum = "053e2e040ab57b9dc951b72c264860db7eb3b0200ba345b4e4c3b14f67855ddf" dependencies = [ "proc-macro2", "quote", @@ -1688,9 +1690,9 @@ dependencies = [ [[package]] name = "windows-interface" -version = "0.59.1" +version = "0.59.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "bd9211b69f8dcdfa817bfd14bf1c97c9188afa36f4750130fcdf3f400eca9fa8" +checksum = "3f316c4a2570ba26bbec722032c4099d8c8bc095efccdc15688708623367e358" dependencies = [ "proc-macro2", "quote", @@ -1699,32 +1701,26 @@ dependencies = [ [[package]] name = "windows-link" -version = "0.1.3" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "5e6ad25900d524eaabdbbb96d20b4311e1e7ae1699af4fb28c17ae66c80d798a" - -[[package]] -name = "windows-link" -version = "0.2.0" +version = "0.2.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "45e46c0661abb7180e7b9c281db115305d49ca1709ab8242adf09666d2173c65" +checksum = "f0805222e57f7521d6a62e36fa9163bc891acd422f971defe97d64e70d0a4fe5" [[package]] name = "windows-result" -version = "0.3.4" +version = "0.4.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "56f42bd332cc6c8eac5af113fc0c1fd6a8fd2aa08a0119358686e5160d0586c6" +checksum = "7781fa89eaf60850ac3d2da7af8e5242a5ea78d1a11c49bf2910bb5a73853eb5" dependencies = [ - "windows-link 0.1.3", + "windows-link", ] [[package]] name = "windows-strings" -version = "0.4.2" +version = "0.5.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "56e6c93f3a0c3b36176cb1327a4958a0353d5d166c2a35cb268ace15e91d3b57" +checksum = "7837d08f69c77cf6b07689544538e017c1bfcf57e34b4c0ff58e6c2cd3b37091" dependencies = [ - "windows-link 0.1.3", + "windows-link", ] [[package]] @@ -1751,7 +1747,16 @@ version = "0.60.2" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "f2f500e4d28234f72040990ec9d39e3a6b950f9f22d3dba18416c35882612bcb" dependencies = [ - "windows-targets 0.53.3", + "windows-targets 0.53.5", +] + +[[package]] +name = "windows-sys" +version = "0.61.2" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "ae137229bcbd6cdf0f7b80a31df61766145077ddf49416a728b02cb3921ff3fc" +dependencies = [ + "windows-link", ] [[package]] @@ -1787,19 +1792,19 @@ dependencies = [ [[package]] name = "windows-targets" -version = "0.53.3" +version = "0.53.5" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d5fe6031c4041849d7c496a8ded650796e7b6ecc19df1a431c1a363342e5dc91" +checksum = "4945f9f551b88e0d65f3db0bc25c33b8acea4d9e41163edf90dcd0b19f9069f3" dependencies = [ - "windows-link 0.1.3", - "windows_aarch64_gnullvm 0.53.0", - "windows_aarch64_msvc 0.53.0", - "windows_i686_gnu 0.53.0", - "windows_i686_gnullvm 0.53.0", - "windows_i686_msvc 0.53.0", - "windows_x86_64_gnu 0.53.0", - "windows_x86_64_gnullvm 0.53.0", - "windows_x86_64_msvc 0.53.0", + "windows-link", + "windows_aarch64_gnullvm 0.53.1", + "windows_aarch64_msvc 0.53.1", + "windows_i686_gnu 0.53.1", + "windows_i686_gnullvm 0.53.1", + "windows_i686_msvc 0.53.1", + "windows_x86_64_gnu 0.53.1", + "windows_x86_64_gnullvm 0.53.1", + "windows_x86_64_msvc 0.53.1", ] [[package]] @@ -1816,9 +1821,9 @@ checksum = "32a4622180e7a0ec044bb555404c800bc9fd9ec262ec147edd5989ccd0c02cd3" [[package]] name = "windows_aarch64_gnullvm" -version = "0.53.0" +version = "0.53.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "86b8d5f90ddd19cb4a147a5fa63ca848db3df085e25fee3cc10b39b6eebae764" +checksum = "a9d8416fa8b42f5c947f8482c43e7d89e73a173cead56d044f6a56104a6d1b53" [[package]] name = "windows_aarch64_msvc" @@ -1834,9 +1839,9 @@ checksum = "09ec2a7bb152e2252b53fa7803150007879548bc709c039df7627cabbd05d469" [[package]] name = "windows_aarch64_msvc" -version = "0.53.0" +version = "0.53.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c7651a1f62a11b8cbd5e0d42526e55f2c99886c77e007179efff86c2b137e66c" +checksum = "b9d782e804c2f632e395708e99a94275910eb9100b2114651e04744e9b125006" [[package]] name = "windows_i686_gnu" @@ -1852,9 +1857,9 @@ checksum = "8e9b5ad5ab802e97eb8e295ac6720e509ee4c243f69d781394014ebfe8bbfa0b" [[package]] name = "windows_i686_gnu" -version = "0.53.0" +version = "0.53.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c1dc67659d35f387f5f6c479dc4e28f1d4bb90ddd1a5d3da2e5d97b42d6272c3" +checksum = "960e6da069d81e09becb0ca57a65220ddff016ff2d6af6a223cf372a506593a3" [[package]] name = "windows_i686_gnullvm" @@ -1864,9 +1869,9 @@ checksum = "0eee52d38c090b3caa76c563b86c3a4bd71ef1a819287c19d586d7334ae8ed66" [[package]] name = "windows_i686_gnullvm" -version = "0.53.0" +version = "0.53.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "9ce6ccbdedbf6d6354471319e781c0dfef054c81fbc7cf83f338a4296c0cae11" +checksum = "fa7359d10048f68ab8b09fa71c3daccfb0e9b559aed648a8f95469c27057180c" [[package]] name = "windows_i686_msvc" @@ -1882,9 +1887,9 @@ checksum = "240948bc05c5e7c6dabba28bf89d89ffce3e303022809e73deaefe4f6ec56c66" [[package]] name = "windows_i686_msvc" -version = "0.53.0" +version = "0.53.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "581fee95406bb13382d2f65cd4a908ca7b1e4c2f1917f143ba16efe98a589b5d" +checksum = "1e7ac75179f18232fe9c285163565a57ef8d3c89254a30685b57d83a38d326c2" [[package]] name = "windows_x86_64_gnu" @@ -1900,9 +1905,9 @@ checksum = "147a5c80aabfbf0c7d901cb5895d1de30ef2907eb21fbbab29ca94c5b08b1a78" [[package]] name = "windows_x86_64_gnu" -version = "0.53.0" +version = "0.53.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "2e55b5ac9ea33f2fc1716d1742db15574fd6fc8dadc51caab1c16a3d3b4190ba" +checksum = "9c3842cdd74a865a8066ab39c8a7a473c0778a3f29370b5fd6b4b9aa7df4a499" [[package]] name = "windows_x86_64_gnullvm" @@ -1918,9 +1923,9 @@ checksum = "24d5b23dc417412679681396f2b49f3de8c1473deb516bd34410872eff51ed0d" [[package]] name = "windows_x86_64_gnullvm" -version = "0.53.0" +version = "0.53.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "0a6e035dd0599267ce1ee132e51c27dd29437f63325753051e71dd9e42406c57" +checksum = "0ffa179e2d07eee8ad8f57493436566c7cc30ac536a3379fdf008f47f6bb7ae1" [[package]] name = "windows_x86_64_msvc" @@ -1936,27 +1941,24 @@ checksum = "589f6da84c646204747d1270a2a5661ea66ed1cced2631d546fdfb155959f9ec" [[package]] name = "windows_x86_64_msvc" -version = "0.53.0" +version = "0.53.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "271414315aff87387382ec3d271b52d7ae78726f5d44ac98b4f4030c91880486" +checksum = "d6bbff5f0aada427a1e5a6da5f1f98158182f26556f345ac9e04d36d0ebed650" [[package]] name = "winnow" -version = "0.7.12" +version = "0.7.13" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "f3edebf492c8125044983378ecb5766203ad3b4c2f7a922bd7dd207f6d443e95" +checksum = "21a0236b59786fed61e2a80582dd500fe61f18b5dca67a4a067d0bc9039339cf" dependencies = [ "memchr", ] [[package]] -name = "wit-bindgen-rt" -version = "0.39.0" +name = "wit-bindgen" +version = "0.46.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "6f42320e61fe2cfd34354ecb597f86f413484a798ba44a8ca1165c58d42da6c1" -dependencies = [ - "bitflags 2.9.1", -] +checksum = "f17a85883d4e6d00e8a97c586de764dabcc06133f7f1d55dce5cdc070ad7fe59" [[package]] name = "writeable" @@ -1999,18 +2001,18 @@ dependencies = [ [[package]] name = "zerocopy" -version = "0.8.26" +version = "0.8.27" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "1039dd0d3c310cf05de012d8a39ff557cb0d23087fd44cad61df08fc31907a2f" +checksum = "0894878a5fa3edfd6da3f88c4805f4c8558e2b996227a3d864f47fe11e38282c" dependencies = [ "zerocopy-derive", ] [[package]] name = "zerocopy-derive" -version = "0.8.26" +version = "0.8.27" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "9ecf5b4cc5364572d7f4c329661bcc82724222973f2cab6f050a4e5c22f75181" +checksum = "88d2b8d9c68ad2b9e4340d7832716a4d21a22a1154777ad56ea55c51a9cf3831" dependencies = [ "proc-macro2", "quote", diff --git a/Cargo.toml b/Cargo.toml index b32be94b..0241d74b 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -18,7 +18,7 @@ members = [ resolver = "2" [workspace.package] -version = "0.7.3" +version = "0.8.0" license = "MIT" edition = "2021" rust-version = "1.76.0" # update the crate documentation if you change this @@ -42,13 +42,13 @@ glob = "0.3.3" itertools = "0.14.0" libtest-mimic = "0.8.1" nom = "7.1.3" -pigeons = { version = "0.2.1", path = "./pigeons" } +pigeons = { version = "0.3.0", path = "./pigeons" } rand = "0.9.2" rand_chacha = "0.9.0" rustc-hash = "2.1.1" -rustsat = { version = "0.7.3", path = "./", default-features = false } -rustsat-cadical = { version = "0.7.3", path = "./cadical" } -rustsat-minisat = { version = "0.7.3", path = "./minisat" } +rustsat = { version = "0.8.0", path = "./", default-features = false } +rustsat-cadical = { version = "0.8.0", path = "./cadical" } +rustsat-minisat = { version = "0.8.0", path = "./minisat" } rustsat-solvertests = { path = "./solvertests" } serde = { version = "1.0.228", features = ["derive"] } serde_json = "1.0.145" diff --git a/batsat/CHANGELOG.md b/batsat/CHANGELOG.md index fd579f39..6bcd705a 100644 --- a/batsat/CHANGELOG.md +++ b/batsat/CHANGELOG.md @@ -2,6 +2,22 @@ All notable changes to this project will be documented in this file. +## 0.8.0 - 2025-10-17 + +### Bug Fixes + +- Abstract timer and use `std::time::Instant` in `wasm` ([aadef69](aadef69472923d57e99a541c64376dbccaf3a855)), fixes #455 + +### Miscellaneous Tasks + +- Include keep-sorted formatter ([46e505c](46e505cca3e50b7743c47288b2fb2610da3f1952)) + +### Refactor + +- Clearly mark internal features ([bbba25f](bbba25f4fbca47839ca3d0b00ee1a89976ba05f2)) + + + ## 0.7.3 - 2025-08-07 - Update RustSAT diff --git a/cadical/CHANGELOG.md b/cadical/CHANGELOG.md index 9737f3e6..aaca852b 100644 --- a/cadical/CHANGELOG.md +++ b/cadical/CHANGELOG.md @@ -2,6 +2,24 @@ All notable changes to this project will be documented in this file. +## 0.8.0 - 2025-10-17 + +### Bug Fixes + +- Abstract timer and use `std::time::Instant` in `wasm` ([aadef69](aadef69472923d57e99a541c64376dbccaf3a855)), fixes #455 +- Auto cfg in documentation ([#497](https://github.com/chrjabs/rustsat/pull/497)) ([c6623bf](c6623bf230c4e21218dd374ada9d8dada45cf0e2)) + +### Miscellaneous Tasks + +- Clippy ([844a209](844a2097c9eea05375d32f0c178f83cf3ac8d633)) +- Include keep-sorted formatter ([46e505c](46e505cca3e50b7743c47288b2fb2610da3f1952)) + +### Refactor + +- Clearly mark internal features ([bbba25f](bbba25f4fbca47839ca3d0b00ee1a89976ba05f2)) + + + ## 0.7.3 - 2025-08-07 ### Bug Fixes diff --git a/glucose/CHANGELOG.md b/glucose/CHANGELOG.md index 2d835b5e..1f47c7c5 100644 --- a/glucose/CHANGELOG.md +++ b/glucose/CHANGELOG.md @@ -2,6 +2,26 @@ All notable changes to this project will be documented in this file. +## 0.8.0 - 2025-10-17 + +### Bug Fixes + +- Abstract timer and use `std::time::Instant` in `wasm` ([aadef69](aadef69472923d57e99a541c64376dbccaf3a855)), fixes #455 + +### Features + +- `AsRef` for `[Lit; N]`, `Vec`, and `Cl` ([#499](https://github.com/chrjabs/rustsat/pull/499)) ([6a4fe5b](6a4fe5ba9d2d3357d32d5e0224d0ca3f62f412f1)) + +### Miscellaneous Tasks + +- Include keep-sorted formatter ([46e505c](46e505cca3e50b7743c47288b2fb2610da3f1952)) + +### Refactor + +- Clearly mark internal features ([bbba25f](bbba25f4fbca47839ca3d0b00ee1a89976ba05f2)) + + + ## 0.7.3 - 2025-08-07 ### Bug Fixes diff --git a/ipasir/CHANGELOG.md b/ipasir/CHANGELOG.md index d5e68f27..c701a08e 100644 --- a/ipasir/CHANGELOG.md +++ b/ipasir/CHANGELOG.md @@ -2,6 +2,22 @@ All notable changes to this project will be documented in this file. +## 0.8.0 - 2025-10-17 + +### Bug Fixes + +- Abstract timer and use `std::time::Instant` in `wasm` ([aadef69](aadef69472923d57e99a541c64376dbccaf3a855)), fixes #455 + +### Miscellaneous Tasks + +- Include keep-sorted formatter ([46e505c](46e505cca3e50b7743c47288b2fb2610da3f1952)) + +### Refactor + +- Clearly mark internal features ([bbba25f](bbba25f4fbca47839ca3d0b00ee1a89976ba05f2)) + + + ## 0.7.3 - 2025-08-07 ### Bug Fixes diff --git a/kissat/CHANGELOG.md b/kissat/CHANGELOG.md index 0e0808df..14bd0e31 100644 --- a/kissat/CHANGELOG.md +++ b/kissat/CHANGELOG.md @@ -2,6 +2,26 @@ All notable changes to this project will be documented in this file. +## 0.8.0 - 2025-10-17 + +### Bug Fixes + +- Abstract timer and use `std::time::Instant` in `wasm` ([aadef69](aadef69472923d57e99a541c64376dbccaf3a855)), fixes #455 + +### Features + +- Version 4.0.4 ([750ab62](750ab628eaf2ce6a7775e500778ad80c20655a62)) + +### Miscellaneous Tasks + +- Include keep-sorted formatter ([46e505c](46e505cca3e50b7743c47288b2fb2610da3f1952)) + +### Refactor + +- Clearly mark internal features ([bbba25f](bbba25f4fbca47839ca3d0b00ee1a89976ba05f2)) + + + ## 0.7.3 - 2025-08-07 ### Features diff --git a/minisat/CHANGELOG.md b/minisat/CHANGELOG.md index 12a72c1e..2dea7b4d 100644 --- a/minisat/CHANGELOG.md +++ b/minisat/CHANGELOG.md @@ -2,6 +2,26 @@ All notable changes to this project will be documented in this file. +## 0.8.0 - 2025-10-17 + +### Bug Fixes + +- Abstract timer and use `std::time::Instant` in `wasm` ([aadef69](aadef69472923d57e99a541c64376dbccaf3a855)), fixes #455 + +### Features + +- `AsRef` for `[Lit; N]`, `Vec`, and `Cl` ([#499](https://github.com/chrjabs/rustsat/pull/499)) ([6a4fe5b](6a4fe5ba9d2d3357d32d5e0224d0ca3f62f412f1)) + +### Miscellaneous Tasks + +- Include keep-sorted formatter ([46e505c](46e505cca3e50b7743c47288b2fb2610da3f1952)) + +### Refactor + +- Clearly mark internal features ([bbba25f](bbba25f4fbca47839ca3d0b00ee1a89976ba05f2)) + + + ## 0.7.3 - 2025-08-07 ### Bug Fixes diff --git a/pigeons/CHANGELOG.md b/pigeons/CHANGELOG.md index 701c6972..9c6773c9 100644 --- a/pigeons/CHANGELOG.md +++ b/pigeons/CHANGELOG.md @@ -2,6 +2,18 @@ All notable changes to this project will be documented in this file. +## 0.3.0 - 2025-10-17 + +### Miscellaneous Tasks + +- Include keep-sorted formatter ([46e505c](46e505cca3e50b7743c47288b2fb2610da3f1952)) + +### Refactor + +- Clearly mark internal features ([bbba25f](bbba25f4fbca47839ca3d0b00ee1a89976ba05f2)) + + + ## 0.2.1 - 2025-08-07 ### Bug Fixes diff --git a/pigeons/Cargo.toml b/pigeons/Cargo.toml index 0cca41ea..2667b3ab 100644 --- a/pigeons/Cargo.toml +++ b/pigeons/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "pigeons" -version = "0.2.1" +version = "0.3.0" edition.workspace = true license.workspace = true authors = ["Christoph Jabs "] diff --git a/tools/CHANGELOG.md b/tools/CHANGELOG.md index f6ee2906..ceb30ecc 100644 --- a/tools/CHANGELOG.md +++ b/tools/CHANGELOG.md @@ -2,6 +2,19 @@ All notable changes to this project will be documented in this file. +## 0.8.0 - 2025-10-17 + +### Miscellaneous Tasks + +- Make paths relative to cargo manifest ([87d6f2e](87d6f2e80ee6c757f57a31864f7e9aa1a325c2ab)) +- Switch CI to nix ([7c73dcf](7c73dcfdb7358ed64a1b70442daeb92a6fa39621)) + +### Refactor + +- Clearly mark internal features ([bbba25f](bbba25f4fbca47839ca3d0b00ee1a89976ba05f2)) + + + ## 0.7.3 - 2025-08-07 ### Miscellaneous Tasks From 66eafcd671099d2c66b2abb607176c925ed426d3 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, 17 Oct 2025 15:16:58 +0300 Subject: [PATCH 2/6] chore(capi): update version in header --- capi/rustsat.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/capi/rustsat.h b/capi/rustsat.h index f5e92a64..d6e75cc1 100644 --- a/capi/rustsat.h +++ b/capi/rustsat.h @@ -6,10 +6,10 @@ #include #include #include -#define RUSTSAT_VERSION 0.7.3 +#define RUSTSAT_VERSION 0.8.0 #define RUSTSAT_VERSION_MAJOR 0 -#define RUSTSAT_VERSION_MINOR 7 -#define RUSTSAT_VERSION_PATCH 3 +#define RUSTSAT_VERSION_MINOR 8 +#define RUSTSAT_VERSION_PATCH 0 #ifdef __cplusplus namespace RustSAT { From 464813f03c56528d3780372d52b6ed8d1711e1f4 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, 17 Oct 2025 15:17:00 +0300 Subject: [PATCH 3/6] chore(capi): update changelog --- capi/CHANGELOG.md | 194 +++++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 190 insertions(+), 4 deletions(-) diff --git a/capi/CHANGELOG.md b/capi/CHANGELOG.md index 2a07ca66..20116c2a 100644 --- a/capi/CHANGELOG.md +++ b/capi/CHANGELOG.md @@ -2,10 +2,196 @@ All notable changes to this project will be documented in this file. -## [0.5.1] - 2024-06-12 +## Unreleased -Incrementally adjustable precision for DPW encoding. +[b0343ca](b0343ca8feb853254afb02f3ee0f4fe480687417)...[66eafcd](66eafcd671099d2c66b2abb607176c925ed426d3) -## [0.5.0] - 2024-04-30 +### Miscellaneous Tasks -Factor C-API out into its own crate. +- Include keep-sorted formatter ([46e505c](46e505cca3e50b7743c47288b2fb2610da3f1952)) +- Update version in header ([66eafcd](66eafcd671099d2c66b2abb607176c925ed426d3)) + +### Refactor + +- Clearly mark internal features ([bbba25f](bbba25f4fbca47839ca3d0b00ee1a89976ba05f2)) + +## rustsat-v0.7.3 - 2025-08-07 + +[3f0fd8d](3f0fd8db3170dc92059e08bd7a6e6b6be8de7bce)...[b0343ca](b0343ca8feb853254afb02f3ee0f4fe480687417) + +### Bug Fixes + +- Totdb only reserve variables the connection needs (#435) ([8f0f2f3](8f0f2f3d156d45456ef5a443e136224f24211485)), fixes #165 + +### Miscellaneous Tasks + +- Setup treefmt and format ([86e9096](86e909606373f42c203f88b1485095ae5d53f9b9)) +- Clippy ([d959a33](d959a3366380a48b9ca00a4ede6b386f26f8dd25)) +- Release (#402) ([b0343ca](b0343ca8feb853254afb02f3ee0f4fe480687417)), Co-authored-by:rustsat-release-plz-bot[bot] <174992831+rustsat-release-plz-bot[bot]@users.noreply.github.com>, Co-authored-by:Christoph Jabs + +## rustsat-v0.7.2 - 2025-05-30 + +[ab11fda](ab11fdaab1892b70f8d55a847033cb40e98300c1)...[3f0fd8d](3f0fd8db3170dc92059e08bd7a6e6b6be8de7bce) + +### Miscellaneous Tasks + +- Release (#370) ([3f0fd8d](3f0fd8db3170dc92059e08bd7a6e6b6be8de7bce)), Co-authored-by:rustsat-release-plz-bot[bot] <174992831+rustsat-release-plz-bot[bot]@users.noreply.github.com>, Co-authored-by:Christoph Jabs + +## rustsat-v0.7.1 - 2025-05-01 + +[db3a792](db3a792c565ef9b032819d484c5236f7dbc446d0)...[ab11fda](ab11fdaab1892b70f8d55a847033cb40e98300c1) + +### Miscellaneous Tasks + +- Don't generate header at build time ([0bb6d3d](0bb6d3d34c6f895fdca818abeeb3a7a83aa3095d)) +- Codegen tool for generating bindings ([0fa496a](0fa496a6fd03398968fdf66f95409e8347077234)) +- Add `publish = false` where appropriate (#358) ([6fbadf7](6fbadf7115cc481304f74e9797b690fcf24e7105)) +- Update rust version ([2855770](2855770174d1a521d20c13ba5343e0d53699c718)) +- Release (#350) ([ab11fda](ab11fdaab1892b70f8d55a847033cb40e98300c1)), Co-authored-by:rustsat-release-plz-bot[bot] <174992831+rustsat-release-plz-bot[bot]@users.noreply.github.com>, Co-authored-by:Christoph Jabs + +### Testing + +- C tests with custom harness ([3e11ab4](3e11ab496a56e4b9334364b90c2ab28336d09570)) + +## rustsat-v0.7.0 - 2025-04-03 + +[b5b2b3f](b5b2b3fd11bbe5f334351f256e01d21041c43605)...[db3a792](db3a792c565ef9b032819d484c5236f7dbc446d0) + +### Documentation + +- Update shield style ([0a79def](0a79def179185332997d58471153f45cc775ae84)) + +### Features + +- Include at-most-one encodings ([7458596](7458596ebb559afa0ee9d1d15ed4cd8349e49f11)) +- Lower bounding totalizers ([cd8a6d0](cd8a6d04a5778b0f6d1ab272f8c4087ec9e71547)) + +### Miscellaneous Tasks + +- Cargo clippy ([63a99fb](63a99fb32315fafafbd95d8a9f366302eb15259f)) +- Force synced versions via workspace ([3ca5f43](3ca5f43c8843aa61ef584da44c545e79a3d0a067)) +- Remove deprecated CI badges ([72f4573](72f4573827bf51d9f3a02b14c92edab68417d905)) +- Don't sort functions ([896129d](896129d9ce185adb86af645f8e003db82ded9e52)) +- Cleanup ([05aefb7](05aefb791ec6830da4f68df680ff8098c88ddf9e)) +- Release (#278) ([2e4dc23](2e4dc23e25aac9b4d01282861a938b34d58fa0a6)), Co-authored-by:rustsat-release-plz-bot[bot] <174992831+rustsat-release-plz-bot[bot]@users.noreply.github.com>, Co-authored-by:Christoph Jabs +- Release (#326) ([a9d2143](a9d214376ee39537f3c591425983e8de60fd5ddd)), Co-authored-by:rustsat-release-plz-bot[bot] <174992831+rustsat-release-plz-bot[bot]@users.noreply.github.com> +- Release (#334) ([db3a792](db3a792c565ef9b032819d484c5236f7dbc446d0)), resolves #269 + +* docs: update changelog + +---------, Co-authored-by:rustsat-release-plz-bot[bot] <174992831+rustsat-release-plz-bot[bot]@users.noreply.github.com>, Co-authored-by:Christoph Jabs + +### Refactor + +- [**breaking**] Don't use `anyhow` in encoding API ([1172825](117282510d8be4a05940c0913323d5ff8172d1fb)) +- [**breaking**] Remove non-db totalizer encodings ([8392fec](8392fec14fb3e9462e270fe229f14dc0c62e0a1b)) + +## rustsat-v0.6.4 - 2025-02-19 + +[91a4161](91a4161bc7a7b8f4d4998a46ce51f6449055b214)...[b5b2b3f](b5b2b3fd11bbe5f334351f256e01d21041c43605) + +### Bug Fixes + +- Use fxhash ([1828eef](1828eefd4f53e06f1e525e228452b34cb18836fb)) + +### Miscellaneous Tasks + +- Manual release tasks ([b5b2b3f](b5b2b3fd11bbe5f334351f256e01d21041c43605)) + +## rustsat-v0.6.3 - 2024-12-20 + +[f58b188](f58b188fa876291f717b919c6b2934f6761da2ce)...[91a4161](91a4161bc7a7b8f4d4998a46ce51f6449055b214) + +### Miscellaneous Tasks + +- Release ([91a4161](91a4161bc7a7b8f4d4998a46ce51f6449055b214)) + +## rustsat-v0.6.2 - 2024-12-13 + +[9c2bcbf](9c2bcbfd09b956624cedd8818e127e69f01c4fd3)...[f58b188](f58b188fa876291f717b919c6b2934f6761da2ce) + +### Bug Fixes + +- Returnvalue of c header check ([940035b](940035b264a521496d0b8a834d59814c27bf3984)) + +### Documentation + +- Mention panic cases ([5ebfab7](5ebfab7e28e44398cc3bb38150531b828092d63f)) +- Improve documentation ([b0d1587](b0d1587620b511fb4a6647240c3b2d8cf1a5e93a)) + +### Features + +- C-API for binary adder encoding ([a68f6cf](a68f6cfa842528f20b374bcbc16139daecbe270c)) +- Expose `_reserve` ([a07fe96](a07fe96f327ce7232984659826f47c2bf3b3ef93)) +- Include rustsat version in header ([25bcc7c](25bcc7cae4c338b3fdfba2188b7519290b99afa0)) + +### Miscellaneous Tasks + +- Spellchecking documentation ([11a1229](11a12291fa16fd847baacb8450bc8bb236afee44)) +- Cleanup file endings and trailing whitespace ([9682aaa](9682aaa824830d0475a7adaac811e36f787f2e37)) +- Release ([f58b188](f58b188fa876291f717b919c6b2934f6761da2ce)) + +### Testing + +- Assert against errors ([87f533c](87f533c7f1883d79a0523370274ef3dde16dff30)) + +## rustsat-v0.6.1 - 2024-10-16 + +[ff1a3d6](ff1a3d6fea12e8d16aa97678c72b91f39eabe7bf)...[9c2bcbf](9c2bcbfd09b956624cedd8818e127e69f01c4fd3) + +### Bug Fixes + +- Use `cargo:` syntax for backwards compat ([6dae65c](6dae65c288445416e6e162e5a7e337598dad3f54)) + +### Documentation + +- Fix ambiguous links ([19b29f8](19b29f8b2f94a1d5e4fda941c759e6e9b5152458)) + +### Features + +- Add generalized totalizer to capi ([fcb3330](fcb333033b6b1c93d0cacfd067b99c23d620052f)) + +### Miscellaneous Tasks + +- Move main crate to project root ([74e8408](74e84085a5f8b6fb84c72416e0c42fa8f750a104)) +- Pedantic clippy ([fae9eef](fae9eefdf024ebe05b42e3bdf13d84e8139d07bc)) +- Clippy with most-recent nightly ([432d940](432d9401710597803fba3e3e5204f16e9853fc6e)) +- Update dependencies ([971b258](971b258d21d96f909230dec86e78bd849ea328ab)) +- Set up nix dev shell and tools package ([a7e26f2](a7e26f20594f5d7486ae6cf902b2459084172394)) +- Manual release tasks ([4ea4fa6](4ea4fa64e36fbed65289f206a19176122e0d896f)) +- Manual release tasks ([9c2bcbf](9c2bcbfd09b956624cedd8818e127e69f01c4fd3)) + +### Refactor + +- Simplify pointer handling in c-api ([bcbab4b](bcbab4b3cd18ba5449f407e039f6df70cfe47874)) +- Split capi into different files ([f519ee7](f519ee7e3e2c994843f14dfde5c9b044800a3221)) + +## rustsat-v0.5.1 - 2024-06-12 + +[f8d6dd8](f8d6dd8b8bd837ece694d2ad89bf2e28bd6966cb)...[ff1a3d6](ff1a3d6fea12e8d16aa97678c72b91f39eabe7bf) + +### Documentation + +- Update readmes ([5b26348](5b26348157cca72f64fad99f90640a8813482d7d)) +- Improve dpw documentation ([d65a0e0](d65a0e0d154ac4d802a99a3f036c6c518a027591)) + +### Features + +- Catch memory outs in clause collector ([b0ab426](b0ab426e545c85f11a66b8098c8171d776a95516)) +- Incremental precision in DPW ([09e6264](09e62646bf9ebb27843efe11bd63490d616409dd)) + +### Miscellaneous Tasks + +- Cleanup capi examples ([0fb0e12](0fb0e12a88d43ecdad6a6c7fca26fcb5297682bf)) +- Release ([3568fac](3568fac30dc97ece0e4985f73e9e205038cf744e)), Signed-off-by:Christoph <98587286+chrjabs@users.noreply.github.com> +- Release ([ff1a3d6](ff1a3d6fea12e8d16aa97678c72b91f39eabe7bf)) + +### Refactor + +- Factor out C-API ([1ce81bd](1ce81bd48611c796711d8bbeaa23a5dadc520215)) + +### Build + +- Cleanup build script ([5c5de75](5c5de75bb9bacb9590df4eef92cf47396cf1d171)) + + From b119f4182efd3f59187f80ee838f0ceeb52ee11d 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, 17 Oct 2025 15:17:01 +0300 Subject: [PATCH 4/6] chore(pyapi): update changelog --- pyapi/CHANGELOG.md | 150 +++++++++++++++++++++++++++++++++++++++++++-- 1 file changed, 146 insertions(+), 4 deletions(-) diff --git a/pyapi/CHANGELOG.md b/pyapi/CHANGELOG.md index ff27a673..da667987 100644 --- a/pyapi/CHANGELOG.md +++ b/pyapi/CHANGELOG.md @@ -2,12 +2,154 @@ All notable changes to this project will be documented in this file. -## [0.5.1] - 2024-06-12 +## Unreleased + +[db3a792](db3a792c565ef9b032819d484c5236f7dbc446d0)...[bbba25f](bbba25f4fbca47839ca3d0b00ee1a89976ba05f2) + +### Bug Fixes + +- Update patch updates (#349) ([50b0ec6](50b0ec66dec66610bc21b430a91ae39eade470f9)), Co-authored-by:renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> +- Update patch updates (#363) ([36386e5](36386e5b1f06ef64be3d40a6e36da04c79dc9299)), Co-authored-by:renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> +- Update patch updates (#412) ([9a9621d](9a9621ddde4d9d7c235f1dfcb98ac06e977a315d)), Co-authored-by:renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> + +### Documentation + +- Update badges and docs link (#366) ([83b7e24](83b7e2423d86ce894d6e53c3b08228bae8ac1175)) + +### Miscellaneous Tasks + +- Add `publish = false` where appropriate (#358) ([6fbadf7](6fbadf7115cc481304f74e9797b690fcf24e7105)) +- Update PyO3 (#393) ([1e303e0](1e303e0b9c045b7ec928b847f63c8a0cb49e2af6)) +- Switch CI to nix ([7c73dcf](7c73dcfdb7358ed64a1b70442daeb92a6fa39621)) +- Update to pyo3 0.26.0 ([3167083](3167083835cd27593339989345429876146c9231)) +- Include keep-sorted formatter ([46e505c](46e505cca3e50b7743c47288b2fb2610da3f1952)) + +### Refactor + +- Clearly mark internal features ([bbba25f](bbba25f4fbca47839ca3d0b00ee1a89976ba05f2)) + +## rustsat-v0.7.0 - 2025-04-03 + +[b5b2b3f](b5b2b3fd11bbe5f334351f256e01d21041c43605)...[db3a792](db3a792c565ef9b032819d484c5236f7dbc446d0) + +### Bug Fixes + +- Update patch updates to 0.23.5 (#288) ([56d327e](56d327e1b3973db0a52504efb6bc5a81694a9b89)), Co-authored-by:renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> + +### Documentation + +- Update shield style ([0a79def](0a79def179185332997d58471153f45cc775ae84)) + +### Features + +- Include bimander encoding ([fe9573a](fe9573acbb3201d1f674431a50dab247132761f3)) +- Include lower bounding totalizer ([9ca396c](9ca396c1dfeff295233e4f49a76bdd4b00dbe5d0)) + +### Miscellaneous Tasks + +- Update PyO3 to 0.24.0 ([85d4970](85d4970899b71599300fd72acbe9fb9c02d99a8c)) +- Force synced versions via workspace ([3ca5f43](3ca5f43c8843aa61ef584da44c545e79a3d0a067)) +- Remove deprecated CI badges ([72f4573](72f4573827bf51d9f3a02b14c92edab68417d905)) +- [**breaking**] Code spell-checking ([e269ac1](e269ac17b3d5693081f553e5e7d40ad7959c2d44)) +- Release (#334) ([db3a792](db3a792c565ef9b032819d484c5236f7dbc446d0)), resolves #269 + +* docs: update changelog + +---------, Co-authored-by:rustsat-release-plz-bot[bot] <174992831+rustsat-release-plz-bot[bot]@users.noreply.github.com>, Co-authored-by:Christoph Jabs + +### Refactor + +- [**breaking**] Don't use `anyhow` in encoding API ([1172825](117282510d8be4a05940c0913323d5ff8172d1fb)) +- [**breaking**] Remove non-db totalizer encodings ([8392fec](8392fec14fb3e9462e270fe229f14dc0c62e0a1b)) + +## rustsat-v0.6.4 - 2025-02-19 + +[91a4161](91a4161bc7a7b8f4d4998a46ce51f6449055b214)...[b5b2b3f](b5b2b3fd11bbe5f334351f256e01d21041c43605) + +### Bug Fixes + +- Stricter `pyproject.toml` requirements ([ef91128](ef911281d1b39214e3720725f58397ac1e4c3b4f)) +- Specify `__all__` in python stubs ([b50a9be](b50a9be90324ad3294ea4d49f3ba954220625c2d)) +- Update patch updates (#241) ([e0bb289](e0bb2896702d4df14f322a427fe8515e838efdb9)), Co-authored-by:renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> +- Use fxhash ([1828eef](1828eefd4f53e06f1e525e228452b34cb18836fb)) + +### Miscellaneous Tasks + +- Manual release tasks ([b5b2b3f](b5b2b3fd11bbe5f334351f256e01d21041c43605)) + +## rustsat-v0.6.3 - 2024-12-20 + +[f58b188](f58b188fa876291f717b919c6b2934f6761da2ce)...[91a4161](91a4161bc7a7b8f4d4998a46ce51f6449055b214) + +### Bug Fixes + +- Confusing parameter names ([ea5f1b8](ea5f1b8c4086dfc23d918865046fe7e1c7fdbf09)) +- Extend stubs to properly include submodules ([2f7ab25](2f7ab25cdf9f0c43152abc372e7cf253fefd9490)) + +### Documentation + +- Include type annotations ([e514a1b](e514a1bb47cec7dfdb0704d08e7bb23aa9bb7ab1)) + +### Features + +- Include `BinaryAdder` encoding ([48290ba](48290ba346cf1e9df06b02699dc05d451ce382cb)) +- Restructure python API ([4c3cd72](4c3cd72d82ae30b3c678e9dddaddffccbf7753ba)) +- Include at-most-one encodings ([d258eb1](d258eb1749efb133727bb08439fddf7b3906e16c)) + +### Miscellaneous Tasks + +- Format python example ([8b9b2ef](8b9b2efa4f7cd35b0c25bdfdfdea82da414668c9)) +- Release ([91a4161](91a4161bc7a7b8f4d4998a46ce51f6449055b214)) + +### Refactor + +- Simplify pyapi with macros ([b19eb6f](b19eb6f4260b051b59adc1aebe5f9bd7c9e49f59)) + +## rustsat-v0.6.2 - 2024-12-13 + +[9c2bcbf](9c2bcbfd09b956624cedd8818e127e69f01c4fd3)...[f58b188](f58b188fa876291f717b919c6b2934f6761da2ce) ### Miscellaneous Tasks -- Updated the following local packages: rustsat +- Spellchecking documentation ([11a1229](11a12291fa16fd847baacb8450bc8bb236afee44)) +- Cleanup file endings and trailing whitespace ([9682aaa](9682aaa824830d0475a7adaac811e36f787f2e37)) +- Release ([f58b188](f58b188fa876291f717b919c6b2934f6761da2ce)) + +## rustsat-v0.6.1 - 2024-10-16 + +[ff1a3d6](ff1a3d6fea12e8d16aa97678c72b91f39eabe7bf)...[9c2bcbf](9c2bcbfd09b956624cedd8818e127e69f01c4fd3) + +### Miscellaneous Tasks + +- Move main crate to project root ([74e8408](74e84085a5f8b6fb84c72416e0c42fa8f750a104)) +- Pedantic clippy ([fae9eef](fae9eefdf024ebe05b42e3bdf13d84e8139d07bc)) +- [**breaking**] Breaking clippy suggestions ([55a60f5](55a60f538e01c220f061223c18d65fd4836e3fe6)) +- Update to PyO3 0.22.0 ([03e888b](03e888bacb4214703be4def8e73a5d1f9e2fce8f)) +- Update dependencies ([971b258](971b258d21d96f909230dec86e78bd849ea328ab)) +- Bump pyo3 from 0.22.3 to 0.22.4 ([40cc9db](40cc9db0d338cc9db1285fd4bcbf76f3b3f1689c)), Signed-off-by:dependabot[bot] +- Bump pyo3 from 0.22.4 to 0.22.5 ([083506a](083506afb610580e0f3cb4579680558e0d363b12)), Signed-off-by:dependabot[bot] +- Manual release tasks ([4ea4fa6](4ea4fa64e36fbed65289f206a19176122e0d896f)) +- Manual release tasks ([9c2bcbf](9c2bcbfd09b956624cedd8818e127e69f01c4fd3)) + +## rustsat-v0.5.1 - 2024-06-12 + +[f8d6dd8](f8d6dd8b8bd837ece694d2ad89bf2e28bd6966cb)...[ff1a3d6](ff1a3d6fea12e8d16aa97678c72b91f39eabe7bf) + +### Documentation + +- Add missing documentation ([50990b7](50990b7224bcaef4ecd19823433fd528eb4a0806)) + +### Features + +- Catch memory outs in clause collector ([b0ab426](b0ab426e545c85f11a66b8098c8171d776a95516)) + +### Miscellaneous Tasks + +- Release ([3568fac](3568fac30dc97ece0e4985f73e9e205038cf744e)), Signed-off-by:Christoph <98587286+chrjabs@users.noreply.github.com> +- Release ([ff1a3d6](ff1a3d6fea12e8d16aa97678c72b91f39eabe7bf)) + +### Refactor -## [0.5.0] - 2024-04-30 +- Factor out Python API ([bd5cbea](bd5cbea23b8d1d9b36956b4d0d3abc97d782eae4)) -Factor Python API out into its own crate. + From 3071ee999974bb323468750f32a19f2ac4d7457f Mon Sep 17 00:00:00 2001 From: Christoph Jabs Date: Fri, 17 Oct 2025 16:06:33 +0300 Subject: [PATCH 5/6] manual fixup of release --- CHANGELOG.md | 35 ++++++++++++++++++++++++++++++++++- Cargo.lock | 26 +++++++++++++------------- Cargo.toml | 10 +++++----- batsat/CHANGELOG.md | 6 +----- cadical/CHANGELOG.md | 6 +----- capi/CHANGELOG.md | 2 +- capi/rustsat.h | 6 +++--- glucose/CHANGELOG.md | 10 +--------- ipasir/CHANGELOG.md | 6 +----- kissat/CHANGELOG.md | 14 +++++--------- minisat/CHANGELOG.md | 10 +--------- pigeons/CHANGELOG.md | 6 +----- pigeons/Cargo.toml | 2 +- pyapi/CHANGELOG.md | 6 +----- tools/CHANGELOG.md | 6 +----- 15 files changed, 70 insertions(+), 81 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index e942429a..6b46567f 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,12 +2,45 @@ All notable changes to this project will be documented in this file. -## 0.8.0 - 2025-10-17 +## 0.7.4 - 2025-10-17 ### Features - `AsRef` for `[Lit; N]`, `Vec`, and `Cl` ([#499](https://github.com/chrjabs/rustsat/pull/499)) ([6a4fe5b](6a4fe5ba9d2d3357d32d5e0224d0ca3f62f412f1)) +### Bug Fixes + +- Deadlock in external solver ([6b2f0bf](6b2f0bf1a6c8ceb1bcd3dd579f3744947560c9d2)) +- Abstract timer and use `std::time::Instant` in `wasm` ([aadef69](aadef69472923d57e99a541c64376dbccaf3a855)), fixes #455 +- Change timers from process time to thread time ([57261f5](57261f5c4993ad3bb1e38986ca9c238ed7a328d0)) +- Use `web-time` for timing measurement on `wasm` (#467) ([50d67f2](50d67f2d3c93bd3ee906104b5f0eb353fb0b4665)) +- Various dependency updates +- Changelogs for C and Python API ([8b66ace](8b66ace4d9aee334c5561f36b666e0a01201d9f0)) +- Auto cfg in documentation (#497) ([c6623bf](c6623bf230c4e21218dd374ada9d8dada45cf0e2)) + +### Documentation + +- Add note to make external solver non-verbose ([cb088b0](cb088b092ee66f6086175c0e3f1cfd01679f5851)) + +### Miscellaneous Tasks + +- Fix labeler permissions ([25fc271](25fc271dcc0caa70d8cbabb44891e453bf0d148d)) +- Make paths relative to cargo manifest ([87d6f2e](87d6f2e80ee6c757f57a31864f7e9aa1a325c2ab)) +- Add newlines at end of templates ([1f931e6](1f931e61c21abd7f979c84b19df4feba71dc11d1)) +- Add --check option ([f67835e](f67835ea3dc6ee6468c92e9b090a09d020732926)) +- Switch CI to nix ([7c73dcf](7c73dcfdb7358ed64a1b70442daeb92a6fa39621)) +- Skip mosts checks on draft PRs (#454) ([323116d](323116deedb6a30e93a6abae62687362540bfd45)) +- Check wasm compatibility ([27f1000](27f10001b4f54e27a66382adfde21be5a17b7d2c)) +- Update to pyo3 0.26.0 ([3167083](3167083835cd27593339989345429876146c9231)) +- Update dev env and `release-plz` trusted publishing (#479) ([88ac9af](88ac9af539460231238c903dc7b7cfe1285c5048)) +- Update dev env and dev rust version ([fb2070d](fb2070dc089876986ac11bd2791881527673fa86)) +- Clippy ([844a209](844a2097c9eea05375d32f0c178f83cf3ac8d633)) +- Include keep-sorted formatter ([46e505c](46e505cca3e50b7743c47288b2fb2610da3f1952)) +- Add cargo-deny ([80ac88b](80ac88b7f9b3306c5b80218d1799319dc03c6117)) +- Use new veripb ([006ddde](006ddde3d8bdb73ba5df79a4435607ee9a666a5a)) +- Generate changelogs for C and Python API (#490) ([88aa787](88aa7878c95e82c0bc117491449b5a9ba620622b)) +- Ignore commit hash links in typo checking (#493) ([04cf19b](04cf19bae3bdfdedecfa86798c746b4567dc6c51)) + ## 0.7.3 - 2025-08-07 diff --git a/Cargo.lock b/Cargo.lock index 41632f6c..0862455a 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -889,7 +889,7 @@ checksum = "9b4f627cb1b25917193a259e49bdad08f671f8d9708acfd5fe0a8c1455d87220" [[package]] name = "pigeons" -version = "0.3.0" +version = "0.2.2" dependencies = [ "itertools 0.14.0", "rustc-hash", @@ -1092,7 +1092,7 @@ dependencies = [ [[package]] name = "rustsat" -version = "0.8.0" +version = "0.7.4" dependencies = [ "anyhow", "bzip2", @@ -1120,7 +1120,7 @@ dependencies = [ [[package]] name = "rustsat-batsat" -version = "0.8.0" +version = "0.7.4" dependencies = [ "anyhow", "batsat", @@ -1131,7 +1131,7 @@ dependencies = [ [[package]] name = "rustsat-cadical" -version = "0.8.0" +version = "0.7.4" dependencies = [ "anyhow", "bindgen", @@ -1149,7 +1149,7 @@ dependencies = [ [[package]] name = "rustsat-capi" -version = "0.8.0" +version = "0.7.4" dependencies = [ "cc", "libtest-mimic", @@ -1159,7 +1159,7 @@ dependencies = [ [[package]] name = "rustsat-codegen" -version = "0.8.0" +version = "0.7.4" dependencies = [ "cbindgen", "minijinja", @@ -1170,7 +1170,7 @@ dependencies = [ [[package]] name = "rustsat-glucose" -version = "0.8.0" +version = "0.7.4" dependencies = [ "anyhow", "bindgen", @@ -1182,7 +1182,7 @@ dependencies = [ [[package]] name = "rustsat-ipasir" -version = "0.8.0" +version = "0.7.4" dependencies = [ "anyhow", "rustsat", @@ -1191,7 +1191,7 @@ dependencies = [ [[package]] name = "rustsat-kissat" -version = "0.8.0" +version = "0.7.4" dependencies = [ "anyhow", "bindgen", @@ -1208,7 +1208,7 @@ dependencies = [ [[package]] name = "rustsat-minisat" -version = "0.8.0" +version = "0.7.4" dependencies = [ "anyhow", "bindgen", @@ -1222,7 +1222,7 @@ dependencies = [ [[package]] name = "rustsat-pyapi" -version = "0.8.0" +version = "0.7.4" dependencies = [ "pyo3", "pyo3-build-config", @@ -1231,7 +1231,7 @@ dependencies = [ [[package]] name = "rustsat-solvertests" -version = "0.8.0" +version = "0.7.4" dependencies = [ "proc-macro2", "quote", @@ -1241,7 +1241,7 @@ dependencies = [ [[package]] name = "rustsat-tools" -version = "0.8.0" +version = "0.7.4" dependencies = [ "anyhow", "clap", diff --git a/Cargo.toml b/Cargo.toml index 0241d74b..58537cf9 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -18,7 +18,7 @@ members = [ resolver = "2" [workspace.package] -version = "0.8.0" +version = "0.7.4" license = "MIT" edition = "2021" rust-version = "1.76.0" # update the crate documentation if you change this @@ -42,13 +42,13 @@ glob = "0.3.3" itertools = "0.14.0" libtest-mimic = "0.8.1" nom = "7.1.3" -pigeons = { version = "0.3.0", path = "./pigeons" } +pigeons = { version = "0.2.2", path = "./pigeons" } rand = "0.9.2" rand_chacha = "0.9.0" rustc-hash = "2.1.1" -rustsat = { version = "0.8.0", path = "./", default-features = false } -rustsat-cadical = { version = "0.8.0", path = "./cadical" } -rustsat-minisat = { version = "0.8.0", path = "./minisat" } +rustsat = { version = "0.7.4", path = "./", default-features = false } +rustsat-cadical = { version = "0.7.4", path = "./cadical" } +rustsat-minisat = { version = "0.7.4", path = "./minisat" } rustsat-solvertests = { path = "./solvertests" } serde = { version = "1.0.228", features = ["derive"] } serde_json = "1.0.145" diff --git a/batsat/CHANGELOG.md b/batsat/CHANGELOG.md index 6bcd705a..c8b465f4 100644 --- a/batsat/CHANGELOG.md +++ b/batsat/CHANGELOG.md @@ -2,7 +2,7 @@ All notable changes to this project will be documented in this file. -## 0.8.0 - 2025-10-17 +## 0.7.4 - 2025-10-17 ### Bug Fixes @@ -12,10 +12,6 @@ All notable changes to this project will be documented in this file. - Include keep-sorted formatter ([46e505c](46e505cca3e50b7743c47288b2fb2610da3f1952)) -### Refactor - -- Clearly mark internal features ([bbba25f](bbba25f4fbca47839ca3d0b00ee1a89976ba05f2)) - ## 0.7.3 - 2025-08-07 diff --git a/cadical/CHANGELOG.md b/cadical/CHANGELOG.md index aaca852b..e35a2eb5 100644 --- a/cadical/CHANGELOG.md +++ b/cadical/CHANGELOG.md @@ -2,7 +2,7 @@ All notable changes to this project will be documented in this file. -## 0.8.0 - 2025-10-17 +## 0.7.4 - 2025-10-17 ### Bug Fixes @@ -14,10 +14,6 @@ All notable changes to this project will be documented in this file. - Clippy ([844a209](844a2097c9eea05375d32f0c178f83cf3ac8d633)) - Include keep-sorted formatter ([46e505c](46e505cca3e50b7743c47288b2fb2610da3f1952)) -### Refactor - -- Clearly mark internal features ([bbba25f](bbba25f4fbca47839ca3d0b00ee1a89976ba05f2)) - ## 0.7.3 - 2025-08-07 diff --git a/capi/CHANGELOG.md b/capi/CHANGELOG.md index 20116c2a..a3dc54c7 100644 --- a/capi/CHANGELOG.md +++ b/capi/CHANGELOG.md @@ -2,7 +2,7 @@ All notable changes to this project will be documented in this file. -## Unreleased +## rustsat-v0.7.4 - 2025-10-17 [b0343ca](b0343ca8feb853254afb02f3ee0f4fe480687417)...[66eafcd](66eafcd671099d2c66b2abb607176c925ed426d3) diff --git a/capi/rustsat.h b/capi/rustsat.h index d6e75cc1..fde3acea 100644 --- a/capi/rustsat.h +++ b/capi/rustsat.h @@ -6,10 +6,10 @@ #include #include #include -#define RUSTSAT_VERSION 0.8.0 +#define RUSTSAT_VERSION 0.7.4 #define RUSTSAT_VERSION_MAJOR 0 -#define RUSTSAT_VERSION_MINOR 8 -#define RUSTSAT_VERSION_PATCH 0 +#define RUSTSAT_VERSION_MINOR 7 +#define RUSTSAT_VERSION_PATCH 4 #ifdef __cplusplus namespace RustSAT { diff --git a/glucose/CHANGELOG.md b/glucose/CHANGELOG.md index 1f47c7c5..3ff99ebf 100644 --- a/glucose/CHANGELOG.md +++ b/glucose/CHANGELOG.md @@ -2,24 +2,16 @@ All notable changes to this project will be documented in this file. -## 0.8.0 - 2025-10-17 +## 0.7.4 - 2025-10-17 ### Bug Fixes - Abstract timer and use `std::time::Instant` in `wasm` ([aadef69](aadef69472923d57e99a541c64376dbccaf3a855)), fixes #455 -### Features - -- `AsRef` for `[Lit; N]`, `Vec`, and `Cl` ([#499](https://github.com/chrjabs/rustsat/pull/499)) ([6a4fe5b](6a4fe5ba9d2d3357d32d5e0224d0ca3f62f412f1)) - ### Miscellaneous Tasks - Include keep-sorted formatter ([46e505c](46e505cca3e50b7743c47288b2fb2610da3f1952)) -### Refactor - -- Clearly mark internal features ([bbba25f](bbba25f4fbca47839ca3d0b00ee1a89976ba05f2)) - ## 0.7.3 - 2025-08-07 diff --git a/ipasir/CHANGELOG.md b/ipasir/CHANGELOG.md index c701a08e..64537565 100644 --- a/ipasir/CHANGELOG.md +++ b/ipasir/CHANGELOG.md @@ -2,7 +2,7 @@ All notable changes to this project will be documented in this file. -## 0.8.0 - 2025-10-17 +## 0.7.4 - 2025-10-17 ### Bug Fixes @@ -12,10 +12,6 @@ All notable changes to this project will be documented in this file. - Include keep-sorted formatter ([46e505c](46e505cca3e50b7743c47288b2fb2610da3f1952)) -### Refactor - -- Clearly mark internal features ([bbba25f](bbba25f4fbca47839ca3d0b00ee1a89976ba05f2)) - ## 0.7.3 - 2025-08-07 diff --git a/kissat/CHANGELOG.md b/kissat/CHANGELOG.md index 14bd0e31..f678d846 100644 --- a/kissat/CHANGELOG.md +++ b/kissat/CHANGELOG.md @@ -2,23 +2,19 @@ All notable changes to this project will be documented in this file. -## 0.8.0 - 2025-10-17 - -### Bug Fixes - -- Abstract timer and use `std::time::Instant` in `wasm` ([aadef69](aadef69472923d57e99a541c64376dbccaf3a855)), fixes #455 +## 0.7.4 - 2025-10-17 ### Features - Version 4.0.4 ([750ab62](750ab628eaf2ce6a7775e500778ad80c20655a62)) -### Miscellaneous Tasks +### Bug Fixes -- Include keep-sorted formatter ([46e505c](46e505cca3e50b7743c47288b2fb2610da3f1952)) +- Abstract timer and use `std::time::Instant` in `wasm` ([aadef69](aadef69472923d57e99a541c64376dbccaf3a855)), fixes #455 -### Refactor +### Miscellaneous Tasks -- Clearly mark internal features ([bbba25f](bbba25f4fbca47839ca3d0b00ee1a89976ba05f2)) +- Include keep-sorted formatter ([46e505c](46e505cca3e50b7743c47288b2fb2610da3f1952)) diff --git a/minisat/CHANGELOG.md b/minisat/CHANGELOG.md index 2dea7b4d..4d4a4121 100644 --- a/minisat/CHANGELOG.md +++ b/minisat/CHANGELOG.md @@ -2,24 +2,16 @@ All notable changes to this project will be documented in this file. -## 0.8.0 - 2025-10-17 +## 0.7.4 - 2025-10-17 ### Bug Fixes - Abstract timer and use `std::time::Instant` in `wasm` ([aadef69](aadef69472923d57e99a541c64376dbccaf3a855)), fixes #455 -### Features - -- `AsRef` for `[Lit; N]`, `Vec`, and `Cl` ([#499](https://github.com/chrjabs/rustsat/pull/499)) ([6a4fe5b](6a4fe5ba9d2d3357d32d5e0224d0ca3f62f412f1)) - ### Miscellaneous Tasks - Include keep-sorted formatter ([46e505c](46e505cca3e50b7743c47288b2fb2610da3f1952)) -### Refactor - -- Clearly mark internal features ([bbba25f](bbba25f4fbca47839ca3d0b00ee1a89976ba05f2)) - ## 0.7.3 - 2025-08-07 diff --git a/pigeons/CHANGELOG.md b/pigeons/CHANGELOG.md index 9c6773c9..9c69b0b5 100644 --- a/pigeons/CHANGELOG.md +++ b/pigeons/CHANGELOG.md @@ -2,16 +2,12 @@ All notable changes to this project will be documented in this file. -## 0.3.0 - 2025-10-17 +## 0.2.2 - 2025-10-17 ### Miscellaneous Tasks - Include keep-sorted formatter ([46e505c](46e505cca3e50b7743c47288b2fb2610da3f1952)) -### Refactor - -- Clearly mark internal features ([bbba25f](bbba25f4fbca47839ca3d0b00ee1a89976ba05f2)) - ## 0.2.1 - 2025-08-07 diff --git a/pigeons/Cargo.toml b/pigeons/Cargo.toml index 2667b3ab..6b53753f 100644 --- a/pigeons/Cargo.toml +++ b/pigeons/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "pigeons" -version = "0.3.0" +version = "0.2.2" edition.workspace = true license.workspace = true authors = ["Christoph Jabs "] diff --git a/pyapi/CHANGELOG.md b/pyapi/CHANGELOG.md index da667987..3f8f14a9 100644 --- a/pyapi/CHANGELOG.md +++ b/pyapi/CHANGELOG.md @@ -2,7 +2,7 @@ All notable changes to this project will be documented in this file. -## Unreleased +## rustsat-v0.7.4 - 2025-10-17 [db3a792](db3a792c565ef9b032819d484c5236f7dbc446d0)...[bbba25f](bbba25f4fbca47839ca3d0b00ee1a89976ba05f2) @@ -24,10 +24,6 @@ All notable changes to this project will be documented in this file. - Update to pyo3 0.26.0 ([3167083](3167083835cd27593339989345429876146c9231)) - Include keep-sorted formatter ([46e505c](46e505cca3e50b7743c47288b2fb2610da3f1952)) -### Refactor - -- Clearly mark internal features ([bbba25f](bbba25f4fbca47839ca3d0b00ee1a89976ba05f2)) - ## rustsat-v0.7.0 - 2025-04-03 [b5b2b3f](b5b2b3fd11bbe5f334351f256e01d21041c43605)...[db3a792](db3a792c565ef9b032819d484c5236f7dbc446d0) diff --git a/tools/CHANGELOG.md b/tools/CHANGELOG.md index ceb30ecc..6bae94b2 100644 --- a/tools/CHANGELOG.md +++ b/tools/CHANGELOG.md @@ -2,17 +2,13 @@ All notable changes to this project will be documented in this file. -## 0.8.0 - 2025-10-17 +## 0.7.4 - 2025-10-17 ### Miscellaneous Tasks - Make paths relative to cargo manifest ([87d6f2e](87d6f2e80ee6c757f57a31864f7e9aa1a325c2ab)) - Switch CI to nix ([7c73dcf](7c73dcfdb7358ed64a1b70442daeb92a6fa39621)) -### Refactor - -- Clearly mark internal features ([bbba25f](bbba25f4fbca47839ca3d0b00ee1a89976ba05f2)) - ## 0.7.3 - 2025-08-07 From 8d746d5911b73b3556b0fa5f629908b48f0b58b9 Mon Sep 17 00:00:00 2001 From: Christoph Jabs Date: Fri, 17 Oct 2025 16:21:46 +0300 Subject: [PATCH 6/6] fix non-linux ci --- .github/workflows/non-linux.yml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/non-linux.yml b/.github/workflows/non-linux.yml index 59a53fd7..ff872af5 100644 --- a/.github/workflows/non-linux.yml +++ b/.github/workflows/non-linux.yml @@ -18,7 +18,7 @@ jobs: - uses: Swatinem/rust-cache@v2 - uses: taiki-e/install-action@nextest - name: ๐Ÿงช Run tests - run: cargo nextest run --profile ci --workspace --exclude rustsat-pyapi --verbose --features=all,internals + run: cargo nextest run --profile ci --workspace --exclude rustsat-pyapi --verbose --features=_test windows-tests: name: ๐Ÿงช Windows workspace tests runs-on: windows-latest @@ -27,7 +27,7 @@ jobs: - uses: Swatinem/rust-cache@v2 - uses: taiki-e/install-action@nextest - name: ๐Ÿงช Run tests - run: cargo nextest run --profile ci --workspace --exclude rustsat-cadical --exclude rustsat-kissat --exclude rustsat-pyapi --verbose --features=all,internals + run: cargo nextest run --profile ci --workspace --exclude rustsat-cadical --exclude rustsat-kissat --exclude rustsat-pyapi --verbose --features=_test macos-msrv-build: name: ๐Ÿ—๏ธ MacOS MSRV build runs-on: macos-latest @@ -37,7 +37,7 @@ jobs: - uses: taiki-e/install-action@cargo-hack - uses: taiki-e/install-action@nextest - name: ๐Ÿ—๏ธ Build - run: cargo hack build --rust-version --workspace --verbose --features=all,internals --ignore-unknown-features + run: cargo hack build --rust-version --workspace --verbose --features=_test --ignore-unknown-features windows-msrv-build: name: ๐Ÿ—๏ธ Windows MSRV build runs-on: windows-latest @@ -47,7 +47,7 @@ jobs: - uses: taiki-e/install-action@cargo-hack - uses: taiki-e/install-action@nextest - name: ๐Ÿ—๏ธ Build - run: cargo hack build --rust-version --workspace --exclude rustsat-cadical --exclude rustsat-kissat --exclude rustsat-pyapi --verbose --features=all,internals --ignore-unknown-features + run: cargo hack build --rust-version --workspace --exclude rustsat-cadical --exclude rustsat-kissat --exclude rustsat-pyapi --verbose --features=_test --ignore-unknown-features python-api: name: ๐Ÿ Python API strategy: