Skip to content

Pull requests: diffblue/cbmc

New pull request New
202 Open 7,246 Closed
202 Open 7,246 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

Fix array refinement: use actual SAT model values in get()
#8842 opened Feb 24, 2026 by tautschnig Loading…
3 tasks done
@kroening
6
Skip Ackermann constraints for derived arrays (weak equivalence)
#8841 opened Feb 24, 2026 by tautschnig Loading…
3 tasks done
@tautschnig @kroening
2
Use array comprehension for large byte_extract lowering
#8840 opened Feb 24, 2026 by tautschnig Loading…
3 of 4 tasks
@kroening
6
Make scripts/diff-filter.pl portable to macOS
#8839 opened Feb 23, 2026 by tautschnig Loading…
2 of 3 tasks
3
Add string type support to SMT back-end
#8838 opened Feb 23, 2026 by tautschnig Loading…
2 of 3 tasks
5
Simplify pointer casts of pointer arithmetic
#8836 opened Feb 16, 2026 by tautschnig Loading…
2 of 3 tasks
@kroening
5
Add SARIF output support via --sarif-ui option
#8835 opened Feb 11, 2026 by tautschnig Loading…
4 of 5 tasks
1
4
SMT-LIB2: shifts with wider shift distances SMT Backend Interface
#8834 opened Feb 9, 2026 by kroening Loading…
3 tasks done
@peterschrammel @TGWDB
7
fix SMT-LIB2 nor bugfix SMT Backend Interface
#8832 opened Feb 9, 2026 by kroening Loading…
1 of 2 tasks
@peterschrammel @TGWDB
1
Fix SMT2 output determinism by using ordered maps
#8830 opened Jan 23, 2026 by tautschnig Loading…
3 tasks done
1
@tautschnig
27
symbol_exprt C++-style API
#8824 opened Jan 19, 2026 by kroening Loading…
2 of 3 tasks
@peterschrammel @TGWDB
1
Hash-based loop identifiers
#8816 opened Dec 23, 2025 by tautschnig • Draft
4 of 5 tasks
Fix XML rendering crash with non-printable characters
#8806 opened Dec 9, 2025 by tautschnig Loading…
3 tasks done
1
@tautschnig
3
Fix three-way-merge to be field-sensitive with --vsd-structs every-field
#8805 opened Dec 9, 2025 by tautschnig Loading…
3 tasks done
1
@martin-cs
1
Fix goto-instrument --dump-c parameter/local variable name collision
#8804 opened Dec 9, 2025 by tautschnig • Draft
3 tasks done
1
1
Fix segfault in k-induction step case with nested loops
#8803 opened Dec 9, 2025 by tautschnig • Draft
3 tasks done
1
Fix invalid assumptions and invariants in GraphML witness generation
#8802 opened Dec 9, 2025 by tautschnig • Draft
2 of 3 tasks
1
Fix builtin function return hidden flag inconsistency
#8800 opened Dec 9, 2025 by tautschnig Loading…
3 tasks done
1
@peterschrammel
1
Fix C frontend array type sync in goto program
#8799 opened Dec 9, 2025 by tautschnig • Draft
2 of 3 tasks
1
Fix variable initialization order in snapshot-harness aliasing pointers
#8798 opened Dec 9, 2025 by tautschnig • Draft
3 tasks done
1
Add edge case regression tests for --generate-function-body const handling
#8797 opened Dec 9, 2025 by tautschnig • Draft
3 tasks done
1
Fix C++ ternary operator type checking for bitfield operands
#8792 opened Nov 30, 2025 by tautschnig Loading…
3 tasks done
1
@kroening @peterschrammel
1
Implement fixedbv/floatbv conversions in SAT and SMT2 back-ends
#8790 opened Nov 30, 2025 by tautschnig • Draft
3 tasks done
1
Fix Xen CI job by moving to GitHub mirror
#8789 opened Nov 30, 2025 by tautschnig Loading…
3 tasks done
@peterschrammel
1
goto-analyzer: fix reachable-functions analysis for inline functions
#8788 opened Nov 30, 2025 by tautschnig • Draft
3 tasks done
1
1
ProTip! Adding no:label will show everything without a label.