-
Notifications
You must be signed in to change notification settings - Fork 273
Insights: diffblue/cbmc
Overview
-
0 Active pull requests
-
- 0 Merged pull requests
- 0 Open pull requests
- 0 Closed issues
- 3 New issues
There hasn’t been any commit activity on diffblue/cbmc in the last week.
Want to help out?
3 Issues opened by 1 person
-
goto-instrument -dfcc spurious "no body" warnings
#8639 opened
May 15, 2025 -
goto-instrument -dfcc spurious warnings
#8638 opened
May 11, 2025 -
Printing SMT file with Z3 backend crashes CBMC
#8637 opened
May 11, 2025
4 Unresolved conversations
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
Implement inductive check for assigns clauses in loop contracts
#7208 commented on
May 15, 2025 • 0 new comments -
New CBMC syntax needed for assigns clause with quantifiers
#7212 commented on
May 15, 2025 • 0 new comments -
goto-symex: assumed pointer equalities must update value set
#8494 commented on
May 12, 2025 • 0 new comments -
Simplify quantified expressions over constants
#8608 commented on
May 15, 2025 • 0 new comments