| commit | ba5ebb944b7c5c6a1b754b6dd47eed96f39aea29 | [log] [tgz] |
|---|---|---|
| author | jeffhao <jeffhao@google.com> | Thu Aug 25 17:24:37 2011 -0700 |
| committer | jeffhao <jeffhao@google.com> | Fri Aug 26 16:04:27 2011 -0700 |
| tree | a84680c4c469dd6ef3c0e558df9197317a4ee51b | |
| parent | 5cd2180225421d7b94f6d978bc5c1a4d9ef34f1e [diff] |
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