Skip to content

Pull requests: diffblue/cbmc

New pull request New
324 Open 7,351 Closed
324 Open 7,351 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Release CBMC 6.10.0
#9080 opened Jun 23, 2026 by tautschnig Collaborator Loading…
3 tasks done
@kroening @peterschrammel @TGWDB
3
cprover: establish liveness for the __CPROVER_allocate side effect
#9079 opened Jun 22, 2026 by tautschnig Collaborator Loading…
2 of 7 tasks
@tautschnig
2
goto-symex: keep composite quantifier bound variables as symbols
#9077 opened Jun 22, 2026 by tautschnig Collaborator Loading…
3 of 4 tasks
@tautschnig
4
C library: stdio.c: fix build on FreeBSD
#9075 opened Jun 20, 2026 by svmhdvn Loading…
7 tasks done
@tautschnig
2
SMT2: encode mathematical and string/regex types and operations
#9074 opened Jun 18, 2026 by tautschnig Collaborator Loading…
2 of 7 tasks
@tautschnig
6
SMT2: only typecast array index for fixed-width bitvector index types
#9073 opened Jun 18, 2026 by tautschnig Collaborator Loading…
2 of 7 tasks
@tautschnig
6
SMT2: encode structs and multi-constructor ADTs as SMT-LIB datatypes
#9072 opened Jun 18, 2026 by tautschnig Collaborator Loading…
2 of 7 tasks
@tautschnig
8
pointer_expr: object-address of struct members with non-constant width
#9071 opened Jun 18, 2026 by tautschnig Collaborator Loading…
2 of 7 tasks
@tautschnig
4
cprover: state-encoding for uninterpreted functions and member/index lvalues
#9069 opened Jun 18, 2026 by tautschnig Collaborator Loading…
4 tasks done
@kroening
6
cprover: add external SMT2 solver backend (--smt2-solver)
#9068 opened Jun 18, 2026 by tautschnig Collaborator Loading…
4 of 5 tasks
@kroening
7
cprover: only equate same-address-type pairs in axiom field-condition eval
#9067 opened Jun 18, 2026 by tautschnig Collaborator Loading…
2 of 7 tasks
@tautschnig
4
goto-symex: handle plain-symbol quantifier bound variables in rewrite_quantifiers
#9066 opened Jun 18, 2026 by tautschnig Collaborator Loading…
2 of 7 tasks
@tautschnig
4
goto-symex: support struct-keyed arrays (maps) in value materialisation
#9065 opened Jun 18, 2026 by tautschnig Collaborator Loading…
2 of 7 tasks
@tautschnig
5
SMT2: disambiguate element-address functions by index type
#9064 opened Jun 18, 2026 by tautschnig Collaborator Loading…
4 tasks done
@kroening
5
SMT2: tolerate non-constant array indices when parsing array models
#9063 opened Jun 18, 2026 by tautschnig Collaborator Loading…
2 of 7 tasks
@tautschnig
4
SMT2: skip element enumeration for non-integer-keyed array literals
#9062 opened Jun 18, 2026 by tautschnig Collaborator Loading…
2 of 7 tasks
@tautschnig
4
Linking: structural-equivalence-aware type comparison dependent - do not merge
#9061 opened Jun 18, 2026 by tautschnig Collaborator Loading…
2 of 7 tasks
@tautschnig
6
Simplify member access into a compound literal
#9060 opened Jun 18, 2026 by tautschnig Collaborator Loading…
2 of 7 tasks
@tautschnig
2
goto-programs: name_mangler — also rename child symbols of mangled functions
#9059 opened Jun 18, 2026 by tautschnig Collaborator Loading…
4 tasks done
@kroening
6
Fast & bounded goto-instrument --generate-function-body
#9058 opened Jun 18, 2026 by tautschnig Collaborator Loading…
2 of 7 tasks
@tautschnig
6
goto-cc: warn on called-but-not-linked-body symbols
#9057 opened Jun 18, 2026 by tautschnig Collaborator Loading…
4 tasks done
@kroening
5
contracts: strip metadata before DATA_INVARIANT in get_contract
#9056 opened Jun 18, 2026 by tautschnig Collaborator Loading…
2 of 7 tasks
@tautschnig
4
boolbv_index: handle incomplete extern array types in symbol registration
#9055 opened Jun 18, 2026 by tautschnig Collaborator Loading…
5 tasks done
@kroening
7
ansi-c: support qualified __auto_type
#9053 opened Jun 18, 2026 by tautschnig Collaborator Loading…
4 tasks done
@kroening
6
ansi-c: tighten null-pointer-constant check in conditional operator
#9052 opened Jun 18, 2026 by tautschnig Collaborator Loading…
4 tasks done
@kroening
5
ProTip! Follow long discussions with comments:>50.