Skip to content

Pull requests: diffblue/cbmc

New pull request New
336 Open 7,340 Closed
336 Open 7,340 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

Emit SMT object properties in deterministic order
#9119 opened Jul 17, 2026 by tautschnig Collaborator Loading…
3 tasks done
@tautschnig
2
C front-end: permit taking the address of built-in functions
#9118 opened Jul 17, 2026 by tautschnig Collaborator Loading…
2 of 7 tasks
1
@tautschnig
5
build(deps): bump com.cedarsoftware:json-io from 4.10.1 to 4.14.1 in /jbmc/regression/jbmc/deterministic_assignments_json/generator dependencies Pull requests that update a dependency file java Pull requests that update Java code
#9116 opened Jul 16, 2026 by dependabot Bot Loading…
Move third-party MiniSat to 3p/, replacing download-and-patch
#9115 opened Jul 12, 2026 by kroening Collaborator Loading…
3 of 4 tasks
Move third-party miniz library to 3p/miniz-3.0.2
#9114 opened Jul 12, 2026 by kroening Collaborator Loading…
2 of 3 tasks
2
Install Z3
#9112 opened Jul 7, 2026 by mernst Contributor Loading…
7 tasks done
4
Regression tests for same-named functions across translation units
#9106 opened Jul 6, 2026 by tautschnig Collaborator Loading…
3 tasks done
@tautschnig
4
introduce << on cprover_exception_baset
#9104 opened Jul 5, 2026 by kroening Collaborator Loading…
4 tasks done
@tautschnig
1
SMT2 backend: move satisfying assignment from smt2_convt to smt2_dect cleanup SMT Backend Interface
#9103 opened Jul 5, 2026 by kroening Collaborator Loading…
2 of 4 tasks
@tautschnig
1
Fix flatten2bv abort on non-constant FPA float (#9101)
#9102 opened Jul 4, 2026 by kroening Collaborator • Draft
1
1
use std::string_view for unicode.h functions cleanup
#9100 opened Jul 3, 2026 by kroening Collaborator Loading…
2 of 3 tasks
@tautschnig
1
use std::string_view for has_prefix, has_infix, has_suffix cleanup
#9099 opened Jul 3, 2026 by kroening Collaborator • Draft
2 tasks done
1
Use std::string_view in cmdlinet
#9098 opened Jul 3, 2026 by kroening Collaborator • Draft
2 of 3 tasks
use std::string_view in edit_distance cleanup
#9097 opened Jul 3, 2026 by kroening Collaborator Loading…
2 of 3 tasks
@tautschnig
1
Add --model-stack-layout: model stack growth and adjacent placement dependent - do not merge
#9091 opened Jun 28, 2026 by tautschnig Collaborator • Draft
7 tasks
@tautschnig
1
Address-based relational pointer comparison for wide pointers dependent - do not merge
#9090 opened Jun 28, 2026 by tautschnig Collaborator • Draft
7 tasks
@tautschnig
1
Allow address reuse after free with wide pointers dependent - do not merge
#9089 opened Jun 28, 2026 by tautschnig Collaborator • Draft
7 tasks
1
@tautschnig
1
Add div_overflow_exprt for bit-vector division overflow
#9087 opened Jun 27, 2026 by kroening Collaborator Loading…
3 tasks
@tautschnig
1
Shard the long-running CORE runs of contracts-dfcc and jbmc-strings
#9086 opened Jun 25, 2026 by tautschnig Collaborator Loading…
3 of 4 tasks
@tautschnig
3
util: amortise symbol_table_baset::next_unused_suffix
#9083 opened Jun 24, 2026 by tautschnig Collaborator Loading…
5 tasks done
@tautschnig
5
Set signedness of "char *" casts to avoid cross-platform differences.
#9081 opened Jun 23, 2026 by rod-chapman Collaborator Loading…
1
1
cprover: establish liveness for the __CPROVER_allocate side effect
#9079 opened Jun 22, 2026 by tautschnig Collaborator Loading…
3 tasks done
@tautschnig
3
goto-symex: keep composite quantifier bound variables as symbols
#9077 opened Jun 22, 2026 by tautschnig Collaborator Loading…
3 of 4 tasks
@kroening
4
C library: stdio.c: fix build on FreeBSD
#9075 opened Jun 20, 2026 by svmhdvn Loading…
7 tasks done
@tautschnig
3
SMT2: only typecast array index for fixed-width bitvector index types
#9073 opened Jun 18, 2026 by tautschnig Collaborator Loading…
4 tasks done
@kroening
6
ProTip! Exclude everything labeled bug with -label:bug.