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 224f3116ce [infer][java] remove no longer required fields in the models for Java ... Summary: @public The models for Java no longer require to keep the original fields since we now make the union of the fields from the models and the fields from the code to analyze. Test Plan: Infer CI. No functional change intended.		10 years ago
..
checkers	initial synchronization	10 years ago
comparison	[infer][java] remove no longer required fields in the models for Java	10 years ago
eradicate	initial synchronization	10 years ago
harness	initial synchronization	10 years ago
infer	[infer][Java] Treat classes implementing Closeable as a resource unless modeled otherwise	10 years ago
tracing	initial synchronization	10 years ago