8 Commits (c585383fba6bc83f14ea3194c40f137fe9ae1fd7)

Author	SHA1	Message	Date
Josh Berdine	63b57790f9	Fix indentation of multiline copyright comment ... Summary: public Lines other than the first of multi-line comments in non-ocaml files were flush right instead of aligned. Reviewed By: jvillard Differential Revision: D2739752 fb-gh-sync-id: c85f56e	9 years ago
Dulma Rodriguez	0db83eb5dd	Adding the no progress bar option to the tests ... Summary: public Buck prints all the output at once and it doesn't look good. So we should not print the progress bar in the tests. Reviewed By: jvillard Differential Revision: D2631722 fb-gh-sync-id: 5460a70	9 years ago
jrm	0a2571c10a	[infer][java] Infer now reports errors with relative paths on Ant and Gradle projects ... Summary: Having the gradle integration reporting errors using relative paths is required to make Infer usable with CI tools	9 years ago
Cristiano Calcagno	3e199467f4	Complete copyright messages.	10 years ago
Cristiano Calcagno	df04749cd0	Add module to fix copyright messages.	10 years ago
jrm	ef27abcc8f	[infer][tracing] disabling non working tests for ArrayIndexOutOfBoundsException ... Summary: Temporarily disabling these tests since they are fragile and are, for some reason, failing as soon as I modify the Java models.	10 years ago
jrm	8779b80f8a	[infer][tracing] add an example of inter-procedural array out of bounds error ... Summary: In tracing mode, Infer can compute pre-condtions for hitting a array access out of bounds. Adding a small such example in the tests.	10 years ago
Open Source Synchronization	b8982270f2	initial synchronization	10 years ago