Pull requests · diffblue/cbmc
Navigation Menu
{{ message }}
- Notifications You must be signed in to change notification settings
- Fork 286
Pull requests list
Bump microsoft/setup-msbuild from 2 to 3 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#8883 opened Mar 23, 2026 by dependabot bot Loading…
Move INITIALIZE_FUNCTION macro to goto-programs to reduce linking dependency
#8882 opened Mar 19, 2026 by tautschnig Loading…
2 of 3 tasks
Fix dump-c bitfield truncation in compound assignments
#8881 opened Mar 18, 2026 by tautschnig Loading…
3 tasks done
Fix pointer_offset expressions in dump-c generated code
#8880 opened Mar 18, 2026 by tautschnig Loading…
3 tasks done
Fix --mmio option: register it and add to analysis guard
#8879 opened Mar 17, 2026 by tautschnig Loading…
3 tasks done
#8878 opened Mar 17, 2026 by tautschnig • Draft
3 of 5 tasks
Fix crash in --show-intervals by adding missing do_remove_returns()
#8877 opened Mar 17, 2026 by tautschnig Loading…
3 tasks done
Fix crash in --show-global-may-alias on OTHER instructions
#8876 opened Mar 17, 2026 by tautschnig Loading…
3 tasks done
Fix multiple bugs in loop acceleration
#8874 opened Mar 17, 2026 by tautschnig Loading…
3 tasks done
Add regression test for goto-diff --unified
#8873 opened Mar 17, 2026 by tautschnig Loading…
3 tasks done
Add regression tests for goto-diff --change-impact
#8872 opened Mar 17, 2026 by tautschnig Loading…
3 tasks done
Add regression tests for goto-cc compiler mode personalities
#8871 opened Mar 17, 2026 by tautschnig Loading…
3 tasks done
Fix incorrect linkage of global variables with section attributes
#8870 opened Mar 17, 2026 by tautschnig Loading…
3 tasks done
Document why slow CI tests are marked THOROUGH
#8869 opened Mar 17, 2026 by tautschnig Loading…
3 of 4 tasks
Avoid invalid shift caused by excessive object bits
#8864 opened Mar 15, 2026 by tautschnig Loading…
2 of 3 tasks
Set paths-symex-explore-all when unwinding-assertions defaults to true
#8861 opened Mar 13, 2026 by tautschnig Loading…
3 of 4 tasks
Fix extractbits invariant for non-byte-aligned bitfields
#8860 opened Mar 13, 2026 by tautschnig Loading…
3 tasks done
Modernise Dockerfile and cache Docker build layers in CI
#8855 opened Mar 10, 2026 by tautschnig Loading…
3 of 4 tasks
Formalize solver state machine in propt and decision_proceduret
#8852 opened Mar 6, 2026 by tautschnig Loading…
4 tasks done
Limit MiniSat simplifier only when arrays-uf-always is used
#8851 opened Mar 5, 2026 by tautschnig Loading…
3 tasks done
Document, test, and fix --race-check instrumentation
#8846 opened Mar 3, 2026 by tautschnig Loading…
5 tasks done
Handle non-byte-sized array element types in bounds_check_index
#8843 opened Feb 24, 2026 by tautschnig Loading…
3 tasks done
Skip Ackermann constraints for derived arrays (weak equivalence)
#8841 opened Feb 24, 2026 by tautschnig Loading…
3 tasks done
ProTip! What’s not been updated in a month: updated:<2026-02-22.