Pull requests: diffblue/cbmc
Pull requests list
Fix three-way-merge to be field-sensitive with --vsd-structs every-field
#8805
opened Dec 9, 2025 by
tautschnig
Loading…
3 tasks done
Fix --nan-check false positive for finite/+INFINITY division
#8745
opened Nov 29, 2025 by
tautschnig
Loading…
3 tasks done
Add ADR for command-line option handling best practices
#8758
opened Nov 30, 2025 by
tautschnig
Loading…
2 tasks done
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
4 tasks done
__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…
3 of 4 tasks
Refactor/move abstract interpreter functionality into goto analyzer 1
#7120
opened Sep 11, 2022 by
martin-cs
Loading…
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.