6872 Commits (02f747abca10105853bbd402780ac431b9e574fd)
 

Author SHA1 Message Date
jrm 2bce7c6c3d [infer][Java] rename the builtin `InferBuiltins.__infer_assume` into `InferBuiltins.assume`
10 years ago
Dulma Rodriguez 34b911c935 [clang] Fixing the tests for the models of getc.
10 years ago
Dino Distefano 3ce393f511 Fixed model for getc and fgetc
10 years ago
Jules Villard 044df14616 a simple text visualisation of error traces
10 years ago
martinoluca c3a1e501bc Fix tests script to add multiple targets
10 years ago
jrm 0fc2f28cba [infer][OSS] use the name Infer instead of INFER in the scripts
10 years ago
Jules Villard 0062172651 discard git and hg errors in vcs queries
10 years ago
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 859631effa more precise gcc and Python requirements in INSTALL.md
10 years ago
Jules Villard 58debe92be add tarballs to .gitignore
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
Dulma Rodriguez 9b145bf5c8 [OSS] Remove info about clang_frontend_stats since it's not public.
10 years ago
Cristiano Calcagno a6e65c2970 [Readme] Fix link.
10 years ago
martinoluca 459ebb7eb9 Commit alignment
10 years ago
Dulma Rodriguez 0df8829783 [OSS] Adding FILES.md
10 years ago
Dulma Rodriguez 03e3ceb71f Adding docs about the files in bin
10 years ago
Andrzej Kotulski 085f9ebdd5 Slightly change sync config
10 years ago
Sam Blackshear 93cd195aef [Infer][frontend] Removing logging from inferJ
10 years ago
Open Source Synchronization b8982270f2 initial synchronization
10 years ago