chore: release v0.25.1

Cargo.toml

@@ -22,7 +22,7 @@ edition = "2021"
 rust-version = "1.86"
 
 [workspace.dependencies]
-differential-dataflow = { path = "differential-dataflow", default-features = false, version = "0.25.0" }
+differential-dataflow = { path = "differential-dataflow", default-features = false, version = "0.25.1" }
 timely = { version = "0.31", default-features = false }
 columnar = { version = "0.13", default-features = false }
 #timely = { git = "https://github.com/TimelyDataflow/timely-dataflow", default-features = false }

differential-dataflow/CHANGELOG.md

@@ -7,6 +7,14 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.25.1](https://github.com/TimelyDataflow/differential-dataflow/compare/differential-dataflow-v0.25.0...differential-dataflow-v0.25.1) - 2026-07-15
+
+### Other
+
+- assert arriving batches span neither preload nor acknowledged
+- Restore strongly_connected_at; add prioritized SCC regression tests
+- process in-flight batches overtaken by advance_upper
+
 ## [0.25.0](https://github.com/TimelyDataflow/differential-dataflow/compare/differential-dataflow-v0.24.0...differential-dataflow-v0.25.0) - 2026-07-15
 
 ### Added

differential-dataflow/Cargo.toml

@@ -1,7 +1,7 @@
 [package]
 
 name = "differential-dataflow"
-version = "0.25.0"
+version = "0.25.1"
 authors = ["Frank McSherry <fmcsherry@me.com>"]
 
 description = "An incremental data-parallel dataflow platform"

dogsdogsdogs/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "differential-dogs3"
-version = "0.25.0"
+version = "0.25.1"
 authors = ["Frank McSherry <fmcsherry@me.com>"]
 license = "MIT"
 edition.workspace = true