chore: release #470

rustsat-release-plz-bot · 2025-09-06T01:47:00Z

🤖 New release

pigeons: 0.2.1 -> 0.3.0 (⚠ API breaking changes)
rustsat: 0.7.3 -> 0.8.0 (⚠ API breaking changes)
rustsat-batsat: 0.7.3 -> 0.8.0 (✓ API compatible changes)
rustsat-minisat: 0.7.3 -> 0.8.0 (✓ API compatible changes)
rustsat-cadical: 0.7.3 -> 0.8.0 (✓ API compatible changes)
rustsat-tools: 0.7.3 -> 0.8.0
rustsat-glucose: 0.7.3 -> 0.8.0 (✓ API compatible changes)
rustsat-ipasir: 0.7.3 -> 0.8.0 (✓ API compatible changes)
rustsat-kissat: 0.7.3 -> 0.8.0 (✓ API compatible changes)

⚠ `pigeons` breaking changes

--- failure feature_missing: package feature removed or renamed ---

Description:
A feature has been removed from this package's Cargo.toml. This will break downstream crates which enable that feature.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#cargo-feature-remove
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.44.0/src/lints/feature_missing.ron

Failed in:
  feature all in the package's Cargo.toml

⚠ `rustsat` breaking changes

--- failure enum_missing: pub enum removed or renamed ---

Description:
A publicly-visible enum cannot be imported by its prior path. A `pub use` may have been removed, or the enum itself may have been renamed or removed entirely.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.44.0/src/lints/enum_missing.ron

Failed in:
  enum rustsat::encodings::totdb::Node, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/totdb.rs:718
  enum rustsat::encodings::totdb::Semantics, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/totdb.rs:638

--- failure feature_missing: package feature removed or renamed ---

Description:
A feature has been removed from this package's Cargo.toml. This will break downstream crates which enable that feature.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#cargo-feature-remove
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.44.0/src/lints/feature_missing.ron

Failed in:
  feature internals in the package's Cargo.toml
  feature all in the package's Cargo.toml

--- failure function_missing: pub fn removed or renamed ---

Description:
A publicly-visible function cannot be imported by its prior path. A `pub use` may have been removed, or the function itself may have been renamed or removed entirely.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.44.0/src/lints/function_missing.ron

Failed in:
  function rustsat::instances::fio::dimacs::parse_lit, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/instances/fio/dimacs.rs:491
  function rustsat::encodings::pb::dpw::con_weight_queue, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/pb/dpw.rs:683
  function rustsat::encodings::pb::dpw::encode_output, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/pb/dpw.rs:1010
  function rustsat::utils::digits, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/utils.rs:8
  function rustsat::encodings::pb::dpw::build_structure, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/pb/dpw.rs:711
  function rustsat::instances::fio::opb::literal, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/instances/fio/opb.rs:226
  function rustsat::encodings::pb::dpw::lit_weight_queue, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/pb/dpw.rs:665
  function rustsat::encodings::pb::dpw::merge_structures, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/pb/dpw.rs:842
  function rustsat::encodings::pb::dpw::enforce_ub, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/pb/dpw.rs:1040

--- failure inherent_method_missing: pub method removed or renamed ---

Description:
A publicly-visible method or associated fn is no longer available under its prior name. It may have been renamed or removed entirely.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.44.0/src/lints/inherent_method_missing.ron

