4 Commits (1aa354cf1f2314cc5375ad3ac9ed3b8ee044a482)

Author	SHA1	Message	Date
Cristiano Calcagno	78f65b6dd7	[eradicate] handle methods overridden in other files ... Summary: Errors arising from overriding methods defined in other files were not reported, because during parallel analysis the clusters did not have access to overridden methods, so could not load their annotation. Changed cluster generation to add location information for the methods overridden by the procedures defined in the current cluster.	10 years ago
Cristiano Calcagno	3e199467f4	Complete copyright messages.	10 years ago
Cristiano Calcagno	d2e2bbf6a5	[Eradicate @Nullable checker] Don't apply sub-typing checks for method definitions in the case of constructors.	10 years ago
Open Source Synchronization	b8982270f2	initial synchronization	10 years ago