tree 619e3f8bbe6cfd3898975d5e1f07d602410761ce
parent 55037f186fff482084cd5659ff747339eb17ba4e
author Mingyao Yang <mingyao@google.com> 1417823783 -0800
committer Mingyao Yang <mingyao@google.com> 1418410694 -0800

Some enhancements on BCE.

1) Better format detection when creating ValueBound.
2) Some code cleanup on returning bool for overflow_or_underflow.

Change-Id: I03e8bd0d756652da021ccb5b2a62075648d39cc2