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 904151888c fix treatment of linked list in Java ... Summary: public The inductive list predicate was not firing during abstraction because of a type mismatch between C and Java. In Java, the second parameter of the `Sil.Sizeof` constructor is always `Sil.Subtype.exact` in C but is `Sil.Subtype.subtypes` in Java. This diff fixes the confution by comparing the `Sil` types only instead of the type expressions. Reviewed By: jberdine Differential Revision: D2912493 fb-gh-sync-id: 3f712a8 shipit-source-id: 3f712a8		9 years ago
..
c	add temp var from compoundLiteralExpr to the function locals	9 years ago
cpp	Translate constructor initializer	9 years ago
java	fix treatment of linked list in Java	9 years ago
objc	Adding subtyping to ObjC	9 years ago
BUCK	[Infer][tests] Adding tests for incremental functionality	9 years ago