From 4ea4fa64e36fbed65289f206a19176122e0d896f Mon Sep 17 00:00:00 2001 From: Christoph Jabs Date: Wed, 16 Oct 2024 16:02:53 +0300 Subject: [PATCH] chore: manual release tasks --- CHANGELOG.md | 35 ++++++++--------------------------- cadical/CHANGELOG.md | 18 ++++-------------- capi/Cargo.toml | 2 +- cliff.toml | 2 +- glucose/CHANGELOG.md | 2 -- ipasir/CHANGELOG.md | 5 ----- kissat/CHANGELOG.md | 9 +-------- minisat/CHANGELOG.md | 2 -- pyapi/Cargo.toml | 2 +- release-plz.toml | 5 ----- scripts/sync-versions.sh | 2 +- tools/CHANGELOG.md | 5 +---- 12 files changed, 18 insertions(+), 71 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index cc6040f5..3b549a9d 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,18 +4,6 @@ All notable changes to this project will be documented in this file. ## [0.6.0] - 2024-10-16 -### Bug Fixes - -- Pin python runners to `ubuntu-22.04` -- Pin capi runner to `ubuntu-22.04` -- Pin maturin to 1.6.0 for sdist build - -### Documentation - -- Fix ambiguous links -- Mark `internals` properly -- Fix typos - ### Features - External solver interface @@ -35,25 +23,23 @@ All notable changes to this project will be documented in this file. - Commander at-most-one encoding - Bimander at-most-one encoding +### Documentation + +- Fix ambiguous links +- Mark `internals` properly +- Fix typos + ### Miscellaneous Tasks - Move main crate to project root - Pedantic clippy - [**breaking**] Breaking clippy suggestions - [**breaking**] Rename constraint types -- Ci for `next-major` branch -- Update pages on every `main` commit - Update dependencies - Run clippy nightly on prs -- Only set rustsat release as "latest" on github - Update dependencies -- Clippy -- Update maturin and mypy -- Update python packages -- Bump pyo3 from 0.22.3 to 0.22.4 -- Bump install-pinned/mypy -- Bump cc from 1.1.28 to 1.1.30 -- Bump pyo3 from 0.22.4 to 0.22.5 +- Clippy with most-recent nightly +- Set up nix dev shell and tools package ### Refactor @@ -69,11 +55,6 @@ All notable changes to this project will be documented in this file. - [**breaking**] Mark unchecked functions as unsafe -### Misc - -- Clippy with most-recent nightly -- Set up nix dev shell and tools package - ## [0.5.1] - 2024-06-12 diff --git a/cadical/CHANGELOG.md b/cadical/CHANGELOG.md index 956fe461..263899ba 100644 --- a/cadical/CHANGELOG.md +++ b/cadical/CHANGELOG.md @@ -9,25 +9,22 @@ All notable changes to this project will be documented in this file. - Ensure solvers are always linked statically - Don't unnecessarily rebuild cadical - Accidental double init -- Use `cargo:` syntax for backwards compat +- Use `cargo:` syntax in build script for backwards compatibility ### Documentation -- Describe cpp source customization +- Describe CPP source customization ### Features -- CaDiCal Version 2.0.0 +- CaDiCal Versions 2.0.0 and 2.1.0 - `Propagate` trait -- `Cl` as light-weight DST for clauses - Allow applying custom patches - Allow specifying custom cpp src directory -- Support version 2.1.0 ### Miscellaneous Tasks - Fix stray feature reference -- Move main crate to project root - Pedantic clippy - [**breaking**] Breaking clippy suggestions @@ -35,19 +32,12 @@ All notable changes to this project will be documented in this file. - [**breaking**] Make reading functions take reader by reference - Use bindgen to generate solver bindings +- Keep patch code in separate files ### Testing - Add tests for `FlipLit` trait -### Misc - -- Set up nix dev shell and tools package - -### Refac - -- Keep patch code in separate files - ## [0.3.1] - 2024-06-12 diff --git a/capi/Cargo.toml b/capi/Cargo.toml index 719d38f2..f9c11ba1 100644 --- a/capi/Cargo.toml +++ b/capi/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-capi" -version = "0.5.1" +version = "0.6.0" edition.workspace = true authors = ["Christoph Jabs "] license.workspace = true diff --git a/cliff.toml b/cliff.toml index 7beeacaa..f2cce28f 100644 --- a/cliff.toml +++ b/cliff.toml @@ -60,7 +60,7 @@ commit_parsers = [ { message = "^chore\\(deps\\)", skip = true }, { message = "^chore\\(pr\\)", skip = true }, { message = "^chore\\(pull\\)", skip = true }, - { message = "^chore|ci", group = "Miscellaneous Tasks" }, + { message = "^chore|ci|misc", group = "Miscellaneous Tasks" }, { body = ".*security", group = "Security" }, { message = "^revert", group = "Revert" }, ] diff --git a/glucose/CHANGELOG.md b/glucose/CHANGELOG.md index c40c039b..ed7b9a1a 100644 --- a/glucose/CHANGELOG.md +++ b/glucose/CHANGELOG.md @@ -11,11 +11,9 @@ All notable changes to this project will be documented in this file. ### Features - `Propagate` trait -- `Cl` as light-weight DST for clauses ### Miscellaneous Tasks -- Move main crate to project root - Pedantic clippy ### Refactor diff --git a/ipasir/CHANGELOG.md b/ipasir/CHANGELOG.md index ba89e87a..7abbb57d 100644 --- a/ipasir/CHANGELOG.md +++ b/ipasir/CHANGELOG.md @@ -4,13 +4,8 @@ All notable changes to this project will be documented in this file. ## [0.1.2] - 2024-10-16 -### Features - -- `Cl` as light-weight DST for clauses - ### Miscellaneous Tasks -- Move main crate to project root - Pedantic clippy diff --git a/kissat/CHANGELOG.md b/kissat/CHANGELOG.md index 9cba79ac..fc27499e 100644 --- a/kissat/CHANGELOG.md +++ b/kissat/CHANGELOG.md @@ -10,13 +10,10 @@ All notable changes to this project will be documented in this file. ### Features -- `Cl` as light-weight DST for clauses -- Kissat v4.0.0 -- Support version 4.0.1 +- Kissat versions 4.0.0 and 4.0.1 ### Miscellaneous Tasks -- Move main crate to project root - Pedantic clippy - [**breaking**] Breaking clippy suggestions @@ -25,10 +22,6 @@ All notable changes to this project will be documented in this file. - [**breaking**] Make reading functions take reader by reference - Use bindgen to generate solver bindings -### Misc - -- Set up nix dev shell and tools package - ## [0.2.1] - 2024-06-12 diff --git a/minisat/CHANGELOG.md b/minisat/CHANGELOG.md index e913f0a3..9e2747b5 100644 --- a/minisat/CHANGELOG.md +++ b/minisat/CHANGELOG.md @@ -7,11 +7,9 @@ All notable changes to this project will be documented in this file. ### Features - `Propagate` trait -- `Cl` as light-weight DST for clauses ### Miscellaneous Tasks -- Move main crate to project root - Pedantic clippy ### Refactor diff --git a/pyapi/Cargo.toml b/pyapi/Cargo.toml index 41fa6ede..cd7fabb8 100644 --- a/pyapi/Cargo.toml +++ b/pyapi/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-pyapi" -version = "0.5.1" +version = "0.6.0" edition.workspace = true authors = ["Christoph Jabs "] license.workspace = true diff --git a/release-plz.toml b/release-plz.toml index 5930fa7a..91721b5d 100644 --- a/release-plz.toml +++ b/release-plz.toml @@ -46,8 +46,3 @@ git_release_enable = false name = "rustsat-pyapi" release = false git_release_enable = false - -[[package]] -name = "rustsat-batsat" -release = false -git_release_enable = false diff --git a/scripts/sync-versions.sh b/scripts/sync-versions.sh index d4772591..d7e311bc 100755 --- a/scripts/sync-versions.sh +++ b/scripts/sync-versions.sh @@ -1,6 +1,6 @@ #!/usr/bin/env bash -VERSION=$(grep '^version = "[[:digit:]]\+.[[:digit:]]\+.[[:digit:]]\+"' rustsat/Cargo.toml | cut -d '"' -f2) +VERSION=$(grep '^version = "[[:digit:]]\+.[[:digit:]]\+.[[:digit:]]\+"' Cargo.toml | cut -d '"' -f2) SED_PATTERN="s/^version = \"[[:digit:]]\+.[[:digit:]]\+.[[:digit:]]\+\"$/version = \"${VERSION}\"/g" # sync C-API version diff --git a/tools/CHANGELOG.md b/tools/CHANGELOG.md index 82aad224..545e6ff4 100644 --- a/tools/CHANGELOG.md +++ b/tools/CHANGELOG.md @@ -18,10 +18,7 @@ All notable changes to this project will be documented in this file. ### Miscellaneous Tasks - Clippy - -### Misc - -- Set up nix dev shell and tools package +- Package for Nix ## [0.3.1] - 2024-06-12