Alexander Markov e3de763163 [vm/kernel] Use types inferred by type flow analysis for results of calls ...

* Type flow analysis writes inferred types (which include
  non-nullability and concrete classes) for the results of calls.

* VM uses new metadata to compute CompileTypes.

Issue: https://github.com/dart-lang/sdk/issues/30480

Change-Id: Ib0b7446af071f9cca5d8f1edd2d1d5f83b5714ba
Reviewed-on: https://dart-review.googlesource.com/33140
Commit-Queue: Alexander Markov <alexmarkov@google.com>
Reviewed-by: Martin Kustermann <kustermann@google.com>
Reviewed-by: Vyacheslav Egorov <vegorov@google.com>

2018-01-18 21:19:14 +00:00

..

dump_kernel.dart

[vm/kernel] Use types inferred by type flow analysis for results of calls

2018-01-18 21:19:14 +00:00

gen_kernel.dart

Link kernel service dill with the command line dart executable.

2018-01-12 20:40:41 +00:00

kernel_service.dart

Remove original and minimal IKG

2018-01-15 15:02:20 +00:00