1 file changed
+1
-1
lines changed- .travis.yml+4-4
- COMPILING.md+3-3
- buildspec-linux-cmake-gcc-cov.yml+1-1
- buildspec-linux-cmake-gcc.yml+1-1
- buildspec-windows-cmake.yml+1-1
- doc/architectural/compilation-and-development.md+1-1
- regression/cbmc/incomplete-sizeof/array.c+10
- regression/cbmc/incomplete-sizeof/array.desc+9
- regression/cbmc/incomplete-sizeof/enum.c+10
- regression/cbmc/incomplete-sizeof/enum.desc+9
- regression/cbmc/incomplete-sizeof/struct.c+11
- regression/cbmc/incomplete-sizeof/struct.desc+9
- regression/cbmc/incomplete-sizeof/union.c+10
- regression/cbmc/incomplete-sizeof/union.desc+9
- src/ansi-c/c_typecheck_expr.cpp+15
- src/cpp/cpp_static_assert.h+6-1
- src/cpp/parse.cpp+11-6
- src/goto-checker/report_util.cpp+64-53
- src/util/byte_operators.h-13
- src/util/mathematical_expr.h-5
- src/util/std_code.h-36
- src/util/std_expr.h+4-170
- src/util/std_types.h-5
- src/util/type.h-11
- unit/Makefile+1
- unit/goto-checker/report_util/is_property_less_than.cpp+102
- unit/goto-checker/report_util/module_dependencies.txt+2
0 commit comments