Failed in:
  Totalizer::from_raw, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/card/totalizer.rs:63
  Totalizer::from_raw, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/card/totalizer.rs:63
  Totalizer::from_raw, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/card/totalizer.rs:63
  Totalizer::from_raw, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/card/totalizer.rs:63
  Totalizer::from_raw, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/card/totalizer.rs:63
  Totalizer::from_raw, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/card/totalizer.rs:63
  Totalizer::from_raw, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/card/totalizer.rs:63
  Totalizer::from_raw, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/card/totalizer.rs:63
  Totalizer::from_raw, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/card/totalizer.rs:63
  Totalizer::from_raw, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/card/totalizer.rs:63
  Totalizer::from_raw, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/card/totalizer.rs:63
  Totalizer::from_raw, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/card/totalizer.rs:63
  Totalizer::from_raw, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/card/totalizer.rs:63
  Totalizer::from_raw, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/card/totalizer.rs:63
  GeneralizedTotalizer::from_raw, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/pb/gte.rs:61
  GeneralizedTotalizer::from_raw, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/pb/gte.rs:61
  GeneralizedTotalizer::from_raw, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/pb/gte.rs:61
  GeneralizedTotalizer::from_raw, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/pb/gte.rs:61
  GeneralizedTotalizer::from_raw, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/pb/gte.rs:61
  GeneralizedTotalizer::from_raw, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/pb/gte.rs:61
  DynamicPolyWatchdog::add_input, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/pb/dpw.rs:100
  DynamicPolyWatchdog::add_input, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/pb/dpw.rs:100

--- failure module_missing: pub module removed or renamed ---

Description:
A publicly-visible module cannot be imported by its prior path. A `pub use` may have been removed, or the module may have been renamed, removed, or made non-public.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.44.0/src/lints/module_missing.ron

Failed in:
  mod rustsat::encodings::totdb, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings.rs:108
  mod rustsat::encodings::pb::gte::referenced, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/pb/gte.rs:522
  mod rustsat::encodings::pb::dpw::referenced, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/pb/dpw.rs:446
  mod rustsat::encodings::nodedb, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings.rs:88
  mod rustsat::encodings::totdb::cert, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/totdb/cert.rs:1
  mod rustsat::encodings::card::totalizer::referenced, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/card/totalizer.rs:679

--- failure struct_missing: pub struct removed or renamed ---

Description:
A publicly-visible struct cannot be imported by its prior path. A `pub use` may have been removed, or the struct itself may have been renamed or removed entirely.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.44.0/src/lints/struct_missing.ron

Failed in:
  struct rustsat::encodings::totdb::cert::SemDefs, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/totdb/cert.rs:1190
  struct rustsat::encodings::card::totalizer::referenced::Tot, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/card/totalizer.rs:704
  struct rustsat::encodings::pb::dpw::Structure, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/pb/dpw.rs:227
  struct rustsat::encodings::totdb::AssignIter, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/totdb.rs:1530
  struct rustsat::encodings::pb::dpw::referenced::DynamicPolyWatchdog, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/pb/dpw.rs:471
  struct rustsat::encodings::totdb::cert::SemDefId, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/totdb/cert.rs:1220
  struct rustsat::encodings::pb::gte::referenced::Gte, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/pb/gte.rs:543
  struct rustsat::encodings::pb::adder::Structure, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/pb/adder.rs:60
  struct rustsat::encodings::pb::gte::referenced::GteCell, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/pb/gte.rs:560
  struct rustsat::encodings::card::totalizer::referenced::TotCell, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/card/totalizer.rs:720
  struct rustsat::encodings::nodedb::NodeId, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/nodedb.rs:23
  struct rustsat::encodings::totdb::Db, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/totdb.rs:45
  struct rustsat::encodings::pb::dpw::referenced::DynamicPolyWatchdogCell, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/pb/dpw.rs:486
  struct rustsat::encodings::nodedb::NodeCon, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/nodedb.rs:157
  struct rustsat::encodings::totdb::UnitNode, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/totdb.rs:1092
  struct rustsat::encodings::totdb::GeneralNode, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/totdb.rs:1150
  struct rustsat::NotAllowed, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/lib.rs:132

--- failure trait_missing: pub trait removed or renamed ---

Description:
A publicly-visible trait cannot be imported by its prior path. A `pub use` may have been removed, or the trait itself may have been renamed or removed entirely.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.44.0/src/lints/trait_missing.ron

Failed in:
  trait rustsat::encodings::nodedb::NodeLike, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/nodedb.rs:113
  trait rustsat::encodings::nodedb::NodeById, previously in file /tmp/nix-shell.1rMQqw/.tmphMfwd3/rustsat/src/encodings/nodedb.rs:370

