You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

jrm 8eb73bf39d Turn on ondemand for the tracing mode ... Reviewed By: cristianoc Differential Revision: D2895107 fb-gh-sync-id: cc27d4f shipit-source-id: cc27d4f		10 years ago
..
annotations	Target JDK 1.7 for annotations and processor jar for Android.	10 years ago
bin	remove symbolic link to deleted script BuckAnalyze	10 years ago
etc	[clang] replace yojson frontend with biniou frontend	10 years ago
lib	Turn on ondemand for the tracing mode	10 years ago
models	Remove no longer useful model for java.lang.Thread	10 years ago
src	Remove uses of assert false to get original ml location.	10 years ago
tests	Don't add process type redeclaration unless it has definition	10 years ago
.merlin	initial synchronization	11 years ago
.ocp-indent	add ocp-indent configuration and eclipse launcher	11 years ago
.project	initial synchronization	11 years ago
Makefile.in	migrate infer/Makefile	10 years ago