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 69f8140655 [cli] do not accept unknown arguments in OCaml ... Summary: Checked manually that Config.ml covers all the options declared in Python: `cd ~/infer && git grep --color -nH -e 'add_argument'` Reviewed By: jeremydubreil Differential Revision: D4430402 fbshipit-source-id: e4c8614		8 years ago
..
IR	[checkers] Add support for html output in checkers, starting with Eradicate	8 years ago
backend	[cli] warn about deprecated options, clean up infer repo	8 years ago
base	[cli] do not accept unknown arguments in OCaml	8 years ago
checkers	[cli] warn about deprecated options, clean up infer repo	8 years ago
clang	[clang] Remove unnecessary list append in clang frontend	8 years ago
eradicate	[checkers] Add support for html output in checkers, starting with Eradicate	8 years ago
harness	Divide Utils into Utils, Pp, and IStd	8 years ago
integration	[driver] decouple logic for choosing capture mode from the capture	8 years ago
java	Call java frontend directly instead of using fork	8 years ago
java_stubs	Call java frontend directly instead of using fork	8 years ago
opensource	[oss] add missing is_logging_method	8 years ago
quandary	[checkers] factor out FormalMap into its own module	8 years ago
scripts	[lint] fix copyright linter	8 years ago
tp/fts	[utils] Add CTypes binding of fts and implement remove_directory_tree	8 years ago
unit	[backend] expose underlying Procdesc.Node from ProcCFG nodes	8 years ago
Makefile	[driver] decouple logic for choosing capture mode from the capture	8 years ago
unary.txt	Add target to convert files to reason	9 years ago