2 Pull requests merged by 1 person

• Remove deprecated is_null_pointer

  #8665 merged Jun 30, 2025

• Remove deprecated make_with_expr

  #8666 merged Jun 27, 2025

2 Pull requests opened by 1 person

• Stop using GNU parallel on windows-2022 runner

  #8669 opened Jun 27, 2025

• SMT2 back-end: flatten with_exprt operands

  #8670 opened Jul 2, 2025

2 Issues closed by 1 person

• Unbounded loop proof causes non-termination and giant SMT file

  #8505 closed Jul 1, 2025

• CBMC 5.94 now crashes on previously working example

  #7977 closed Jul 1, 2025

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

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

  #8668 commented on Jul 3, 2025 • 4 new comments

• Printing SMT file with Z3 backend crashes CBMC

  #8637 commented on Jul 2, 2025 • 0 new comments

• Higher radix multiplier encoding

  #7991 commented on Jul 3, 2025 • 0 new comments