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 0def5c4111 No longer enforce the subtyping rule for the @PerformanceCritical annotation ... Summary: public The contravariant subtyping rule for the PerformanceCritial annotation was meant to document the code but can be very too verbose on exisiting project. It is also not necessary as we can get this annotation from the supertypes. I am disabling it for now, but keep the code in case we want to revive it at some point in the future. Reviewed By: sblackshear Differential Revision: D2750212 fb-gh-sync-id: 2424281		9 years ago
..
annotations	Fix indentation of multiline copyright comment	9 years ago
bin	[sync] repair broken github sync	9 years ago
etc	[clang] replace yojson frontend with biniou frontend	10 years ago
lib	refactoring command line options for debugging	9 years ago
models	Fix indentation of multiline copyright comment	9 years ago
src	No longer enforce the subtyping rule for the @PerformanceCritical annotation	9 years ago
tests	No longer enforce the subtyping rule for the @PerformanceCritical annotation	9 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	9 years ago