Skip to content

Towards soundness of PyByteArray::to_vec #4742

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
ngoldbaum merged 14 commits into from
Jul 24, 2025
Merged

Towards soundness of PyByteArray::to_vec #4742

Changes from 1 commit
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
982ac64
Towards soundness of PyByteArrayMethods::to_vec
robsdedude Nov 29, 2024
15e602b
Add changelog entry
robsdedude Nov 29, 2024
b6cd9a6
Reword changelog entry
robsdedude Nov 29, 2024
2ea582a
Merge branch 'main' into byte-array-soundness
robsdedude Jul 20, 2025
5630668
Add test
robsdedude Jul 20, 2025
3819f78
Skip test failing for unsound CPython 3.13
robsdedude Jul 20, 2025
b22fbbc
Improve docs
robsdedude Jul 20, 2025
4216788
Add safety comment to unsafe invocation
robsdedude Jul 20, 2025
2def97f
Limit test by time AND number of rounds
robsdedude Jul 20, 2025
dc15f45
Test: fix MSRV compatibility & simplify scenario
robsdedude Jul 20, 2025
8c4fd92
Fix example code
robsdedude Jul 20, 2025
df74c80
Further reduce required test duration
robsdedude Jul 20, 2025
7d82de9
Skip threaded test on wasm
robsdedude Jul 24, 2025
53c990a
Rewrite cfg attribute for llvm-cov to not turn into llvm-cough
robsdedude Jul 24, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Add changelog entry
  • Loading branch information
@robsdedude
robsdedude committed Nov 29, 2024
commit 15e602be9cf95bdf6dbebd1a51a0344260bca0ce
1 change: 1 addition & 0 deletions newsfragments/4742.fixed.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
Improved soundness of `PyByteArray::to_vec`.