7 Commits (f5e7a6e6d75b7a6f7d20e593d448fcfbcb615058)

Author SHA1 Message Date
Jeremy Dubreil 97927f6f46 [infer][checkers] remove the `-a biabduction` option and the related code
7 years ago
Jeremy Dubreil a9d96b4e99 [infer] revert D5770061
7 years ago
Jeremy Dubreil 045bec3863 [infer][java] add the bootclasspath command line option to the genrule tests
7 years ago
Jeremy Dubreil 34d10fdede [infer][cleanup] remove some left-over use of the Eradicate analyzer entry
7 years ago
Gautam Korlam fe24209c3d Cleanup DEFS file for generating infer genrules
8 years ago
Josh Berdine 4ec3af4a7f Call java frontend directly instead of using fork
8 years ago
Jeremy Dubreil 027bdc32e8 [infer][genrule] Add example of Buck DEFS macro to generate Infer analysis targets
8 years ago