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.

Peter O'Hearn 50081c7ccb alloc/dealloc model for locks ... Reviewed By: sblackshear Differential Revision: D3207043 fb-gh-sync-id: 6e45d03 fbshipit-source-id: 6e45d03		9 years ago
..
checkers	Do not report @NoAllocation and @PerformanceCritical violations in "unlikely" branches	9 years ago
eradicate	Add SuppressViewNullability annotation	9 years ago
errors	Fix indentation of multiline copyright comment	9 years ago
harness	massive refactoring of harness generation	9 years ago
infer	alloc/dealloc model for locks	9 years ago
tracing	Initial support for lazy dynamic dispatch	9 years ago
.inferconfig	Add support for modeling @Expensive methods using .inferconfig	9 years ago
BUCK	initial synchronization	10 years ago