The Wayback Machine - https://web.archive.org/web/20210611135533/https://github.com/diffblue/cbmc/pulls
Skip to content

/ cbmc

New pull request New
193 Open 5,260 Closed
193 Open 5,260 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels.
Projects
Filter by project
Milestones
Filter by milestone
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
[draft] Initial data structures for incremental smt2 solving
SMT Backend Interface work in progress
#6165 opened Jun 10, 2021 by thomasspriggs • Draft 2 of 12
24
Piped process handler for CBMC/SMT solver IPC
SMT Backend Interface
#6151 opened May 25, 2021 by NlightNFotis • Review required 0 of 7
@NlightNFotis
59
Set the correct C++ standard version so that regression test pass rel…
#6144 opened May 24, 2021 by martin-cs • Review required 0 of 7
3
Binary comparison <, <=, >, >= over pointers requires same-object
bugfix
#6143 opened May 24, 2021 by tautschnig • Review required 3 of 3
@kroening
21
bv_pointerst: else case is just for byte updates
cleanup
#6138 opened May 24, 2021 by tautschnig • Approved 2 of 3
3
Expand the documentation for goto-inline
#6136 opened May 23, 2021 by martin-cs • Review required
7
Upgrade CaDiCaL to 1.4.0
#6128 opened May 18, 2021 by tautschnig • Approved 2 of 3
@tautschnig
9
Concurrency: treat updates to an unknown field as atomic
bugfix
#6123 opened May 14, 2021 by tautschnig • Review required 3 of 3
1
3
Dirty locals copied across threads require program-order constraints [depends-on: #6121]
bugfix dependent - do not merge
#6122 opened May 14, 2021 by tautschnig • Draft 3 of 3
@tautschnig
1
Concurrency: do not remove shared or dirty pointers from the value set
bugfix
#6121 opened May 14, 2021 by tautschnig • Review required 3 of 4
3
Concurrency: ensure function name is correct when starting threads
#6120 opened May 14, 2021 by tautschnig • Review required 2 of 3
2
Concurrency: do not lose L2 entries of procedure-local variables
bugfix
#6119 opened May 14, 2021 by tautschnig • Review required 3 of 3
1
Use simplify_exprtt::resultt in pre-order simplification steps
cleanup
#6118 opened May 14, 2021 by tautschnig • Review required 2 of 4
@kroening @peterschrammel
1
[RFC] Two new failing tests demonstrating updates outside member bounds
RFC Tests
#6101 opened May 10, 2021 by tautschnig • Draft 3 of 3
@tautschnig
9
Remove __CPROVER_malloc_object [do not merge before 2021-11-06, depends on #6086, #6093]
cleanup dependent - do not merge
#6094 opened May 9, 2021 by tautschnig • Draft 3 of 4
@tautschnig
1
java_static_lifetime_init: Deterministic order of initialisation
blocker cleanup
#6093 opened May 8, 2021 by tautschnig • Review required 1 of 4
@peterschrammel
1
Remove __CPROVER_malloc_size [do not merge before 2021-11-06]
Do not merge cleanup
#6086 opened May 6, 2021 by tautschnig • Draft 3 of 4
@tautschnig
1
Vsd - widening during abstract object merge
#6046 opened Apr 22, 2021 by jezhiggins • Draft
@jezhiggins
1
C front-end: support ID_integer-typed expressions in get_c_type
C Front End bugfix
#6030 opened Apr 13, 2021 by tautschnig • Review required 3 of 3
@kroening
1
Add -Denable_marchnative=true option
#6029 opened Apr 13, 2021 by rurban • Changes requested 7 of 7
@rurban
4
Vsd meet and assume
#6023 opened Apr 12, 2021 by jezhiggins • Approved
@martin-cs
45
Upgrade catch version to 2.13.6
do not review
#6018 opened Apr 7, 2021 by NlightNFotis • Review required 3 of 7
@NlightNFotis
2
Updates parser for assigns clause to match code_contract.* support
Code Contracts aws
#6016 opened Apr 6, 2021 by feliperodri • Review required 3 of 7
@feliperodri
2
Configure bits_per_byte in byte_extract/byte_update expression
blocker
#6009 opened Apr 3, 2021 by tautschnig • Review required 2 of 4
@kroening
7
ansi_c_entry_point: avoid magic number
C Front End
#6007 opened Apr 3, 2021 by tautschnig • Review required 2 of 3
@kroening
3
ProTip! Adding no:label will show everything without a label.