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.

Jules Villard ec98c32b18 generate .{annot,cmt} files on demand ... Summary: public Generating .annot files is expensive. Add a configure option to disable them: ./configure --disable-ocaml-annot ./configure --disable-ocaml-bin-annot (the latter is more for completeness, as bin-annot are not very expensive to generate) `make` is 30% faster without annot files. Unless you use Eclipse you shouldn't need them. Reviewed By: jeremydubreil Differential Revision: D2765508 fb-gh-sync-id: 086bc39		10 years ago
..
annotations	Fix indentation of multiline copyright comment	10 years ago
bin	[sync] repair broken github sync	10 years ago
etc	[clang] replace yojson frontend with biniou frontend	10 years ago
lib	compatibility with older python (eg 2.7.3)	10 years ago
models	Fix indentation of multiline copyright comment	10 years ago
src	generate .{annot,cmt} files on demand	10 years ago
tests	No longer enforce the subtyping rule for the @PerformanceCritical annotation	10 years ago
.merlin	initial synchronization	10 years ago
.ocp-indent	add ocp-indent configuration and eclipse launcher	10 years ago
.project	initial synchronization	10 years ago
Makefile.in	migrate infer/Makefile	10 years ago