4 Commits (a7fdb096007ab8080398c571fe2aee04b000ab07)

Author	SHA1	Message	Date
Jules Villard	e695e14ee1	add various filter options from inferconfig to the CLI ... Summary: Part of the migration of .inferconfig-specific options into options accepted both by .inferconfig and the CLI. Reviewed By: jberdine Differential Revision: D3304783 fbshipit-source-id: 4a7ee6f	9 years ago
jrm	cc4fcd6837	Add support for modeling @Expensive methods using .inferconfig ... Summary:public Use the configuration file .inferconfig to model the library method that are considered expensive Reviewed By: cristianoc Differential Revision: D3045288 fb-gh-sync-id: e58d85c shipit-source-id: e58d85c	9 years ago
jrm	6f3873aa99	Adding inferconfig support to skip the translation of generated source code ... Summary: public This allow to tell Infer to skip the translation of some files. This is especially useful to skip the translation of some generated files following the syntax: > cat .inferconfig { "skip_translation": [ { "language": "Java", "source_contains": "_SHOULD_BE_SKIPPED_" } ] } Reviewed By: cristianoc Differential Revision: D2588095 fb-gh-sync-id: 3fda816	9 years ago
Open Source Synchronization	b8982270f2	initial synchronization	10 years ago