Issues
- 0
Large arrays cause out of memory issues during trace generation with incremental smt2 decision procedure
#8071 opened - 0
Support for saturating arithmetic is not yet implemented in incremental smt2 decision procedure
#8070 opened - 0
The incremental smt2 decision procedure does not yet support casting from C booleans to C integers.
#8069 opened - 0
Unimplemented support for the `__CPROVER_uninterpreted_*` intrinsic in `incremental smt2 decision procedure`
#8068 opened - 0
Support for printing strings in traces is not yet implemented for the incremental smt2 decision procedure
#8067 opened - 0
Support for let expressions in the incremental smt2 decision procedure is not yet implemented
#8066 opened - 0
- 0
- 1
Unimplemented nondeterministic memory allocation order for the incremental smt2 decision procedure
#8063 opened - 0
Support for fixed point arithmetic is not implemented for the incremental smt2 decision procedure
#8062 opened - 1
- 0
There are conflicting combinations of solver arguments which are not correctly reported.
#8060 opened - 0
Unimplemented support for array comprehension expressions in incremental smt2 decision procedure
#8059 opened - 0
Unimplemented support for arrays inside structs or unions in incremental smt2 decision procedure
#8058 opened - 0
- 0
- 0
There are builtin bit wise intrinsics which are not yet implemented for incremental smt2 decision procedure
#8055 opened - 0
- 0
- 5
satcheck_minisat2.cpp: error: 'l_True' was not declared in this scope; did you mean 'Minisat::l_True'?
#8052 opened - 1
- 0
- 1
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 2
- 0
src/util/lispexpr.h
#8016 opened - 0
src/util/expr_util.h
#8015 opened - 0
- 0
- 0
- 0
src/goto-programs/class_hierarchy.h -
#8011 opened - 0
- 0
src/analyses/ai.h - `virtual statet &get_state`
#8009 opened - 0
src/analyses/ai.h -
#8008 opened - 0
src/analyses/ai_storage.h -
#8007 opened - 0
[RFC] Introduction of a namespace for CBMC
#8004 opened - 2
- 2
List of cleanup locations marked as `DEPRECATED`
#7998 opened - 6
- 4
why need unwind only to run coverage
#7983 opened - 1
Unexpected malloc size
#7978 opened - 2
- 3