1 Release published by 1 person

• cbmc-6.7.0

  published Jun 26, 2025

9 Pull requests merged by 1 person

• Remove deprecated make_with_expr

  #8666 merged Jun 27, 2025

• Release CBMC 6.7.0

  #8667 merged Jun 26, 2025

• Fix statement-expression expansion for Kani-provided quantifiers

  #8649 merged Jun 25, 2025

• Simplify multiple-of-element size access to arrays

  #8627 merged Jun 25, 2025

• Deprecate make_and in favour of conjunction(expr, expr)

  #8450 merged Jun 25, 2025

• Add aarch64 (Arm 64-bit) CI job

  #8572 merged Jun 25, 2025

• Move unwindset.{h,cpp} to goto-programs

  #8645 merged Jun 25, 2025

• goto-analyzer: support typecasts as left-hand sides

  #8659 merged Jun 24, 2025

• Value set: lift offset from numeric constants to expressions

  #8647 merged Jun 24, 2025

4 Pull requests opened by 1 person

• Move is_{true,false,zero,one} from `exprt` to `constant_exprt`

  #8664 opened Jun 25, 2025

• Remove deprecated is_null_pointer

  #8665 opened Jun 25, 2025

• Fix support for `with_exprt` with more than 3 operands

  #8668 opened Jun 26, 2025

• Stop using GNU parallel on windows-2022 runner

  #8669 opened Jun 27, 2025

1 Issue closed by 1 person

• Huge SMT file and slow proof for simple array function

  #8617 closed Jun 25, 2025

1 Issue opened by 1 person

• [Question] C++ standard library and language version support

  #8663 opened Jun 24, 2025

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

• C library: Refine and improve stdio models

  #8043 commented on Jun 25, 2025 • 0 new comments

• Remove infinity_exprt

  #8469 commented on Jun 25, 2025 • 0 new comments

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

  #8579 commented on Jun 25, 2025 • 0 new comments

• unwindsett: goto_model is only needed for options processing

  #8643 commented on Jun 25, 2025 • 0 new comments

• Make goto_symext::language_mode protected

  #8646 commented on Jun 25, 2025 • 0 new comments

• Flow-insensitive value set: don't create index expressions over non-array objects

  #8651 commented on Jun 25, 2025 • 0 new comments