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.

Josh Berdine 216812a615 [driver] Add skeleton capture and analysis driver to infer.ml ... Summary: This diff adds a skeleton implementation of the capture and analysis driver to infer.ml, and removes some unnecessary code from infer.py. With this, individual capture and analysis modules can be added, or moved from python. Reviewed By: jvillard Differential Revision: D4109547 fbshipit-source-id: 0dce2bf		8 years ago
..
clang_wrappers	[clang] convert filter_args_and_run_fcp_clang to OCaml	8 years ago
java	[infer][models] Fixing InferAssume	10 years ago
python	[driver] Add skeleton capture and analysis driver to infer.ml	8 years ago
specs	initial synchronization	10 years ago
wrappers	[clang] convert filter_args_and_run_fcp_clang to OCaml	8 years ago
xcode_wrappers	[clang] Remove INFER_XX environment variable	8 years ago