1757 Commits (a45d59e4783f143b0a1635b69cdea47536cf00d6)

Author SHA1 Message Date
jrm aa7bf8e69b [infer] fix inconsistencies between the errors that are saved in the generated reports and what is saved in standard output
10 years ago
Sam Blackshear 8f9cef0320 [Infer][backend] Fixing bug in removal of abducted program variables
10 years ago
Jules Villard 4820a0b9fc add version information to InferAnalyze output
10 years ago
Jules Villard 26108302d2 [infer] report number of files analysed in the absence of *.cfg
10 years ago
Andrzej Kotulski f62005a761 Add simple check for python version
10 years ago
Sam Blackshear 93cd195aef [Infer][frontend] Removing logging from inferJ
10 years ago
Open Source Synchronization b8982270f2 initial synchronization
10 years ago