Skip to content

Pull requests: diffblue/cbmc

New pull request New
Clear current search query, filters, and sorts
40 Open 1,267 Closed
40 Open 1,267 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

Field sensitivity: account for array size in all index expressions bugfix Kani Bugs or features of importance to Kani Rust Verifier
#8579 opened Feb 3, 2025 by tautschnig Loading…
3 tasks done
@kroening @peterschrammel
1
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
Remove dynamic_cast from hardness collection code paths
#8423 opened Aug 22, 2024 by tautschnig Loading…
2 of 4 tasks
@kroening
1
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
embedd files using hex literals instead of string literals
#8332 opened Jun 15, 2024 by kroening • Draft
2 of 5 tasks
@kroening
Move __CPROVER_uninterpreted_* conversion to C type checker
#8280 opened May 9, 2024 by tautschnig Loading…
3 tasks done
@tautschnig @kroening @remi-delmas-3000
2
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
C library: Refine and improve stdio models C Front End
#8043 opened Nov 16, 2023 by tautschnig Loading…
3 of 4 tasks
@kroening @peterschrammel
1
Perform simplification of not_exprt as preorder step
#7996 opened Nov 6, 2023 by tautschnig Loading…
2 of 4 tasks
@kroening @peterschrammel
4
Mimic GCC/Clang simplification behaviour when type checking ?: C Front End
#7959 opened Oct 13, 2023 by tautschnig Loading…
3 tasks done
1
@kroening
24
Reading/writing goto binaries: consistently use return values cleanup
#7643 opened Apr 3, 2023 by tautschnig Loading…
2 of 4 tasks
@kroening @peterschrammel
3
C front-end: ensure array type updates are consistent bugfix C Front End
#7610 opened Mar 22, 2023 by tautschnig Loading…
3 tasks done
1
@kroening
1
Linking: fix up all types before handling functions or objects aws Bugs or features of importance to AWS CBMC users bugfix
#7579 opened Mar 7, 2023 by tautschnig Loading…
2 of 3 tasks
@kroening
4
Introduce bitst and bytest to avoid bit/byte mix-up
#7413 opened Dec 5, 2022 by tautschnig Loading…
2 of 4 tasks
@kroening
14
CHC solver: byte-wise reading
#7335 opened Nov 13, 2022 by kroening • Draft
3 tasks done
@kroening
disallow flexible array members in unions C Front End
#7296 opened Nov 3, 2022 by kroening Loading…
3 of 4 tasks
@kroening
1
Fix goto-symex' auto-objects feature Tests
#7177 opened Sep 30, 2022 by tautschnig Loading…
3 tasks done
@kroening @peterschrammel
2
introduce __CPROVER_map type enhancement
#7096 opened Sep 2, 2022 by kroening • Draft
4 of 5 tasks
@kroening
9
Support overflow plus/minus expressions over pointers aws Bugs or features of importance to AWS CBMC users do not merge Kani Bugs or features of importance to Kani Rust Verifier Pointer Modelling
#6881 opened May 24, 2022 by tautschnig Loading…
2 of 3 tasks
1
@tautschnig @kroening
3
[WIP] Filter generated assertions Property Instrumentation work in progress
#6688 opened Feb 20, 2022 by tautschnig • Draft
7 tasks
@tautschnig @kroening
Move rounding_mode_identifier() to configt cleanup
#6555 opened Dec 31, 2021 by tautschnig Loading…
2 of 3 tasks
@kroening
1
Track deallocated/dead in an array
#6506 opened Dec 4, 2021 by tautschnig Loading…
3 of 5 tasks
@tautschnig @kroening @peterschrammel
5
Byte extract lowering: support extracting non-byte-aligned arrays blocker
#6488 opened Nov 29, 2021 by tautschnig Loading…
3 tasks done
@tautschnig @kroening @peterschrammel
7
ProTip! Type g i on any issue or pull request to go back to the issue listing page.