Skip to content

Pull requests: diffblue/cbmc

New pull request New
141 Open 7,217 Closed
141 Open 7,217 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

Improve precision of sine and cosine library models
#8743 opened Nov 27, 2025 by tautschnig Loading…
3 tasks done
1
16
Makefile builds: do not inherit SRC from environment
#8742 opened Nov 26, 2025 by tautschnig Loading…
2 of 3 tasks
1
2
Add case_exprt to std_expr.h and refactor code to use it
#8741 opened Nov 26, 2025 by tautschnig Loading…
4 tasks done
1
5
Replace deprecated upload-release-asset with action-gh-release
#8740 opened Nov 26, 2025 by tautschnig Loading…
2 of 3 tasks
1
@peterschrammel
1
Require explicit contract for --replace-call-with-contract
#8739 opened Nov 26, 2025 by tautschnig Loading…
4 tasks done
1
@remi-delmas-3000 @feliperodri
Add cpplint warnings for exit() and abort()
#8738 opened Nov 26, 2025 by tautschnig Loading…
3 tasks done
1
1
Enable Clang sanitizers in Linux/Clang CI pipeline
#8737 opened Nov 26, 2025 by tautschnig Loading…
3 tasks done
1
@tautschnig
1
Update CaDiCaL from 2.0.0 to 2.2.0
#8736 opened Nov 25, 2025 by tautschnig Loading…
3 of 4 tasks
@kroening @peterschrammel
1
Add clock_gettime model
#8731 opened Nov 11, 2025 by tautschnig Loading…
3 of 4 tasks
1
@tautschnig
Incremental SMT2 back-end: support _Bool casts
#8730 opened Nov 10, 2025 by tautschnig Loading…
3 tasks done
1
@peterschrammel @TGWDB
1
Rewrite byte_extract from multi-dimensional array
#8705 opened Aug 6, 2025 by tautschnig Loading…
2 of 3 tasks
@tautschnig
1
Value-set supported simplifier: add object_size, is_invalid_pointer
#8704 opened Aug 6, 2025 by tautschnig • Draft
2 of 4 tasks
@tautschnig
Work around Z3 not producing models for some quantified expressions
#8703 opened Jul 31, 2025 by tautschnig • Draft
2 of 3 tasks
1
@tautschnig
1
DRAFT: Control Flow Retrace feature
#8636 opened May 8, 2025 by lks9 • Draft
5 of 6 tasks
2
Compile Java regression test sources (5/n) dependent - do not merge work in progress
#8556 opened Jan 4, 2025 by peterschrammel • Draft
2 tasks done
1
Use cmake for cleaning in cmake job dependent - do not merge
#8547 opened Dec 30, 2024 by peterschrammel • Draft
2 tasks done
1
uninitialized check C Front End
#8545 opened Dec 23, 2024 by kroening • Draft
3 of 5 tasks
2
Bump com.cedarsoftware:json-io from 4.10.1 to 4.14.1 in /jbmc/regression/jbmc/deterministic_assignments_json dependencies Pull requests that update a dependency file java Pull requests that update Java code
#8500 opened Nov 8, 2024 by dependabot bot Loading…
goto-symex: assumed pointer equalities must update value set bugfix Symbolic Execution
#8494 opened Nov 4, 2024 by tautschnig Loading…
3 of 4 tasks
1
@tautschnig
3
Remove infinity_exprt blocker
#8469 opened Sep 24, 2024 by tautschnig • Draft
2 of 4 tasks
@tautschnig
2
Re-enable array theory as default for array size above threshold
#8468 opened Sep 24, 2024 by tautschnig Loading…
3 of 4 tasks
@tautschnig
2
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver)
#8465 opened Sep 22, 2024 by yvizel Loading…
7 tasks
@yvizel
30
C library: fix build on FreeBSD
#8463 opened Sep 21, 2024 by melak Loading…
2 of 7 tasks
@tautschnig
1
Clarify usage of history variables in error messages
#8456 opened Sep 13, 2024 by qinheping Loading…
1
@tautschnig @qinheping
8
C front-end: fix processing of alignment and packing attributes C Front End
#8454 opened Sep 13, 2024 by tautschnig Loading…
4 tasks done
1
@kroening
3
ProTip! Adding no:label will show everything without a label.