-
Notifications
You must be signed in to change notification settings - Fork 279
Insights: diffblue/cbmc
Overview
-
0 Active issues
-
- 0 Merged pull requests
- 2 Open pull requests
- 0 Closed issues
- 0 New issues
There hasn’t been any commit activity on diffblue/cbmc in the last week.
Want to help out?
2 Pull requests opened by 1 person
-
Value-set supported simplifier: add object_size, is_invalid_pointer
#8704 opened
Aug 6, 2025 -
Rewrite byte_extract from multi-dimensional array
#8705 opened
Aug 6, 2025
2 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.
-
Clarify usage of history variables in error messages
#8456 commented on
Aug 6, 2025 • 0 new comments -
Work around Z3 not producing models for some quantified expressions
#8703 commented on
Aug 5, 2025 • 0 new comments