Changelog

`pigeons`

0.3.0 - 2025-10-09

Miscellaneous Tasks

Include keep-sorted formatter (46e505c)

Refactor

Clearly mark internal features (bbba25f)

`rustsat`

0.8.0 - 2025-10-09

Bug Fixes

Update patch updates (#449) (73bd463), Co-authored-by:renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>

Update patch updates (#451) (5b5abba), Co-authored-by:renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>

Update rust crate proc-macro2 to v1.0.101 (#452) (ab78803), Co-authored-by:renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>

Update rust crate minijinja to 2.12.0 (#460) (1e0a9fe), Co-authored-by:renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>

Abstract timer and use std::time::Instant in wasm (aadef69), fixes rustsat-batsat depends on cpu_time, which isn't WASM-compatible #455

Change timers from process time to thread time (57261f5)

Use web-time for timing measurement on wasm (#467) (50d67f2)

Miscellaneous Tasks

Add --check option (f67835e)

Update to pyo3 0.26.0 (3167083)

Clippy (844a209)

Include keep-sorted formatter (46e505c)

Refactor

Clearly mark internal features (bbba25f)

Testing

Test invalid var deserialization (fa49044)

`rustsat-batsat`

0.8.0 - 2025-10-09

Bug Fixes

Abstract timer and use std::time::Instant in wasm (aadef69), fixes rustsat-batsat depends on cpu_time, which isn't WASM-compatible #455

Miscellaneous Tasks

Include keep-sorted formatter (46e505c)

Refactor

Clearly mark internal features (bbba25f)

`rustsat-minisat`

0.8.0 - 2025-10-09

Bug Fixes

Abstract timer and use std::time::Instant in wasm (aadef69), fixes rustsat-batsat depends on cpu_time, which isn't WASM-compatible #455

Miscellaneous Tasks

Include keep-sorted formatter (46e505c)

Refactor

Clearly mark internal features (bbba25f)

`rustsat-cadical`

0.8.0 - 2025-10-09

Bug Fixes

Abstract timer and use std::time::Instant in wasm (aadef69), fixes rustsat-batsat depends on cpu_time, which isn't WASM-compatible #455

Miscellaneous Tasks

Clippy (844a209)

Include keep-sorted formatter (46e505c)

Refactor

Clearly mark internal features (bbba25f)

`rustsat-tools`

0.8.0 - 2025-10-09

Miscellaneous Tasks

Make paths relative to cargo manifest (87d6f2e)

Switch CI to nix (7c73dcf)

Refactor

Clearly mark internal features (bbba25f)

`rustsat-glucose`

0.8.0 - 2025-10-09

Bug Fixes

Abstract timer and use std::time::Instant in wasm (aadef69), fixes rustsat-batsat depends on cpu_time, which isn't WASM-compatible #455

Miscellaneous Tasks

Include keep-sorted formatter (46e505c)

Refactor

Clearly mark internal features (bbba25f)

`rustsat-ipasir`

0.8.0 - 2025-10-09

Bug Fixes

Abstract timer and use std::time::Instant in wasm (aadef69), fixes rustsat-batsat depends on cpu_time, which isn't WASM-compatible #455

Miscellaneous Tasks

Include keep-sorted formatter (46e505c)

Refactor

Clearly mark internal features (bbba25f)

`rustsat-kissat`

0.8.0 - 2025-10-09

Bug Fixes

Abstract timer and use std::time::Instant in wasm (aadef69), fixes rustsat-batsat depends on cpu_time, which isn't WASM-compatible #455

Miscellaneous Tasks

Include keep-sorted formatter (46e505c)

Refactor

Clearly mark internal features (bbba25f)

This PR was generated with release-plz.

chrjabs · 2025-10-08T15:34:30Z

NOTE: As stated in #489, this release will not be treated as a major bump, the "breaking" changes are just proper treatment of internal unstable features.

rustsat-release-plz-bot bot added the release label Sep 6, 2025

github-actions bot added solvers Related to solver interfaces c-api solvers/cadical solvers/kissat solvers/glucose solvers/minisat solvers/batsat pigeons Related to the `pigeons` VeriPB crate labels Sep 6, 2025

rustsat-release-plz-bot bot force-pushed the release-plz-2025-09-06T01-46-56Z branch 5 times, most recently from 02f63f4 to e1533c2 Compare September 13, 2025 00:45

rustsat-release-plz-bot bot force-pushed the release-plz-2025-09-06T01-46-56Z branch 6 times, most recently from 2a23555 to c9197f9 Compare September 19, 2025 22:23

rustsat-release-plz-bot bot force-pushed the release-plz-2025-09-06T01-46-56Z branch 2 times, most recently from 77bf4e4 to 69b51c6 Compare September 24, 2025 12:58

rustsat-release-plz-bot bot force-pushed the release-plz-2025-09-06T01-46-56Z branch 5 times, most recently from 1d930b8 to 69af480 Compare October 6, 2025 10:27

rustsat-release-plz-bot bot force-pushed the release-plz-2025-09-06T01-46-56Z branch from 7bdadf2 to 98425d8 Compare October 8, 2025 13:51

rustsat-release-plz-bot bot force-pushed the release-plz-2025-09-06T01-46-56Z branch from 58f7410 to 0a0b86b Compare October 9, 2025 14:06

chrjabs and others added 5 commits October 9, 2025 17:36

fix(ci): changelogs for C and Python API

008d83c

chore: release

b18a759

chore(capi): update version in header

57caadc

chore(capi): update changelog

4c35994

chore: release

4b38a78

rustsat-release-plz-bot bot force-pushed the release-plz-2025-09-06T01-46-56Z branch 2 times, most recently from 3f2451d to 4b38a78 Compare October 9, 2025 15:34

chrjabs force-pushed the main branch from 008d83c to 40037fc Compare October 9, 2025 15:40

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

chore: release #470

chore: release #470

Uh oh!

rustsat-release-plz-bot bot commented Sep 6, 2025 •

edited

Loading

Uh oh!

chrjabs commented Oct 8, 2025

Uh oh!

Uh oh!

chore: release #470

Are you sure you want to change the base?

chore: release #470

Uh oh!

Conversation

rustsat-release-plz-bot bot commented Sep 6, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

🤖 New release

⚠ pigeons breaking changes

⚠ rustsat breaking changes

pigeons

0.3.0 - 2025-10-09

Miscellaneous Tasks

Refactor

rustsat

0.8.0 - 2025-10-09

Bug Fixes

Miscellaneous Tasks

Refactor

Testing

rustsat-batsat

0.8.0 - 2025-10-09

Bug Fixes

Miscellaneous Tasks

Refactor

rustsat-minisat

0.8.0 - 2025-10-09

Bug Fixes

Miscellaneous Tasks

Refactor

rustsat-cadical

0.8.0 - 2025-10-09

Bug Fixes

Miscellaneous Tasks

Refactor

rustsat-tools

0.8.0 - 2025-10-09

Miscellaneous Tasks

Refactor

rustsat-glucose

0.8.0 - 2025-10-09

Bug Fixes

Miscellaneous Tasks

Refactor

rustsat-ipasir

0.8.0 - 2025-10-09

Bug Fixes

Miscellaneous Tasks

Refactor

rustsat-kissat

0.8.0 - 2025-10-09

Bug Fixes

Miscellaneous Tasks

Refactor

Uh oh!

chrjabs commented Oct 8, 2025

Uh oh!

Uh oh!

rustsat-release-plz-bot bot commented Sep 6, 2025 •

edited

Loading

⚠ `pigeons` breaking changes

⚠ `rustsat` breaking changes

`pigeons`

`rustsat`

`rustsat-batsat`

`rustsat-minisat`

`rustsat-cadical`

`rustsat-tools`

`rustsat-glucose`

`rustsat-ipasir`

`rustsat-kissat`