Skip to content

Pull requests: diffblue/cbmc

New pull request New
294 Open 7,342 Closed
294 Open 7,342 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

SMT2 parser with explicit work stack
#9040 opened Jun 16, 2026 by tautschnig Collaborator Loading…
5 tasks done
@tautschnig
4
ansi-c: declare ARM/AArch64 NEON builtins
#9039 opened Jun 15, 2026 by tautschnig Collaborator Loading…
2 of 7 tasks
@tautschnig
8
ansi-c: support the neon_vector_type attribute
#9038 opened Jun 15, 2026 by tautschnig Collaborator Loading…
3 tasks done
@tautschnig
1
clang_builtins.py: parse the TableGen builtin databases
#9037 opened Jun 15, 2026 by tautschnig Collaborator Loading…
7 tasks
@tautschnig
4
ci_analysis: focus on post-merge develop runs; medians, trend, critical path
#9035 opened Jun 12, 2026 by tautschnig Collaborator Loading…
2 of 3 tasks
@peterschrammel
7
Fix GCC 16 warning-as-error build failures
#9024 opened May 29, 2026 by StudyingFather Loading…
6 tasks done
1
Model x86 80-bit extended long double precisely
#9023 opened May 29, 2026 by tautschnig Collaborator Loading…
3 of 5 tasks
@tautschnig
12
Support anonymous struct embedding via -fms-extensions
#9022 opened May 28, 2026 by chaosape Loading…
6 of 7 tasks
2
Math library models: add missing *BSD variants, cleanup
#9020 opened May 28, 2026 by tautschnig Collaborator • Draft
3 tasks done
@tautschnig
3
Rework CBMC's solver-time-limit infrastructure
#9019 opened May 28, 2026 by tautschnig Collaborator Loading…
3 of 5 tasks
@kroening
4
Push empty-type equality short-circuit into convert_expr_to_smt dependent - do not merge
#9015 opened May 27, 2026 by tautschnig Collaborator • Draft
2 of 4 tasks
@tautschnig
Pass irep_idt by value (C++ Core Guidelines F.16) + CI checker
#9014 opened May 26, 2026 by tautschnig Collaborator Loading…
4 tasks done
@tautschnig @kroening
4
dump-c: sign-extend signed bit-field temporaries
#9013 opened May 25, 2026 by tautschnig Collaborator Loading…
3 tasks done
@kroening
2
use std::string_view in dstring
#9006 opened May 11, 2026 by kroening Collaborator Loading…
4 tasks done
1
Optimize replace_symbolt: skip have_to_replace pre-check for symbols
#8993 opened Apr 29, 2026 by tautschnig Collaborator Loading…
3 of 4 tasks
@tautschnig
3
Extract mapst base class from arrayst
#8992 opened Apr 29, 2026 by tautschnig Collaborator Loading…
3 of 4 tasks
@kroening
4
[WIP] Float encoding equivalence
#8990 opened Apr 28, 2026 by tautschnig Collaborator • Draft
7 tasks
@tautschnig
Add round_to_integral to float_bvt, rewrite in float_utilst
#8989 opened Apr 28, 2026 by tautschnig Collaborator Loading…
3 of 4 tasks
@kroening @martin-cs
5
Align floating-point predicates across float_utilst and float_bvt dependent - do not merge
#8988 opened Apr 28, 2026 by tautschnig Collaborator Loading…
4 tasks done
@tautschnig
4
Fix subnormal division precision loss in float_utilst and float_bvt
#8987 opened Apr 28, 2026 by tautschnig Collaborator Loading…
4 tasks done
@kroening @martin-cs
7
Fix FMA sign handling in float_bvt for infinity and zero results dependent - do not merge
#8985 opened Apr 28, 2026 by tautschnig Collaborator Loading…
3 tasks done
@tautschnig
6
Fix division exponent overflow and overflow-to-inf ROUND_TO_AWAY
#8984 opened Apr 28, 2026 by tautschnig Collaborator Loading…
3 tasks done
@kroening @martin-cs
9
Simplifier: enable USE_LOCAL_REPLACE_MAP for if-then-else
#8981 opened Apr 27, 2026 by tautschnig Collaborator Loading…
4 tasks done
@kroening
6
Recognize malloc/calloc/realloc in local_bitvector_analysist
#8980 opened Apr 27, 2026 by tautschnig Collaborator Loading…
3 of 5 tasks
@tautschnig
3
Implement solver-based branch pruning dependent - do not merge
#8979 opened Apr 27, 2026 by tautschnig Collaborator Loading…
3 of 6 tasks
@tautschnig
5
ProTip! Follow long discussions with comments:>50.