1 file changed
+1
-1
lines changed- .github/workflows/pull-request-checks.yaml+2-5
- CHANGELOG+14
- regression/ansi-c/c23_attributes1/main.c+8
- regression/ansi-c/c23_attributes1/test.desc+8
- src/ansi-c/scanner.l+11-1
- src/config.inc+1-1
- src/goto-cc/gcc_mode.cpp+14
- src/goto-programs/graphml_witness.cpp+16-18
- src/libcprover-rust/Cargo.toml+1-1
- src/solvers/flattening/arrays.cpp+15-25
- src/solvers/flattening/boolbv_with.cpp+9-28
- src/solvers/smt2/smt2_conv.cpp+1-19
- src/solvers/smt2_incremental/convert_expr_to_smt.cpp+3-6
- src/solvers/smt2_incremental/encoding/struct_encoding.cpp+13-40
- src/solvers/smt2_incremental/smt2_incremental_decision_procedure.cpp+7-10
- src/util/expr.cpp+1-1
- src/util/expr_util.cpp-10
- src/util/expr_util.h-10
- src/util/lower_byte_operators.cpp+2-5
- src/util/simplify_expr.cpp+45-62
- src/util/simplify_expr_int.cpp+8-3
- src/util/std_expr.h+1-5
- unit/solvers/smt2_incremental/convert_expr_to_smt.cpp+4-4
- unit/solvers/smt2_incremental/encoding/struct_encoding.cpp+121-72
- unit/solvers/smt2_incremental/smt2_incremental_decision_procedure.cpp+7-5
0 commit comments