040000 tree 001aeed897d694b4782d00208a8b13545e335a05	analyzer
100644 blob a65d8dd0bf12c4ce1c58daa5f6242877be678f75	application_root.dart
100644 blob dcbffd32e7e8d00fe55ec737f2b0e5236378b545	ast.dart
040000 tree 9a63662e1e2ed0f96d6b75ee97065b21c3a93749	binary
100644 blob 4aa90037c7ae7147f70446cfa25b150e20fa9b2e	canonical_name.dart
100644 blob 55cd9166dffb232455eb94a4c9f54a98e00cd9f3	class_hierarchy.dart
100644 blob 78a59c6e77b5c8da2e839b16da971f6f77ee974c	clone.dart
100644 blob 551ce7967df75887c07ec1051212f3013cdebc65	coq_annot.dart
100644 blob fe1cd4b95e867288bc8102f623ddfd2efe7a173b	core_types.dart
100644 blob cdddaba1c1171c8fda457ade556f8b9d14cc2e8f	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 4450bc5febfff3389245ed4ac2b38bee21522ed2	naive_type_checker.dart
040000 tree e1dc2e525ba804b77d27812f6e945d16d2069536	src
040000 tree cd7529ff4a28642af714f46a0f5323a5422c099d	target
040000 tree c47734af1cc22f09b6e0015cd68232d19187429d	testing
040000 tree 4f294f689096ecd16a3017645826a36a4ffbc491	text
040000 tree 1d2baf748598d9072137c709bfee868a32c80a3a	transformations
100644 blob fc325fd3a229df0ab3c9272039f99d76d26cd117	type_algebra.dart
100644 blob 7b73df2cf3bab16bb268c430599a9f17b2543cf6	type_checker.dart
100644 blob d12bf7bce9eba30ccdbea7be52f86695e3570f71	type_environment.dart
100644 blob fbbfb81d433f0350a5622fc797fde1b343e69b28	verifier.dart
100644 blob 0eb36d16560c874faff703fa6238bae559ecaec0	visitor.dart
040000 tree 1b4b24060de0108453bd342b082304a1405be473	vm