5 Commits (743c73012dfc9d7be7c7612a56a8431c7070a799)

Author	SHA1	Message	Date
Jules Villard	bae8a4dced	[whitespace] indent .ml files as well	10 years ago
Jules Villard	6911a1516c	[whitespace] ocp-indent the code ... Summary: This commit is the result of `find infer/src -name '*.ml' -or -name '*.mli' -exec ocp-indent -i \{\} \;` and `INFER_CHECK_COPYRIGHT=1 InferPrint`	10 years ago
Cristiano Calcagno	df04749cd0	Add module to fix copyright messages.	10 years ago
Dulma Rodriguez	41fe321582	[clang] Adding option analyzer to InferPrint in inferiOS to avoid analysing generated files	10 years ago
Open Source Synchronization	b8982270f2	initial synchronization	10 years ago