Skip to content

Pull requests: diffblue/cbmc

New pull request New
276 Open 7,279 Closed
276 Open 7,279 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

Simplify algebraic identities involving commutative operators
#8951 opened Apr 2, 2026 by tautschnig • Draft
3 tasks done
@tautschnig
7
Decompose byte_extract from union through widest member
#8950 opened Apr 1, 2026 by tautschnig Loading…
3 of 4 tasks
1
@kroening @peterschrammel
5
Warn when --outfile produces an empty formula
#8949 opened Apr 1, 2026 by tautschnig Loading…
3 of 4 tasks
@kroening @peterschrammel
6
Simplify shifts of concatenations
#8948 opened Apr 1, 2026 by tautschnig Loading…
3 tasks done
@kroening @peterschrammel
12
Simplify (x * n) % n
#8947 opened Apr 1, 2026 by tautschnig Loading…
3 tasks done
@kroening @peterschrammel @martin-cs
11
Simplify more cases of extractbits over concatenation
#8946 opened Apr 1, 2026 by tautschnig Loading…
3 tasks done
@kroening @peterschrammel
7
Simplify bitwise operations over concatenation and a constant
#8945 opened Apr 1, 2026 by tautschnig Loading…
3 tasks done
@kroening @peterschrammel
5
Simplify all-zero or all-one constants in bitand/bitor
#8944 opened Apr 1, 2026 by tautschnig Loading…
3 tasks done
@kroening @peterschrammel
9
Simplify (T1)(T2)x over bv types where T1 and x have the same type
#8943 opened Apr 1, 2026 by tautschnig Loading…
3 tasks done
@kroening @peterschrammel
2
Connect let-bound arrays to originals in array theory
#8942 opened Apr 1, 2026 by tautschnig Loading…
3 tasks done
@kroening @peterschrammel @martin-cs
4
Implement incremental symex with periodic and concurrent SAT solving
#8941 opened Mar 31, 2026 by tautschnig • Draft
4 of 6 tasks
@tautschnig
1
[WIP] Expand test coverage
#8940 opened Mar 31, 2026 by tautschnig • Draft
7 tasks
@tautschnig
1
Add x86 SIMD intrinsic models and generation tool
#8939 opened Mar 30, 2026 by tautschnig Loading…
4 tasks done
@tautschnig
9
Fix and cross-reference C11 undefined behavior documentation
#8938 opened Mar 30, 2026 by tautschnig Loading…
3 of 4 tasks
1
@tautschnig
4
Document supported inline assembly instructions
#8937 opened Mar 30, 2026 by tautschnig Loading…
3 of 4 tasks
1
@tautschnig
7
Fix incorrect interval equality in VSD analysis
#8936 opened Mar 30, 2026 by tautschnig Loading…
3 tasks done
1
@tautschnig
1
Add support for GCC nested functions in C front-end
#8935 opened Mar 30, 2026 by tautschnig Loading…
3 of 4 tasks
1
@tautschnig
9
Add script to draft release notes from GitHub API
#8934 opened Mar 30, 2026 by tautschnig Loading…
2 of 3 tasks
1
@tautschnig
5
Extend CHANGELOG with entries for all historical releases
#8933 opened Mar 30, 2026 by tautschnig Loading…
2 of 3 tasks
@tautschnig
2
Add summary paragraphs to older CHANGELOG entries
#8931 opened Mar 30, 2026 by tautschnig Loading…
2 of 3 tasks
@tautschnig
5
Fix name mangler to preserve definition when mangled name already exists
#8930 opened Mar 30, 2026 by tautschnig Loading…
3 tasks done
1
@tautschnig
5
Fix memory leaks in XML parser
#8929 opened Mar 30, 2026 by tautschnig Loading…
2 of 3 tasks
@tautschnig
6
Add --proof-explanation for word-level proof explanations
#8927 opened Mar 29, 2026 by tautschnig Loading…
4 of 5 tasks
@tautschnig
10
[WIP] Word level proof with synthesizer changes
#8926 opened Mar 29, 2026 by tautschnig • Draft
7 tasks
@tautschnig
C library: syscall
#8925 opened Mar 29, 2026 by tautschnig • Draft
7 tasks
1
@tautschnig
ProTip! Updated in the last three days: updated:>2026-03-31.