| commit | 389b3dbf5c5390056ff4dacac464219853dd3cda | [log] [tgz] |
|---|---|---|
| author | Aart Bik <ajcbik@google.com> | Wed Oct 28 14:23:40 2015 -0700 |
| committer | Aart Bik <ajcbik@google.com> | Wed Nov 04 09:48:26 2015 -0800 |
| tree | 85013c1eaf6aaba9ab839f17b978eb689f30e998 | |
| parent | c8894ab5021aecd0fa5eba94af47f732914af33b [diff] |
Finalized all components of range analysis needed for dynamic bce.
Rationale: added ability to generate taken-test, prompt back need
for finite-test; cleaned up the API now that bounds
check needs are all known.
Change-Id: I3d09b249965d1a980c09381240de175ca4b2e455