Skip to content

Pull requests: angr/claripy

New pull request New
13 Open 575 Closed
13 Open 575 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Bump pinned z3 version to 4.16.0.0 (latest)
#698 opened Feb 20, 2026 by rhelmot Member Loading…
3
Add regression tests for __and__ simplifier with If expressions
#696 opened Feb 14, 2026 by zardus Member Loading…
3 tasks done
4
Add helper function claripy.replace_slice
#689 opened Jan 2, 2026 by unexondev Loading…
5
Disable auto-simplification
#600 opened Feb 26, 2025 by twizmwazin Member • Draft
Update z3 to 4.14.0.0
#599 opened Feb 24, 2025 by twizmwazin Member Loading…
Fix some low hanging type issues
#585 opened Jan 2, 2025 by twizmwazin Member Loading…
Remove uninitialized member from Base
#547 opened Oct 4, 2024 by twizmwazin Member Loading…
Remove special identical implementation for BV
#517 opened Sep 24, 2024 by twizmwazin Member Loading…
Breakup operations.py
#516 opened Sep 24, 2024 by twizmwazin Member Loading…
Add test cases for issues in #324
#466 opened Sep 3, 2024 by twizmwazin Member Loading…
Fix hang in TestStrings.test_index_of_symbolic_start_idx
#453 opened Aug 29, 2024 by spshah1701 Contributor Loading…
1
2
Refactor into Rust
#404 opened Jun 20, 2024 by twizmwazin Member • Draft
1
fix #383
#385 opened Dec 26, 2023 by Lerr1uqs Loading…
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.