Skip to content

Pull requests: diffblue/cbmc

New pull request New
128 Open 7,049 Closed
128 Open 7,049 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Clarify usage of history variables in error messages
#8456 opened Sep 13, 2024 by qinheping Loading…
1
4
Mark constant_exprt::value_is_zero_string protected
#8455 opened Sep 13, 2024 by tautschnig Loading…
2 of 4 tasks
@tautschnig
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
1
[Do not review just yet] Cleanup exprt and expr_util do not review
#8451 opened Sep 10, 2024 by tautschnig • Draft
7 tasks
@tautschnig
Deprecate make_and in favour of conjunction(expr, expr)
#8450 opened Sep 10, 2024 by tautschnig Loading…
3 of 4 tasks
@tautschnig
1
Remove renamedt from symex_targett interface
#8447 opened Sep 10, 2024 by tautschnig Loading…
2 of 4 tasks
@kroening
4
zero extension expression
#8442 opened Sep 5, 2024 by kroening Loading…
3 of 5 tasks
3
goto-symex: move level1 map to goto_statet bugfix Symbolic Execution
#8439 opened Sep 3, 2024 by tautschnig Loading…
3 tasks done
1
@tautschnig
Annotate loop unwinding bounds via pragma work in progress
#8431 opened Aug 29, 2024 by tautschnig • Draft
4 of 5 tasks
@tautschnig
Automatically produce a CBMC release twice per month
#8425 opened Aug 23, 2024 by tautschnig Loading…
3 of 4 tasks
@peterschrammel @TGWDB
2
Automatically create release tags via GitHub actions CI
#8424 opened Aug 23, 2024 by tautschnig Loading…
3 of 4 tasks
@peterschrammel @TGWDB
2
Remove dynamic_cast from hardness collection code paths
#8423 opened Aug 22, 2024 by tautschnig Loading…
2 of 4 tasks
@kroening
1
SMT2 parser with explicit stack
#8415 opened Aug 15, 2024 by kroening • Draft
4 of 6 tasks
Promote set_all_frozen to decision_proceduret to remove a dynamic_cast
#8404 opened Aug 6, 2024 by tautschnig Loading…
3 of 4 tasks
@kroening
1
C++ front-end: support constexpr C++ Front End
#8386 opened Jul 17, 2024 by tautschnig Loading…
3 tasks done
@kroening
1
C++ front-end: support explicit type conversion with braced-init-list C++ Front End
#8385 opened Jul 17, 2024 by tautschnig Loading…
3 of 4 tasks
@kroening @peterschrammel
1
CI: add macos-14 (macOS on M1) job CI
#8382 opened Jul 12, 2024 by tautschnig • Draft
3 tasks done
1
@tautschnig
1
SMT2 back-end: report error when invoking solver fails
#8378 opened Jul 12, 2024 by tautschnig Loading…
2 of 3 tasks
1
@kroening @peterschrammel @martin-cs
6
embedd files using hex literals instead of string literals
#8332 opened Jun 15, 2024 by kroening • Draft
2 of 5 tasks
@kroening
Fix support for mathematical types work in progress
#8324 opened Jun 11, 2024 by tautschnig • Draft
3 of 5 tasks
@tautschnig
Move __CPROVER_uninterpreted_* conversion to C type checker
#8280 opened May 9, 2024 by tautschnig Loading…
3 tasks done
@kroening @remi-delmas-3000
2
C++ front-end fixes C++ Front End work in progress
#8275 opened May 7, 2024 by tautschnig • Draft
3 of 5 tasks
@tautschnig
1
Quantifier instantiation via simplistic E-matching Solvers
#8224 opened Feb 27, 2024 by tautschnig Loading…
5 tasks done
@tautschnig
6
Make regression tests work when cvc5 is not available Tests work in progress
#8214 opened Feb 20, 2024 by tautschnig • Draft
2 of 7 tasks
@tautschnig
6
Support comparing arrays of non-constant size with array_equal aws-high bugfix Symbolic Execution
#8208 opened Feb 16, 2024 by tautschnig Loading…
3 tasks done
1
@tautschnig @kroening @peterschrammel
3
ProTip! Follow long discussions with comments:>50.