Pull requests: diffblue/cbmc
Pull requests list
Add --evaluation-order-check for unspecified evaluation order
#9152
opened Aug 5, 2026 by
tautschnig
Collaborator
Loading…
4 of 5 tasks
Make trace generation opt-in for all user interfaces
#9150
opened Aug 4, 2026 by
tautschnig
Collaborator
Loading…
3 of 4 tasks
Summarise sequential top-level calls by replacement in DFCC checks
#9149
opened Aug 3, 2026 by
tautschnig
Collaborator
Loading…
3 tasks done
Dominator sets: use sharing map to avoid quadratic memory
#9141
opened Jul 29, 2026 by
tautschnig
Collaborator
Loading…
2 of 5 tasks
strings: factor trim into a parameterised strip facility
#9140
opened Jul 28, 2026 by
tautschnig
Collaborator
Loading…
3 of 4 tasks
smt2: generic string-op lowerings replace_all / from_code / to_code / from_int
#9139
opened Jul 28, 2026 by
tautschnig
Collaborator
Loading…
3 tasks done
goto-symex: skip string side-effect const-prop for value-returning applications
#9138
opened Jul 28, 2026 by
tautschnig
Collaborator
Loading…
2 of 3 tasks
Honor --compact-trace in JSON trace output
#9135
opened Jul 28, 2026 by
tautschnig
Collaborator
Loading…
3 of 4 tasks
Do not silently wrap pointer offsets in the propositional encoding
#9134
opened Jul 23, 2026 by
tautschnig
Collaborator
Loading…
3 tasks done
util/simplify_expr: guard string simplifiers against non-string arguments
#9133
opened Jul 23, 2026 by
tautschnig
Collaborator
Loading…
2 of 3 tasks
goto-symex/slice: never slice CPROVER string-refinement intrinsics
#9132
opened Jul 23, 2026 by
tautschnig
Collaborator
Loading…
3 of 4 tasks
util: IEEE-754 sign-aware expression builders (signbit/fabs/copysign)
#9131
opened Jul 23, 2026 by
tautschnig
Collaborator
Loading…
4 tasks done
util/irep: O(1) SHARING fast-path for irept::compare
#9130
opened Jul 23, 2026 by
tautschnig
Collaborator
Loading…
3 of 4 tasks
SMT2 front-end: fix bvsmod semantics (sign follows divisor)
#9129
opened Jul 22, 2026 by
tautschnig
Collaborator
Loading…
4 tasks done
Avoid materializing value sets when simplifying POINTER_OBJECT equalties
#9128
opened Jul 22, 2026 by
tautschnig
Collaborator
Loading…
4 of 5 tasks
Make profiling script failures visible instead of silently truncating
#9127
opened Jul 22, 2026 by
tautschnig
Collaborator
Loading…
2 of 3 tasks
Fix profiling memory limit under a pre-existing hard rlimit
#9126
opened Jul 22, 2026 by
tautschnig
Collaborator
Loading…
2 of 3 tasks
Share object maps in value_sett::make_union when destination is empty
#9125
opened Jul 22, 2026 by
tautschnig
Collaborator
Loading…
2 of 4 tasks
Add .lower() methods to reduction and replication expressions
#9123
opened Jul 21, 2026 by
kroening
Collaborator
Loading…
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.