Skip to content

Pull requests: diffblue/cbmc

New pull request New
255 Open 7,274 Closed
255 Open 7,274 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

C library: syscall
#8925 opened Mar 29, 2026 by tautschnig • Draft
7 tasks
1
@tautschnig
Remove deprecated add_axioms_for_concat_code_point method
#8924 opened Mar 28, 2026 by tautschnig • Draft
7 tasks
1
@tautschnig
Implement builtin bitwise intrinsics in SMT2 incremental decision pro…
#8923 opened Mar 28, 2026 by tautschnig • Draft
7 tasks
1
@tautschnig
Add floating point support to incremental SMT2 solver via bit-blasting
#8922 opened Mar 28, 2026 by tautschnig • Draft
7 tasks
1
@tautschnig
Implement quantifier support for incremental SMT2 decision procedure
#8921 opened Mar 28, 2026 by tautschnig • Draft
7 tasks
1
@tautschnig
1
Remove deprecated set_attribute calls from static_verifier.cpp
#8920 opened Mar 28, 2026 by tautschnig • Draft
7 tasks
1
@tautschnig
1
Remove deprecated add_axioms_from_bool method
#8919 opened Mar 28, 2026 by tautschnig • Draft
7 tasks
1
@tautschnig
1
Remove deprecated add_axioms_from_long method
#8918 opened Mar 28, 2026 by tautschnig • Draft
7 tasks
1
@tautschnig
1
[WIP] Concurrency with pointers
#8917 opened Mar 28, 2026 by tautschnig • Draft
7 tasks
@tautschnig
1
Remove deprecated add_axioms_for_is_suffix method
#8916 opened Mar 28, 2026 by tautschnig • Draft
7 tasks
1
@tautschnig
1
Remove deprecated add_axioms_for_is_empty method
#8915 opened Mar 28, 2026 by tautschnig • Draft
7 tasks
1
@tautschnig
1
Remove deprecated add_axioms_for_copy method
#8914 opened Mar 28, 2026 by tautschnig • Draft
7 tasks
1
@tautschnig
1
Remove deprecated add_axioms_for_concat function
#8913 opened Mar 28, 2026 by tautschnig • Draft
7 tasks
1
@tautschnig
1
[WIP] Floating-point fixes
#8912 opened Mar 28, 2026 by tautschnig • Draft
7 tasks
@tautschnig
SMT2 Incremental: support array-to-array typecasts
#8911 opened Mar 28, 2026 by tautschnig • Draft
7 tasks
1
@tautschnig
Preserve byte_extract structure in trace RHS for incremental SMT2 backend
#8910 opened Mar 28, 2026 by tautschnig • Draft
7 tasks
1
@tautschnig
SMT2 Incremental: Resolve duplicate and missing declarations
#8909 opened Mar 28, 2026 by tautschnig • Draft
7 tasks
1
@tautschnig
1
SMT2 Incremental: Implement push/pop interface
#8908 opened Mar 28, 2026 by tautschnig • Draft
7 tasks
1
@tautschnig
1
Handle empty type in incremental SMT2 decision procedure
#8907 opened Mar 28, 2026 by tautschnig • Draft
7 tasks
1
@tautschnig
1
[WIP] Profiling-guided optimisations
#8906 opened Mar 28, 2026 by tautschnig • Draft
7 tasks
@tautschnig
[WIP] Array theory improvements
#8905 opened Mar 28, 2026 by tautschnig • Draft
7 tasks
@tautschnig
[WIP] Quantifier eleminiation work
#8904 opened Mar 28, 2026 by tautschnig • Draft
7 tasks
@tautschnig
Symex resource monitoring: per-function step counts, memory, callgrind output, and live progress display
#8903 opened Mar 27, 2026 by tautschnig Loading…
3 of 5 tasks
@tautschnig
8
Incremental SMT2: Add size limit to array element retrieval
#8902 opened Mar 27, 2026 by tautschnig • Draft
7 tasks
1
@tautschnig
Produce annotated pointer constants in incremental SMT2 traces
#8901 opened Mar 27, 2026 by tautschnig • Draft
7 tasks
1
@tautschnig
ProTip! Filter pull requests by the default branch with base:develop.