Asger Feldthaus 8f12489839 Add --verify-ir flag to dartk and test.py. ...

This replaces the old --sanity-check flag from dartk. Some files have
been renamed to avoid the wording "sanity check".

Compared to --sanity-check, the following checks have been added:
- variables are not referenced out of scope
- variables are not redeclared
- class type parameters are not referenced from static context

A unit test has been added to check that the verifier rejects certain
invalid ASTs.

BUG=
R=kmillikin@google.com

Review URL: https://codereview.chromium.org/2531873002 .

2016-11-28 12:21:19 +01:00

..

async.dart

[kernel] Fix parent pointer issue in async rewriter.

2016-11-15 14:27:22 +01:00

continuation.dart

Enable strong-mode for pkg/kernel and fix some strong-mode warnings.

2016-11-23 16:16:37 +01:00

erasure.dart

[kernel] Erasure fix: Replace type parameters with dynamic instead of Object.

2016-11-14 10:10:49 +01:00

flags.dart

Add --verify-ir flag to dartk and test.py.

2016-11-28 12:21:19 +01:00

infer_values.dart

[kernel] Some small fixes, typos, etc.

2016-08-22 09:56:05 -07:00

mixin_full_resolution.dart

[kernel] Fix some strong mode issues.

2016-11-14 10:23:37 +01:00

sanitize_for_vm.dart

[kernel] Follow redirecting factories to their effective targets.

2016-10-07 13:34:14 +02:00

setup_builtin_library.dart

[kernel] Add new flutter target, add dart:_builtin to vm/flutter targets, adjust _getMainClosure

2016-09-22 13:17:38 +02:00

treeshaker.dart

[kernel] Store named parameters in sorted lists instead of using maps.

2016-11-16 15:16:24 +01:00