100644 blob 4c38a1776566e12b19099e10b3aaca16920362b9	Makefile
100644 blob 9c001caf9e679c0c327783695478597fdcb7e6be	README
100644 blob a9cc767c45ae8d969c1e9a1240af24fdd446047b	accumulation-checker.tex
100755 blob bb6c59296002ec3826cc99aa258ff513712586f8	add-favicon-to-manual
100644 blob a25f39104196024f487a7811963a736221d64a50	advanced-features.tex
100644 blob 6fb566391c8f8374ac7ad363075679c6c31ecc7f	aliasing-checker.tex
100644 blob 385fbebeee43ee98d88292b993d9c8221a0efa88	annotating-libraries.tex
100644 blob 7b28f38ea1d8a1d10a18fa2a3a1fd87bdb332783	called-methods-checker.tex
100644 blob 6775c8844ba5f6200cd625a1204a3f41402c64f9	constant-value-checker.tex
100644 blob 6120ecd210e18016a29d1cb3f9bf7db8e19b0fe0	contributors.tex
100644 blob 6265a41c77625c6126511067254516ed36e54ab0	creating-a-checker.tex
100644 blob e0c50fff373584d0fccc3c15d3fee7c569e52c79	external-checkers.tex
100644 blob d338db4a05351e723857369245d3ee20b4ec78a3	external-tools.tex
100644 blob 2205bf643f72cd4847ed0ac3eced408ecb19be25	faq.tex
100644 blob 34ea573adb2513b82b4b126b8d57de14fbe1d3be	fenum-checker.tex
040000 tree 8dc9eabab6a6f7304ae16fd33229355938241295	figures
100644 blob 36ce18c4c7508aa77d788b48c79c2cb73c110ec8	formatter-checker.tex
100644 blob 3b6137064e34f7a54e25cd74be1ad91127afc611	generics.tex
100644 blob a391bbd335667b2129dbe821ca03bf2b034d0485	guieffect-checker.tex
100755 blob adce198038cab921441b8cc82573372de71670ba	hevea-retarget-crossrefs
100644 blob 15185a3301edd46b423cee0905431dd7c86fccaa	i18n-format-checker.tex
100644 blob 6c4e6a8e2a7a749e3c26c7834468bc27a47547f4	index-checker.tex
100644 blob 42816b609095dccc7088c9b67344658e6b7b6516	inference.tex
100644 blob adbb6bd1fa57561def1064307f415e2a02b43bd1	initialized-fields-checker.tex
100644 blob 878fb07b7256a8ca12a0d22b97150b2ba6dcf46e	interning-checker.tex
100644 blob 644a38842fcd582776aa5318881cea72d1361455	introduction.tex
100644 blob f53d33e2a503eb86034fa1f22e63dd57f9536826	lock-checker.tex
100644 blob 7da4e63a4529e0d6128d0b840720865f5f8d6631	manual-style.tex
100644 blob 6d316def7dd4055f6baef7980c77ee500e0414c7	manual.bbl
100644 blob c415978229f89c9ba497386378a1ca5d3c1f43ad	manual.tex
100644 blob 6f83688b3076809bbba5b4eb12316b125c6bab15	map-key-checker.tex
100644 blob 39b9b2c50b609f614ccd25930a1ebae38725196a	must-call-checker.tex
100644 blob 51be09c5f972eac4f86c5166b580d531c0e4c778	nullness-checker.tex
100644 blob c57366408f54e7a5862c324633e6d7656c3989ac	optional-checker.tex
100644 blob 311bc4a35c3f9d72e5d7bf99c731aabe6b1b399a	propkey-checker.tex
100644 blob 7cbf2a898330b29781bcf79e6442910d1048e406	purity-checker.tex
100644 blob 6f66e0392e9dfe08b7617219c5ff6d94226e3dbe	reflection-checker.tex
100644 blob 1da59b38a20716a71f756b4841d9cb71e4093ec9	reflection-inference-rules.tex
100644 blob 72ae0542480f3affbc714d4a8f01befe4a6576c7	regex-checker.tex
100644 blob 5cb1bd15882e3fc3da97e3cb55f9b6b31a323ead	returns-receiver-checker.tex
100644 blob cb86593b963511f0b2815f32269b33d031c1fff0	signature-checker.tex
100644 blob 73a9e8401592b06024582ef43c69573db2dd6d0a	signedness-checker.tex
100644 blob c066dfd234c259f47639300a00a9bb52f703d2e4	subtyping-checker.tex
100644 blob 41950efe471c8a0c053042794996f57a6bc2cc4e	tainting-checker.tex
100644 blob 561a79586f78de572fa98e10e34b43fbcb63d9e9	to-do-refactoring.txt
100644 blob 6741eaf0940faffbc99b96d4b5c0a6890276bc48	todo.txt
100644 blob fad4663b75e4a4f2cf2f544238efb8b06e654a60	troubleshooting.tex
100644 blob f5244141c64058284e91c952fceab7d2697bd7d1	typestate-checker.tex
100644 blob 17ebfd601714a577460aec00c25ba11c3d183477	units-checker.tex
100644 blob eb2f2319d705d217bdbb1ef45d682ab11dd569e5	warnings.tex