1 Release published by 1 person

• cbmc-6.6.0

  published Apr 28, 2025

3 Pull requests merged by 1 person

• Release CBMC 6.6.0

  #8632 merged Apr 28, 2025

• DFCC instrumentation: skip unused functions

  #8628 merged Apr 28, 2025

• Use GitHub mirror to download GNU parallel

  #8631 merged Apr 28, 2025

1 Issue opened by 1 person

• __CPROVER_assume behaviour different --float-overflow-check in CBMC 5.48 and CBMC 6.4

  #8633 opened Apr 29, 2025

7 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.

• Simplify multiple-of-element size access to arrays

  #8627 commented on Apr 29, 2025 • 6 new comments

• JBMC and verification of URL encoding

  #8630 commented on Apr 29, 2025 • 0 new comments

• Huge SMT file and slow proof for simple array function

  #8617 commented on Apr 29, 2025 • 0 new comments

• C++ front-end fixes

  #8275 commented on Apr 30, 2025 • 0 new comments

• Add aarch64 (Arm 64-bit) CI job

  #8572 commented on Apr 29, 2025 • 0 new comments

• Field sensitivity: account for array size in all index expressions

  #8579 commented on Apr 29, 2025 • 0 new comments

• Simplify quantified expressions over constants

  #8608 commented on Apr 29, 2025 • 0 new comments