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
..
checkers	Checker that complains when Fragments don't nullify their Views	9 years ago
comparison	Fix copy-pasted test names	9 years ago
eradicate	Fix indentation of multiline copyright comment	9 years ago
harness	Fix indentation of multiline copyright comment	9 years ago
incremental	Fix indentation of multiline copyright comment	9 years ago
infer	fix treatment of linked list in Java	9 years ago
tracing	Fix copy-pasted test names	9 years ago