tree a84680c4c469dd6ef3c0e558df9197317a4ee51b
parent 5cd2180225421d7b94f6d978bc5c1a4d9ef34f1e
author jeffhao <jeffhao@google.com> 1314318277 -0700
committer jeffhao <jeffhao@google.com> 1314399867 -0700

Added first pass of verifier and supporting changes.

The verifier still needs to make a second pass through the code where it
checks the code flow. A TODO marks where it will be added.

Change-Id: I0abea5bad563776186df342d8132fb1ca8869652