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.

Mitya Lyubarskiy dc16825ba7 [nullsafe][annotation graph] Support `Object.equals()` ... Summary: There is a feature in Nullsafe that is interfering with "annotation graph" feature. Because of this we would not detect provisional violations for misuses of params of equals() (They will be recorded as user facing rather than provisional issues). This diff turns this feature off for annotation graph mode. Reviewed By: artempyanykh Differential Revision: D24726655 fbshipit-source-id: 4b7577667		4 years ago
..
annotations	[infer][PR] Release infer-annotation 0.18.0	5 years ago
bin	[build] Replace custom make cmds w/ dune promotion and byte_complete	5 years ago
documentation	[doc] Documentation for Optional Empty Access	4 years ago
etc	…
lib	[linters] Remove the linters UNAVAILABLE_API_IN_SUPPORTED_IOS_SDK and REGISTERED_OBSERVER_BEING_DEALLOCATED	4 years ago
man/man1	[java][reporting] @SuppressLint now blocks _only_ specified issue types	4 years ago
models	[frontend] Track protocols in A<ObjCProtocol>	4 years ago
src	[nullsafe][annotation graph] Support `Object.equals()`	4 years ago
tests	[nullsafe][annotation graph] Support `Object.equals()`	4 years ago
.ocp-indent	…
dune	[help] scaffolding to start documenting issue types	5 years ago
dune-project	[pulse] skeleton for unit testing pulse	4 years ago
dune-workspace.in	[build] Replace custom make cmds w/ dune promotion and byte_complete	5 years ago
infer.mld	documentation for new libraries	5 years ago
infer.opam	[dune] ignore all dirs except src/	5 years ago