Skip to content

fix Disjoint Pool bucket_free_chunk - #1543

Merged
bratpiorka merged 1 commit into
oneapi-src:mainfrom
bratpiorka:rrudnick_fix_dp_free_chunk
Nov 13, 2025
Merged

fix Disjoint Pool bucket_free_chunk#1543
bratpiorka merged 1 commit into
oneapi-src:mainfrom
bratpiorka:rrudnick_fix_dp_free_chunk

Conversation

@bratpiorka

@bratpiorka bratpiorka commented Nov 12, 2025

Copy link
Copy Markdown
Contributor

@bratpiorka
bratpiorka force-pushed the rrudnick_fix_dp_free_chunk branch 3 times, most recently from b6ff330 to d396fbe Compare November 13, 2025 09:03
@bratpiorka bratpiorka changed the title [WIP] dp fix free chunk fix Disjoint Pool bucket_free_chunk Nov 13, 2025
@bratpiorka
bratpiorka force-pushed the rrudnick_fix_dp_free_chunk branch from d396fbe to 59f8f4a Compare November 13, 2025 10:15
@bratpiorka
bratpiorka marked this pull request as ready for review November 13, 2025 11:00
@bratpiorka
bratpiorka requested a review from a team as a code owner November 13, 2025 11:00
@bratpiorka
bratpiorka requested review from ldorau and lplewa November 13, 2025 11:00
@ldorau

ldorau commented Nov 13, 2025

Copy link
Copy Markdown
Contributor

@bratpiorka I suppose it fixes #1492 ?

@bratpiorka

Copy link
Copy Markdown
Contributor Author

@bratpiorka I suppose it fixes #1492 ?

yes

@bratpiorka
bratpiorka merged commit 32421eb into oneapi-src:main Nov 13, 2025
75 checks passed
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.

3 participants