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.

Jeremy Dubreil ea72dadab3 [infer] Add the possibility to skip the analysis of some files based on their path ... Summary: Just adds a language agnostic option to skip the analysis of some files based on the path name. Can be used from the command line with: infer infer --skip-analysis-in-path "some/path/" ... or via the `.inferconfig` file: { "skip-analysis-in-path": [ "infer/demo/Resource.java" ] } Reviewed By: jberdine Differential Revision: D3954809 fbshipit-source-id: d0d2b9f		8 years ago
..
.settings	add ocp-indent configuration and eclipse launcher	9 years ago
IR	[IR] Do not use JBasics.java_lang_object in IR/backend	8 years ago
backend	[infer] Add the possibility to skip the analysis of some files based on their path	8 years ago
checkers	[IR] Do not use JBasics.java_lang_object in IR/backend	8 years ago
clang	[clang] minor cleanups	8 years ago
eradicate	[IR] Simplify to single return id, with type	8 years ago
harness	[IR] Simplify to single return id, with type	8 years ago
integration	[utils] return process exit status in with_process_{in,full} helpers	8 years ago
java	[infer] Add the possibility to skip the analysis of some files based on their path	8 years ago
llvm	[IR] Simplify to single return id, with type	8 years ago
menhir	build in one directory only	9 years ago
opensource	fix github build	9 years ago
quandary	[IR] Simplify to single return id, with type	8 years ago
scripts	Move Logging setup to Logging	9 years ago
unit	[IR] Simplify to single return id, with type	8 years ago
Makefile	Exclude autosave files from repl build	8 years ago
unary.txt	Add target to convert files to reason	9 years ago