Skip to content

Pull requests: diffblue/cbmc

New pull request New
205 Open 7,261 Closed
205 Open 7,261 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

Set paths-symex-explore-all when unwinding-assertions defaults to true
#8861 opened Mar 13, 2026 by tautschnig Loading…
3 of 4 tasks
@tautschnig
2
Fix extractbits invariant for non-byte-aligned bitfields
#8860 opened Mar 13, 2026 by tautschnig Loading…
3 tasks done
1
@tautschnig
2
Add profiling tool and run in CI
#8859 opened Mar 11, 2026 by tautschnig Loading…
4 of 5 tasks
11
Add CI performance analysis script and workflow
#8857 opened Mar 10, 2026 by tautschnig Loading…
3 of 4 tasks
@tautschnig
6
Enable parallel regression test execution for Windows VS 2022
#8856 opened Mar 10, 2026 by tautschnig Loading…
4 tasks done
@peterschrammel
4
Modernise Dockerfile and cache Docker build layers in CI
#8855 opened Mar 10, 2026 by tautschnig Loading…
3 of 4 tasks
@tautschnig
6
Formalize solver state machine in propt and decision_proceduret
#8852 opened Mar 6, 2026 by tautschnig Loading…
4 tasks done
@kroening
8
Limit MiniSat simplifier only when arrays-uf-always is used
#8851 opened Mar 5, 2026 by tautschnig Loading…
3 tasks done
@tautschnig
4
Amazon Linux 2023 compilation instructions
#8850 opened Mar 4, 2026 by kroening • Draft
1 task done
@kroening
3
Document, test, and fix --race-check instrumentation
#8846 opened Mar 3, 2026 by tautschnig Loading…
5 tasks done
@kroening @peterschrammel
7
Handle non-byte-sized array element types in bounds_check_index
#8843 opened Feb 24, 2026 by tautschnig Loading…
3 tasks done
@kroening
10
Skip Ackermann constraints for derived arrays (weak equivalence)
#8841 opened Feb 24, 2026 by tautschnig Loading…
3 tasks done
@tautschnig
3
Use array comprehension for large byte_extract lowering
#8840 opened Feb 24, 2026 by tautschnig Loading…
3 of 4 tasks
@tautschnig
6
Add string type support to SMT back-end
#8838 opened Feb 23, 2026 by tautschnig Loading…
2 of 3 tasks
@tautschnig
5
Add SARIF output support via --sarif-result option
#8835 opened Feb 11, 2026 by tautschnig Loading…
4 of 5 tasks
1
@kroening @peterschrammel
30
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
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 Loading…
4 of 5 tasks
@kroening @peterschrammel
8
Fix XML rendering crash with non-printable characters
#8806 opened Dec 9, 2025 by tautschnig Loading…
3 tasks done
1
@kroening @peterschrammel
10
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
6
Fix goto-instrument --dump-c parameter/local variable name collision
#8804 opened Dec 9, 2025 by tautschnig Loading…
3 tasks done
1
@kroening @peterschrammel
4
Fix segfault in k-induction step case with nested loops
#8803 opened Dec 9, 2025 by tautschnig Loading…
3 tasks done
1
@kroening @peterschrammel
9
Fix builtin function return hidden flag inconsistency
#8800 opened Dec 9, 2025 by tautschnig Loading…
3 tasks done
1
@peterschrammel
4
Fix C frontend array type sync in goto program
#8799 opened Dec 9, 2025 by tautschnig • Draft
2 of 3 tasks
1
@tautschnig
ProTip! What’s not been updated in a month: updated:<2026-02-13.