Skip to content

Pull requests: diffblue/cbmc

New pull request New
360 Open 7,384 Closed
360 Open 7,384 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 front-end: rewrite array size when refined from unknown to defined
#9163 opened Sep 11, 2026 by Th0rOnDoR Contributor Loading…
7 tasks done
1
1
Detect binder origins in SMT value definitions
#9162 opened Sep 10, 2026 by chaizhenhua Loading…
7 tasks done
Fix types of unavailable SMT array model values
#9161 opened Sep 10, 2026 by chaizhenhua Loading…
7 tasks done
Batch Z3 model value requests and validate responses
#9160 opened Sep 10, 2026 by chaizhenhua Loading…
7 tasks done
Fix SMT pointer type dependency discovery
#9159 opened Sep 10, 2026 by chaizhenhua Loading…
7 tasks done
use C++20 Build Version 7
#9156 opened Aug 11, 2026 by kroening Collaborator • Draft
2 of 3 tasks
@tautschnig
1
Add --evaluation-order-check for unspecified evaluation order
#9152 opened Aug 5, 2026 by tautschnig Collaborator Loading…
4 of 5 tasks
@tautschnig
10
Make trace generation opt-in for all user interfaces Version 7
#9150 opened Aug 4, 2026 by tautschnig Collaborator Loading…
3 of 4 tasks
@tautschnig
6
Summarise sequential top-level calls by replacement in DFCC checks
#9149 opened Aug 3, 2026 by tautschnig Collaborator Loading…
3 tasks done
@tautschnig
3
Fix ill-typed SMT2 for flattened aggregate expressions
#9147 opened Aug 1, 2026 by fcasal Loading…
1
@kroening
1
Fix flattened overflow_result_exprt field order in SMT2
#9145 opened Aug 1, 2026 by fcasal Loading…
1
@kroening
1
Dominator sets: use sharing map to avoid quadratic memory
#9141 opened Jul 29, 2026 by tautschnig Collaborator Loading…
2 of 5 tasks
@tautschnig
5
strings: factor trim into a parameterised strip facility
#9140 opened Jul 28, 2026 by tautschnig Collaborator Loading…
3 of 4 tasks
@tautschnig
4
smt2: generic string-op lowerings replace_all / from_code / to_code / from_int
#9139 opened Jul 28, 2026 by tautschnig Collaborator Loading…
3 tasks done
@tautschnig
2
goto-symex: skip string side-effect const-prop for value-returning applications
#9138 opened Jul 28, 2026 by tautschnig Collaborator Loading…
2 of 3 tasks
@tautschnig
3
smt2: do not declare UFs whose signature involves RegLan
#9137 opened Jul 28, 2026 by tautschnig Collaborator Loading…
3 tasks done
2
Honor --compact-trace in JSON trace output
#9135 opened Jul 28, 2026 by tautschnig Collaborator Loading…
3 of 4 tasks
@tautschnig
3
Do not silently wrap pointer offsets in the propositional encoding
#9134 opened Jul 23, 2026 by tautschnig Collaborator Loading…
3 tasks done
@tautschnig
5
util/simplify_expr: guard string simplifiers against non-string arguments
#9133 opened Jul 23, 2026 by tautschnig Collaborator Loading…
2 of 3 tasks
@tautschnig
5
goto-symex/slice: never slice CPROVER string-refinement intrinsics
#9132 opened Jul 23, 2026 by tautschnig Collaborator Loading…
3 of 4 tasks
@tautschnig
6
util: IEEE-754 sign-aware expression builders (signbit/fabs/copysign)
#9131 opened Jul 23, 2026 by tautschnig Collaborator Loading…
4 tasks done
@tautschnig
4
util/irep: O(1) SHARING fast-path for irept::compare
#9130 opened Jul 23, 2026 by tautschnig Collaborator Loading…
3 of 4 tasks
@tautschnig
2
SMT2 front-end: fix bvsmod semantics (sign follows divisor)
#9129 opened Jul 22, 2026 by tautschnig Collaborator Loading…
4 tasks done
@tautschnig
3
Avoid materializing value sets when simplifying POINTER_OBJECT equalties
#9128 opened Jul 22, 2026 by tautschnig Collaborator Loading…
4 of 5 tasks
@tautschnig
4
Make profiling script failures visible instead of silently truncating
#9127 opened Jul 22, 2026 by tautschnig Collaborator Loading…
2 of 3 tasks
@tautschnig
7
ProTip! What’s not been updated in a month: updated:<2026-08-13.