Dmitry Stefantsov 1cbae9fe48 [kernel] Start implementing verifier for serialization round trips ...

Change-Id: I907e92cf7b7f791a4bc64cac6739489d38d2c224
Reviewed-on: https://dart-review.googlesource.com/c/88322
Reviewed-by: Kevin Millikin <kmillikin@google.com>

2019-01-04 16:05:26 +00:00

..

binary

Remove writeOptionalReference

2019-01-04 13:31:03 +00:00

src

[kernel] Make instantiate-to-bound implementation in Kernel private

2018-11-22 11:50:27 +00:00

target

Flag on target to indicate set literal support

2019-01-03 18:35:35 +00:00

testing

Rename Program to Component

2018-03-15 12:22:23 +00:00

text

[Kernel] Do not serialize list lengths

2019-01-03 10:16:14 +00:00

transformations

[kernel] Start implementing verifier for serialization round trips

2019-01-04 16:05:26 +00:00

util

Move computeStrongComponents utility to pkg/kernel

2018-02-21 12:02:04 +00:00

vm

Rename strong mode to legacy mode in package:kernel

2018-12-20 18:06:34 +00:00

ast.dart

Be explicit about whether a reference is allowed to be null or not

2019-01-04 08:39:36 +00:00

canonical_name.dart

Be more verbose in loops etc in kernel

2018-11-30 13:15:47 +00:00

class_hierarchy.dart

Rename strong mode to legacy mode in package:kernel

2018-12-20 18:06:34 +00:00

clone.dart

Add SetLiteral node to kernel.

2018-12-06 14:46:58 +00:00

coq_annot.dart

[kernel] Cleanup of object model and coq.dart.

2017-09-13 11:43:30 +00:00

core_types.dart

[Kernel] Remove the syncAsync flag

2018-12-21 10:07:04 +00:00

error_formatter.dart

Rename Program to Component

2018-03-15 12:22:23 +00:00

external_name.dart

[vm/kernel/bytecode] Generate bytecode for native methods

2018-06-13 01:16:03 +00:00

import_table.dart

Rename Program to Component

2018-03-15 12:22:23 +00:00

kernel.dart

Allow to specify what dill file to initialize from

2018-05-17 06:49:41 +00:00

library_index.dart

Rename Program to Component

2018-03-15 12:22:23 +00:00

naive_type_checker.dart

Rename strong mode to legacy mode in package:kernel

2018-12-20 18:06:34 +00:00

type_algebra.dart

[kernel] Make instantiate-to-bound implementation in Kernel private

2018-11-22 11:50:27 +00:00

type_checker.dart

Rename strong mode to legacy mode in package:kernel

2018-12-20 18:06:34 +00:00

type_environment.dart

Rename strong mode to legacy mode in package:kernel

2018-12-20 18:06:34 +00:00

verifier.dart

Remove Target.disableTypeInference

2018-12-19 17:21:51 +00:00

visitor.dart

[Kernel] Add text serializers for some DartTypes

2019-01-02 10:45:35 +00:00