1 file changed
+1
-1
lines changed- .github/workflows/README.md+9-6
- .github/workflows/bsd.yaml+4-4
- .github/workflows/build-and-test-Linux.yaml+5-5
- .github/workflows/build-and-test-Xen.yaml+7-7
- .github/workflows/coverage.yaml+8-8
- .github/workflows/csmith.yaml+5-5
- .github/workflows/doxygen-check.yaml+1-1
- .github/workflows/performance.yaml+4-4
- .github/workflows/publish.yaml+1-1
- .github/workflows/pull-request-check-clang-format.sh+1-1
- .github/workflows/pull-request-checks.yaml+73-73
- .github/workflows/regular-release.yaml+3-3
- .github/workflows/release-packages.yaml+8-82
- .github/workflows/syntax-checks.yaml+2-2
- CHANGELOG+31
- CMakeLists.txt+2-2
- README.md+8-7
- cmake/DownloadProject.CMakeLists.cmake.in+1-1
- doc/architectural/front-page.md+8-7
- doc/man/cbmc.1+1-1
- doc/man/goto-analyzer.1+1-1
- integration/linux/compile_linux.sh+81
- jbmc/src/java_bytecode/java_qualifiers.cpp-5
- jbmc/src/java_bytecode/java_qualifiers.h-1
- regression/cbmc-library/fgets-01/__fgets_chk.desc+4-2
- regression/cbmc/Quantifiers-statement-expression/main.c+1-3
- regression/cbmc/Quantifiers-statement-expression3/main.c+11
- regression/cbmc/Quantifiers-statement-expression3/test.desc+8
- regression/cbmc/_BitInt/_BitInt1.c+13
- regression/cbmc/_BitInt/_BitInt1.desc+8
- regression/cbmc/_BitInt/_BitInt2.c+18
- regression/cbmc/_BitInt/_BitInt2.desc+10
- regression/cbmc/_BitInt/_BitInt3.c+11
- regression/cbmc/_BitInt/_BitInt3.desc+10
- regression/cbmc/_BitInt/_BitInt4.c+10
- regression/cbmc/_BitInt/_BitInt4.desc+10
- regression/cbmc/constants/predefined-constants1.c+10
- regression/cbmc/constants/predefined-constants1.desc+7
- regression/cbmc/static_assert/static_assert1.c+17
- regression/cbmc/static_assert/static_assert1.desc+8
- regression/cbmc/typeof/typeof2.c+23
- regression/cbmc/typeof/typeof2.desc+8
- regression/contracts-dfcc/skip_unused_instrumentation/main.c+10
- regression/contracts-dfcc/skip_unused_instrumentation/test.desc+31
- scripts/bash-autocomplete/cbmc.sh.template+11-1
- src/analyses/global_may_alias.h-1
- src/ansi-c/ansi_c_convert_type.cpp+42-29
- src/ansi-c/ansi_c_convert_type.h+3-4
- src/ansi-c/ansi_c_language.cpp+5-2
- src/ansi-c/ansi_c_parser.h+2-2
- src/ansi-c/builtin_factory.cpp+2
- src/ansi-c/c_preprocess.cpp+32-1
- src/ansi-c/c_qualifiers.h-6
- src/ansi-c/c_typecheck_base.h+1
- src/ansi-c/c_typecheck_code.cpp+6-3
- src/ansi-c/c_typecheck_type.cpp+61-1
- src/ansi-c/expr2c.cpp+31-2
- src/ansi-c/gcc_version.cpp+4
- src/ansi-c/goto-conversion/goto_clean_expr.cpp+34-15
- src/ansi-c/goto-conversion/goto_convert.cpp+4-2
- src/ansi-c/parser.y+50-2
- src/ansi-c/scanner.l+351-433
- src/config.inc+1-1
- src/goto-checker/solver_factory.cpp-1
- src/goto-checker/solver_factory.h+1
- src/goto-instrument/contracts/dynamic-frames/dfcc.cpp+24-18
- src/goto-programs/goto_program.h-1
- src/goto-programs/goto_trace.cpp-2
- src/goto-programs/show_goto_functions_json.cpp-2
- src/goto-programs/show_goto_functions_xml.cpp-2
- src/goto-programs/validate_goto_model.h+1-1
- src/goto-symex/goto_symex_state.h-1
- src/libcprover-rust/Cargo.toml+1-1
- src/pointer-analysis/value_set.cpp-2
- src/solvers/flattening/boolbv_overflow.cpp+3-5
- src/solvers/sat/dimacs_cnf.cpp-2
- src/solvers/smt2/smt2_dec.cpp+2
- src/solvers/smt2/smt2_dec.h-2
- src/solvers/smt2_incremental/convert_expr_to_smt.cpp+4-6
- src/solvers/smt2_incremental/smt2_incremental_decision_procedure.h+2-1
- src/util/config.cpp+6
- src/util/config.h+21-3
- src/util/irep_ids.def+5
0 commit comments