Pull requests: diffblue/cbmc
Pull requests list
SMT2: encode mathematical and string/regex types and operations
#9074
opened Jun 18, 2026 by
tautschnig
Collaborator
Loading…
2 of 7 tasks
SMT2: only typecast array index for fixed-width bitvector index types
#9073
opened Jun 18, 2026 by
tautschnig
Collaborator
Loading…
2 of 7 tasks
SMT2: encode structs and multi-constructor ADTs as SMT-LIB datatypes
#9072
opened Jun 18, 2026 by
tautschnig
Collaborator
Loading…
2 of 7 tasks
pointer_expr: object-address of struct members with non-constant width
#9071
opened Jun 18, 2026 by
tautschnig
Collaborator
Loading…
2 of 7 tasks
goto-check: skip array bounds checks for unbounded (non-constant-size) arrays
#9070
opened Jun 18, 2026 by
tautschnig
Collaborator
Loading…
2 of 7 tasks
cprover: state-encoding for uninterpreted functions and member/index lvalues
#9069
opened Jun 18, 2026 by
tautschnig
Collaborator
Loading…
2 of 7 tasks
cprover: add external SMT2 solver backend (--smt2-solver)
#9068
opened Jun 18, 2026 by
tautschnig
Collaborator
Loading…
2 of 7 tasks
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
goto-symex: handle plain-symbol quantifier bound variables in rewrite_quantifiers
#9066
opened Jun 18, 2026 by
tautschnig
Collaborator
Loading…
2 of 7 tasks
goto-symex: support struct-keyed arrays (maps) in value materialisation
#9065
opened Jun 18, 2026 by
tautschnig
Collaborator
Loading…
2 of 7 tasks
SMT2: disambiguate element-address functions by index type
#9064
opened Jun 18, 2026 by
tautschnig
Collaborator
Loading…
2 of 7 tasks
SMT2: tolerate non-constant array indices when parsing array models
#9063
opened Jun 18, 2026 by
tautschnig
Collaborator
Loading…
2 of 7 tasks
SMT2: skip element enumeration for non-integer-keyed array literals
#9062
opened Jun 18, 2026 by
tautschnig
Collaborator
Loading…
2 of 7 tasks
Linking: structural-equivalence-aware type comparison
dependent - do not merge
#9061
opened Jun 18, 2026 by
tautschnig
Collaborator
Loading…
2 of 7 tasks
Simplify member access into a compound literal
#9060
opened Jun 18, 2026 by
tautschnig
Collaborator
Loading…
2 of 7 tasks
goto-programs: name_mangler — also rename child symbols of mangled functions
#9059
opened Jun 18, 2026 by
tautschnig
Collaborator
Loading…
2 of 7 tasks
Fast & bounded goto-instrument --generate-function-body
#9058
opened Jun 18, 2026 by
tautschnig
Collaborator
Loading…
2 of 7 tasks
goto-cc: warn on called-but-not-linked-body symbols
#9057
opened Jun 18, 2026 by
tautschnig
Collaborator
Loading…
2 of 7 tasks
contracts: strip metadata before DATA_INVARIANT in get_contract
#9056
opened Jun 18, 2026 by
tautschnig
Collaborator
Loading…
2 of 7 tasks
boolbv_index: handle incomplete extern array types in symbol registration
#9055
opened Jun 18, 2026 by
tautschnig
Collaborator
Loading…
2 of 7 tasks
Ignore x86 __seg_fs/__seg_gs named-address-space qualifiers
#9054
opened Jun 18, 2026 by
tautschnig
Collaborator
Loading…
2 of 7 tasks
ansi-c: support qualified __auto_type
#9053
opened Jun 18, 2026 by
tautschnig
Collaborator
Loading…
2 of 7 tasks
ansi-c: tighten null-pointer-constant check in conditional operator
#9052
opened Jun 18, 2026 by
tautschnig
Collaborator
Loading…
2 of 7 tasks
ansi-c: fix self-referential enum from __attribute__((mode)) fallback
#9051
opened Jun 18, 2026 by
tautschnig
Collaborator
Loading…
2 of 7 tasks
ansi-c: support -fms-extensions anonymous tagged struct/union members
#9050
opened Jun 18, 2026 by
tautschnig
Collaborator
Loading…
2 of 7 tasks
ProTip!
Add no:assignee to see everything that’s not assigned.