040000 tree 001aeed897d694b4782d00208a8b13545e335a05	analyzer
100644 blob a65d8dd0bf12c4ce1c58daa5f6242877be678f75	application_root.dart
100644 blob 89a16437eb27476ad85874934ddd1bd9b79d3a94	ast.dart
040000 tree 041255a2f2e42ced4f9b9016a6fa7c53af8f6997	binary
100644 blob 4aa90037c7ae7147f70446cfa25b150e20fa9b2e	canonical_name.dart
100644 blob 36c315686e6c9dc33f46a3305ec140d77b1ee335	class_hierarchy.dart
100644 blob e461650f0bc049e53e86f0e85a3a9997de289fd9	clone.dart
100644 blob 551ce7967df75887c07ec1051212f3013cdebc65	coq_annot.dart
100644 blob f23ccbf78a92d1b7dd1b285ddb552b8fd8e7645a	core_types.dart
100644 blob 6b1e5dcf7e3c1f12b86e47678ba5f7ef046bb298	error_formatter.dart
040000 tree 2e6d8ae090e518241293a954f622389fe6512b97	frontend
100644 blob baadca4213eba3d05234a5327bcb68fc0e742c31	import_table.dart
040000 tree e34cdd9259692ae3e432e5fbf111196f7ceb9e5d	interpreter
100644 blob e3c04e1c6330fe14977a77f883432ca87a5b5985	kernel.dart
100644 blob 0708af318fa9e6f5e93655c49a669eb5ee03df57	library_index.dart
100644 blob 9a6d6a2511dfd17868bc5ae5a726181cbb236c95	log.dart
100644 blob c0708523b638ba1fac416e1aa11ffec417b397c8	naive_type_checker.dart
040000 tree eba513ff2e65c0d52a588cb17c6ea7602bd4c118	src
040000 tree 91817463b22532e1d0eed06d9b4474501f6090b9	target
040000 tree c47734af1cc22f09b6e0015cd68232d19187429d	testing
040000 tree b6aa7867453fbf0f770f66afad6f892526883b23	text
040000 tree ebf402fd4ccc0a689c23b4e9275a0838fc1de759	transformations
100644 blob 9471dd36e9d262a01987228ac177b6d063588447	type_algebra.dart
100644 blob 7b73df2cf3bab16bb268c430599a9f17b2543cf6	type_checker.dart
100644 blob 122c5e9bd6ac87bcca354880f929467ae507f19b	type_environment.dart
100644 blob fbbfb81d433f0350a5622fc797fde1b343e69b28	verifier.dart
100644 blob 0eb36d16560c874faff703fa6238bae559ecaec0	visitor.dart
040000 tree 1b4b24060de0108453bd342b082304a1405be473	vm