You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Jules Villard 902de9d6e3 [sil] make return value and type mandatory ... Summary: This simplifies the frontends and backends in most cases. Before this diff, returning `void` could be modelled either with a `None` return, or a dummy return variable with type `Tvoid`. Now it's always the latter. Reviewed By: sblackshear, dulmarod Differential Revision: D7832938 fbshipit-source-id: 0a403d1		7 years ago
..
ant	[infer] upgrade the version of Guava used for the tests	7 years ago
assembly	[infer] add the report kind to the list of expected output	7 years ago
buck	[buck] disable buckd systematically	7 years ago
buck-clang-db	[buck] disable buckd systematically	7 years ago
buck_cross_module	[buck] disable buckd systematically	7 years ago
buck_flavors	[biabduction] Log reasons for skipping also in non Java context	7 years ago
buck_flavors_deterministic	[buck] disable buckd systematically	7 years ago
buck_flavors_diff	[tests] some missing dependencies in differential tests	7 years ago
buck_flavors_run	[buck] disable buckd systematically	7 years ago
ck_analytics	[infer] add the report kind to the list of expected output	7 years ago
ck_imports	[infer] add the report kind to the list of expected output	7 years ago
clang_compilation_db	[infer] add the report kind to the list of expected output	7 years ago
clang_compilation_db_escaped	[infer] add the report kind to the list of expected output	7 years ago
clang_compilation_db_relpath	[infer] add the report kind to the list of expected output	7 years ago
clang_multiple_files	[infer] add the report kind to the list of expected output	7 years ago
clang_translation	[infer][clang] models off-by-default	7 years ago
clang_unknown_ext	[infer] add the report kind to the list of expected output	7 years ago
clang_with_E_flag	[checkers] make all models and tests use checkers	7 years ago
clang_with_MD_flag	[infer] add the report kind to the list of expected output	7 years ago
clang_with_M_flag	[checkers] make all models and tests use checkers	7 years ago
clang_with_blacklisted_flags	[infer] add the report kind to the list of expected output	7 years ago
cmake	[infer] add the report kind to the list of expected output	7 years ago
codetoanalyze	[sil] make return value and type mandatory	7 years ago
deduplicate_template_warnings	[infer] add the report kind to the list of expected output	7 years ago
delete_results_dir	[infer] add the report kind to the list of expected output	7 years ago
diff	change clang translation to track if_kind (i.e. the type of prune node)	7 years ago
diff_gen_build_script	change clang translation to track if_kind (i.e. the type of prune node)	7 years ago
differential_interesting_paths_filter	[tests] some missing dependencies in differential tests	7 years ago
differential_skip_anonymous_class_renamings	[tests] some missing dependencies in differential tests	7 years ago
differential_skip_duplicated_types_on_filenames	[tests] some missing dependencies in differential tests	7 years ago
differential_skip_duplicated_types_on_filenames_with_renamings	[tests] some missing dependencies in differential tests	7 years ago
fail_on_issue	[make] make sure no command fails	7 years ago
genrule	[buck] disable buckd systematically	7 years ago
gradle	[infer] add the report kind to the list of expected output	7 years ago
inferconfig	[infer] add the report kind to the list of expected output	7 years ago
infertop	[jbuilder] turn I{Std,List} and atd-generated files into libraries	7 years ago
j1	[siof] enable SIOF checker only when new --siof option is passed	8 years ago
javac	[infer] add the report kind to the list of expected output	7 years ago
linters	[infer] add the report kind to the list of expected output	7 years ago
make	[infer] add the report kind to the list of expected output	7 years ago
mock	add mock gradle for e2e test	9 years ago
mvn	[infer] add the report kind to the list of expected output	7 years ago
ndk_build	[infer] add the report kind to the list of expected output	7 years ago
objc_getters_setters	change clang translation to track if_kind (i.e. the type of prune node)	7 years ago
objc_retain_cycles	[retain cycles] Fix false positives to do with not finding weak attribute in the tenv	7 years ago
objc_retain_cycles_weak	[objc] Add missing fields to the tenv also when they are added to the footprint	7 years ago
preprocessed	[checkers] make all models and tests use checkers	7 years ago
project_root_rel	[infer] add the report kind to the list of expected output	7 years ago
reactive	[infer] add the report kind to the list of expected output	7 years ago
resource_leak_exception_lines	[make] make sure we always read from the right infer-out/	7 years ago
results_xml	[checkers] make all models and tests use checkers	7 years ago
run_hidden_linters	Turn off --keep-going by default	7 years ago
threadsafety_dedup	[cleanup] rename thread-safety analysis	7 years ago
threadsafety_traces	[buck] disable buckd systematically	7 years ago
tracebugs	[trace] infer subcommand for inferTraceBugs	7 years ago
uninit	[infer] add the report kind to the list of expected output	7 years ago
utf8_in_procname	[infer] add the report kind to the list of expected output	7 years ago
utf8_in_pwd	[infer] add the report kind to the list of expected output	7 years ago
waf	[infer] add the report kind to the list of expected output	7 years ago
xcodebuild	[tests] Fix tests	7 years ago
xcodebuild_no_xcpretty	[infer] add the report kind to the list of expected output	7 years ago