infer_clone

Author	SHA1	Message	Date
Cristiano Calcagno	1e6247c872	[frontend] generate fresh ids separately for different procedures in the cfg Summary: each procedure has a different scope, so we can restart the fresh name generator and have more stable instructions in the cfg, that don't change when other procedures are changed	10 years ago
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	3e199467f4	Complete copyright messages.	10 years ago
Sam Blackshear	ca65b2b906	[Infer][Java] Adding is_static metadata to Java procname's	10 years ago
Open Source Synchronization	b8982270f2	initial synchronization	10 years ago