Skip to content

Pull requests: diffblue/cbmc

New pull request New
Clear current search query, filters, and sorts
9 Open 254 Closed
9 Open 254 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

Refactor/move abstract interpreter functionality into goto analyzer 1
#7120 opened Sep 11, 2022 by martin-cs Loading… updated Jan 24, 2023
@martin-cs
2
__CPROVER_r/w_ok does not require null or a valid pointer aws Bugs or features of importance to AWS CBMC users
#6416 opened Oct 26, 2021 by kroening Loading… updated Sep 18, 2023
3 of 4 tasks
1
@peterschrammel @martin-cs
20
A new abstract interpreter for performing function-local analysis
#6529 opened Dec 15, 2021 by martin-cs • Draft updated Feb 2, 2024
@martin-cs
Add an abstract domain with very basic relational reasoning
#7361 opened Nov 18, 2022 by martin-cs • Draft updated Feb 2, 2024
@martin-cs
4
Use goto-analyzer to add assumptions, assertions and code contracts
#7964 opened Oct 17, 2023 by martin-cs • Draft updated Jun 17, 2024
@martin-cs
3
Cleanup fmod vs IEEE remainder aws Bugs or features of importance to AWS CBMC users bugfix Kani Bugs or features of importance to Kani Rust Verifier
#7885 opened Sep 12, 2023 by tautschnig • Draft updated Oct 22, 2025
4 tasks done
@tautschnig @martin-cs
1
Add ADR for command-line option handling best practices
#8758 opened Nov 30, 2025 by tautschnig Loading… updated Dec 2, 2025
2 tasks done
1
@peterschrammel @martin-cs
1
Fix --nan-check false positive for finite/+INFINITY division
#8745 opened Nov 29, 2025 by tautschnig Loading… updated Dec 3, 2025
3 tasks done
1
@martin-cs
1
Fix three-way-merge to be field-sensitive with --vsd-structs every-field
#8805 opened Dec 9, 2025 by tautschnig Loading… updated Dec 9, 2025
3 tasks done
1
@martin-cs
1
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.