Skip to content

Pull requests: diffblue/cbmc

New pull request New
219 Open 7,267 Closed
219 Open 7,267 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

Move INITIALIZE_FUNCTION macro to goto-programs to reduce linking dependency
#8882 opened Mar 19, 2026 by tautschnig Loading…
2 of 3 tasks
@tautschnig
2
Fix dump-c bitfield truncation in compound assignments
#8881 opened Mar 18, 2026 by tautschnig Loading…
3 tasks done
1
@tautschnig
4
Fix pointer_offset expressions in dump-c generated code
#8880 opened Mar 18, 2026 by tautschnig Loading…
3 tasks done
@tautschnig
3
Fix --mmio option: register it and add to analysis guard
#8879 opened Mar 17, 2026 by tautschnig Loading…
3 tasks done
@tautschnig
3
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements
#8878 opened Mar 17, 2026 by tautschnig • Draft
3 of 5 tasks
@tautschnig
1
Fix crash in --show-intervals by adding missing do_remove_returns()
#8877 opened Mar 17, 2026 by tautschnig Loading…
3 tasks done
3
Fix crash in --show-global-may-alias on OTHER instructions
#8876 opened Mar 17, 2026 by tautschnig Loading…
3 tasks done
5
Add depth-bounding assertions
#8875 opened Mar 17, 2026 by tautschnig Loading…
5 tasks done
@tautschnig
7
Fix multiple bugs in loop acceleration
#8874 opened Mar 17, 2026 by tautschnig Loading…
3 tasks done
@tautschnig
8
Add regression test for goto-diff --unified
#8873 opened Mar 17, 2026 by tautschnig Loading…
3 tasks done
@tautschnig
5
Add regression tests for goto-diff --change-impact
#8872 opened Mar 17, 2026 by tautschnig Loading…
3 tasks done
@tautschnig
4
Add regression tests for goto-cc compiler mode personalities
#8871 opened Mar 17, 2026 by tautschnig Loading…
3 tasks done
@tautschnig
2
Fix incorrect linkage of global variables with section attributes
#8870 opened Mar 17, 2026 by tautschnig Loading…
3 tasks done
1
@tautschnig
6
Document why slow CI tests are marked THOROUGH
#8869 opened Mar 17, 2026 by tautschnig Loading…
3 of 4 tasks
@kroening @peterschrammel
3
Avoid invalid shift caused by excessive object bits
#8864 opened Mar 15, 2026 by tautschnig Loading…
2 of 3 tasks
@kroening @peterschrammel
9
Set paths-symex-explore-all when unwinding-assertions defaults to true
#8861 opened Mar 13, 2026 by tautschnig Loading…
3 of 4 tasks
@kroening @peterschrammel
3
Fix extractbits invariant for non-byte-aligned bitfields
#8860 opened Mar 13, 2026 by tautschnig Loading…
3 tasks done
1
@kroening @peterschrammel
2
Add profiling tool and run in CI
#8859 opened Mar 11, 2026 by tautschnig Loading…
4 of 5 tasks
@peterschrammel @TGWDB
11
Add CI performance analysis script and workflow
#8857 opened Mar 10, 2026 by tautschnig Loading…
4 tasks done
@peterschrammel
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
@peterschrammel
8
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
@kroening @peterschrammel @martin-cs
4
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
ProTip! no:milestone will show everything without a milestone.