1 file changed
+1
-1
lines changed- .gitignore+1
- .travis.yml+76-5
- CHANGELOG+1
- CMakeLists.txt+46
- jbmc/regression/jbmc/json_trace3/test.desc+1-1
- jbmc/regression/jbmc/lazyloading_opaquereturn/Bar.class
- jbmc/regression/jbmc/lazyloading_opaquereturn/Bar.java+7
- jbmc/regression/jbmc/lazyloading_opaquereturn/Baz.class
- jbmc/regression/jbmc/lazyloading_opaquereturn/Baz.java+5
- jbmc/regression/jbmc/lazyloading_opaquereturn/Foo.class
- jbmc/regression/jbmc/lazyloading_opaquereturn/Foo.java+11
- jbmc/regression/jbmc/lazyloading_opaquereturn/Gen.class
- jbmc/regression/jbmc/lazyloading_opaquereturn/Gen.java+3
- jbmc/regression/jbmc/lazyloading_opaquereturn/GenFiller.class
- jbmc/regression/jbmc/lazyloading_opaquereturn/GenFiller.java+7
- jbmc/regression/jbmc/lazyloading_opaquereturn/Opaque.java+6
- jbmc/regression/jbmc/lazyloading_opaquereturn/TestClass.class
- jbmc/regression/jbmc/lazyloading_opaquereturn/TestClass.java+5
- jbmc/regression/jbmc/lazyloading_opaquereturn/test.desc+13
- jbmc/src/janalyzer/CMakeLists.txt+3
- jbmc/src/janalyzer/janalyzer_parse_options.cpp+3-11
- jbmc/src/janalyzer/module_dependencies.txt-1
- jbmc/src/java_bytecode/ci_lazy_methods.cpp+9-142
- jbmc/src/java_bytecode/ci_lazy_methods.h-15
- jbmc/src/java_bytecode/ci_lazy_methods_needed.cpp+111-4
- jbmc/src/java_bytecode/ci_lazy_methods_needed.h+17-2
- jbmc/src/java_bytecode/java_bytecode_language.cpp+20
- jbmc/src/jbmc/CMakeLists.txt+3
- jbmc/src/jbmc/jbmc_parse_options.cpp+3-10
- jbmc/src/jbmc/module_dependencies.txt+1-1
- jbmc/src/jdiff/CMakeLists.txt+3
- jbmc/src/jdiff/jdiff_parse_options.cpp+3-6
- jbmc/src/jdiff/module_dependencies.txt-1
- jbmc/unit/java_bytecode/java_types/erase_type_arguments.cpp+1-1
- regression/ansi-c/Function_pointer1/conversion.c+8
- regression/ansi-c/Function_pointer1/test_conversion.desc+8
- regression/ansi-c/gcc_attributes5/main.c+21-13
- regression/ansi-c/gcc_attributes5/test.desc+1-1
- regression/cbmc/Typecast2/main.c-8
- regression/cbmc/Typecast2/main.i+7
- regression/cbmc/Typecast2/test.desc+1-1
- regression/cbmc/bounds_check1/test.desc+6-6
- regression/cpp/auto2/test.desc+1-1
- regression/cpp/auto3/test.desc+1-1
- regression/goto-analyzer/approx-array-variable-const-fp/test.desc+9-9
- regression/goto-analyzer/no-match-dereference-const-pointer-const-array-literal-pointer-const-fp/test.desc+9-9
- regression/goto-analyzer/no-match-pointer-const-struct-array-literal-non-const-fp/test.desc+9-9
- regression/goto-instrument/approx-array-variable-const-fp-only-remove-const/test.desc+9-9
- regression/goto-instrument/approx-array-variable-const-fp-remove-all-fp/test.desc+9-9
- regression/goto-instrument/print_global_state_size1/main.c+9
- regression/goto-instrument/print_global_state_size1/test.desc+8
- src/ansi-c/c_typecast.cpp+7
- src/cbmc/CMakeLists.txt+3
- src/cbmc/Makefile+2
- src/cbmc/cbmc_parse_options.cpp+3-10
- src/cbmc/cbmc_solvers.cpp-1
- src/cbmc/version.h-14
- src/clobber/CMakeLists.txt+2
- src/clobber/clobber_parse_options.cpp+5-10
- src/common+24-3
- src/config.inc+3
- src/goto-analyzer/CMakeLists.txt+3
- src/goto-analyzer/goto_analyzer_parse_options.cpp+3-9
- src/goto-analyzer/module_dependencies.txt-1
- src/goto-cc/CMakeLists.txt+3
- src/goto-cc/Makefile+5
- src/goto-cc/as_mode.cpp-2
- src/goto-cc/compile.cpp-2
- src/goto-cc/gcc_mode.cpp+5-2
- src/goto-cc/gcc_version.cpp+72-16
- src/goto-cc/gcc_version.h+12-1
- src/goto-cc/goto_cc_mode.cpp+6-5
- src/goto-cc/ld_mode.cpp-2
- src/goto-cc/module_dependencies.txt-1
- src/goto-cc/ms_cl_mode.cpp-2
- src/goto-diff/CMakeLists.txt+3
- src/goto-diff/goto_diff_parse_options.cpp+3-6
- src/goto-diff/module_dependencies.txt-1
- src/goto-instrument/CMakeLists.txt+3
- src/goto-instrument/count_eloc.cpp+58-1
- src/goto-instrument/count_eloc.h+17-1
- src/goto-instrument/goto_instrument_parse_options.cpp+10-10
- src/goto-instrument/goto_instrument_parse_options.h+6-3
- src/goto-instrument/module_dependencies.txt-1
- src/goto-programs/generate_function_bodies.h+2-2
- src/memory-models/CMakeLists.txt+3
- src/memory-models/mmcc_parse_options.cpp+5-7
- src/memory-models/module_dependencies.txt-1
- src/util/irep_ids.def+1-1
- src/util/parse_options.cpp+17
- src/util/parse_options.h+3
- src/util/small_map.h+9-2
- src/util/std_expr.h+2-1
- src/util/std_types.h+6
- src/util/symbol_table_base.cpp+6
- src/util/symbol_table_base.h+2
- unit/Makefile+3-11
- unit/testing-utils/catch.hpp+1-1
0 commit comments