040000 tree 001aeed897d694b4782d00208a8b13545e335a05	analyzer
100644 blob a65d8dd0bf12c4ce1c58daa5f6242877be678f75	application_root.dart
100644 blob 76cafc1b7a49a57d12eb1406a6903c17e5a2462b	ast.dart
040000 tree e3a25f000dd7fd21c7504302a4523898d5b56766	binary
100644 blob 6fbc693a3fbd89ed7235b4a8c078424add0bc146	canonical_name.dart
100644 blob 6082e811f7983c6491c6709521d66165f1cc6cd0	class_hierarchy.dart
100644 blob 137b71a36a95712277b0ba854808f27169f35154	clone.dart
100644 blob 551ce7967df75887c07ec1051212f3013cdebc65	coq_annot.dart
100644 blob f74dc34f0eb14a664e906b3aac25fef76a4535c2	core_types.dart
100644 blob 56f4a9f46a9fdb0f14483728c21b1be170328cdf	error_formatter.dart
100644 blob 4da52a86e0c3ecede5768c71e6884de41c576248	external_name.dart
100644 blob ae2829cceb0a2b29313e7cf56ee221025cef22ce	import_table.dart
100644 blob aa2a9030ba91927c6bbbc8ffeaeb13def201785d	kernel.dart
100644 blob 0f5ab1682dec97f3cb2ee1800b008a8971f9d654	library_index.dart
100644 blob 9a6d6a2511dfd17868bc5ae5a726181cbb236c95	log.dart
100644 blob 548e4346ca6675bbebb0b9a2a4cd4c67c1af6148	naive_type_checker.dart
040000 tree 8a09a2d3f30c7b4a005d80d3930c7d987a9cae47	src
040000 tree 29d5728377c1c37d5f3ed495152239c70491146f	target
040000 tree dd9c35a8ecbf8b9876faf948fe14a9e83564d6a8	testing
040000 tree 8d3d6b1d9ef5c31b07f3458c87d6752d50b1d004	text
040000 tree 14017ad292a6172f83969451c4ac581197c627fb	transformations
100644 blob 625bc5b4de4434b83cf89684dc0d48238a7cfb9a	type_algebra.dart
100644 blob 007cf4a8107f9b61ce2cadf74d2e2ad5b6a9748a	type_checker.dart
100644 blob 58ce58bdea36194dd4323ddbd07383483cd56686	type_environment.dart
040000 tree 8e90ad9d2389e1fe0aba3e7f41e1c0a7c2f004bd	util
100644 blob 3d8e362945f29020c31e71340ac6971c238b75ce	verifier.dart
100644 blob 3133b2008d6ae821d445e2d8c026789230a0fc81	visitor.dart
040000 tree 1a86628fe8df33d42f78a5e019dd9cb8dc7f8713	vm