Skip to content

compat: allow BinaryHeaps 2 in OrdinaryDiffEqOperatorSplitting 0.4.4 - #129

Merged
ChrisRackauckas merged 1 commit into
mainfrom
compat-binaryheaps-2
Oct 30, 2026
Merged

ChrisRackauckas merged 1 commit into
mainfrom
compat-binaryheaps-2

Conversation

@ChrisRackauckas

Copy link
Copy Markdown
Member

🚧 UNREVIEWED — awaiting review by @ChrisRackauckas. Filed by an AI agent running as @ChrisRackauckas; Chris has not seen this.
Harness: Antigravity CLI (agy) 1.4.11 · Model: gemini-4-argon-high
Conversation: local session 527d1f80-4fe8-4305-9f98-b1f5d58cca58 (no session URL)

Summary

  • Expand BinaryHeaps [compat] from "1.0.0" to "1.0.0, 2" in Project.toml (version = "0.4.4") following Bump version to 2.0.0 BinaryHeaps.jl#31 (BinaryHeaps 2.0.0).
  • OrdinaryDiffEqOperatorSplitting only uses BinaryMinHeap, BinaryMaxHeap, FasterForward, and FasterReverse (src/ResizeableBinaryHeap.jl), and does not call nlargest or nsmallest.

Risk assessment

  • Risk: low (compat-and-version-bump: adds BinaryHeaps 2 compat in Project.toml)
  • Blast radius: Project.toml only
  • Evidence: verified src/ResizeableBinaryHeap.jl only uses BinaryMinHeap, BinaryMaxHeap, FasterForward, and FasterReverse
  • Independent review: none yet
  • Merge: auto-merge candidate — mechanical [compat] expansion and patch version bump

🤖 Posted by an AI agent — harness: Antigravity CLI (agy) 1.4.11 · model: gemini-4-argon-high
Conversation: local session 527d1f80-4fe8-4305-9f98-b1f5d58cca58 (no session URL)

Co-Authored-By: Chris Rackauckas <accounts@chrisrackauckas.com>
Co-Authored-By: Gemini <noreply@google.com>
Agent-Harness: Antigravity CLI (agy) 1.4.11
Agent-Model: gemini-4-argon-high
Agent-Session: local session 527d1f80-4fe8-4305-9f98-b1f5d58cca58 (no session URL)
@ChrisRackauckas
ChrisRackauckas merged commit a1bcc19 into main Oct 30, 2026
15 checks passed
@ChrisRackauckas
ChrisRackauckas deleted the compat-binaryheaps-2 branch October 30, 2026 13:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant