Pull requests: diffblue/cbmc
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Make DFCC is_dead_object_update less restrictive
#8261
opened Apr 26, 2024 by
tautschnig
Loading…
2 of 3 tasks
Move goto_convert files
C++ Front End
C Front End
cleanup
#8253
opened Mar 24, 2024 by
kroening
Loading…
2 of 5 tasks
Simplifier: c_bool (and others) are also bitvector types
aws-high
Kani
Bugs or features of importance to Kani Rust Verifier
#8247
opened Mar 20, 2024 by
tautschnig
Loading…
2 of 3 tasks
simplify Pull requests and issues requiring a major version bump
extractbits_exprt
representation
Version 6
#8246
opened Mar 19, 2024 by
kroening
Loading…
3 of 4 tasks
Built-in checks can optionally be fatal
aws
Bugs or features of importance to AWS CBMC users
Kani
Bugs or features of importance to Kani Rust Verifier
#8242
opened Mar 15, 2024 by
tautschnig
Loading…
3 of 4 tasks
Solvers: Replace uses of namespacet::follow
cleanup
#8235
opened Mar 10, 2024 by
tautschnig
Loading…
2 of 3 tasks
Pointer analysis: Replace uses of namespacet::follow
cleanup
#8231
opened Mar 6, 2024 by
tautschnig
Loading…
2 of 3 tasks
Quantifier instantiation via simplistic E-matching
Solvers
#8224
opened Feb 27, 2024 by
tautschnig
Loading…
5 tasks done
goto-symex: Replace uses of namespacet::follow
cleanup
#8222
opened Feb 27, 2024 by
tautschnig
Loading…
2 of 3 tasks
goto-harness: remove use of namespacet::follow
cleanup
#8220
opened Feb 27, 2024 by
tautschnig
Loading…
2 of 3 tasks
cprover: Replace uses of namespacet::follow
cleanup
#8219
opened Feb 27, 2024 by
tautschnig
Loading…
2 of 3 tasks
analyses: Replace uses of namespacet::follow
cleanup
#8215
opened Feb 20, 2024 by
tautschnig
Loading…
2 of 3 tasks
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
JBMC: Replace uses of namespacet::follow
#8210
opened Feb 19, 2024 by
tautschnig
Loading…
2 of 3 tasks
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
Goto crossing scopes: fix scope tree entry of conditions
aws-high
#8187
opened Feb 6, 2024 by
tautschnig
Loading…
3 tasks done
Declutter linking implementation
cleanup
#8168
opened Jan 24, 2024 by
tautschnig
Loading…
2 of 4 tasks
library-check: fixup missing __builtin_ffs check
#8145
opened Dec 21, 2023 by
rurban
Loading…
4 of 7 tasks
Remove deprecated messaget() constructor
cleanup
#8143
opened Dec 20, 2023 by
tautschnig
•
Draft
2 of 3 tasks
Mark release of CBMC version 6.0.0-beta1
do not merge
#8112
opened Dec 15, 2023 by
NlightNFotis
Loading…
Enable logging of default flags on tool invocation
#8110
opened Dec 14, 2023 by
NlightNFotis
Loading…
Makes README the entrypoint for all CBMC documentation
aws
Bugs or features of importance to AWS CBMC users
do not review
documentation
#8102
opened Dec 13, 2023 by
feliperodri
•
Draft
3 of 7 tasks
C library: Refine and improve stdio models
C Front End
#8043
opened Nov 16, 2023 by
tautschnig
Loading…
3 of 4 tasks
Previous Next
ProTip!
no:milestone will show everything without a milestone.