cfallin commented on issue #7231:
The test failures exposed two issues surfaced by the new "default facts" (e.g., width-8 value is always <= 255), so I had to add a bit more reasoning. @fitzgen mind taking a look at the last commit?
cfallin commented on issue #7231:
Ah -- automerge was still on and this went in with your r+, @fitzgen; still happy to take feedback on the approach in the last commit if you have any!
Last updated: Dec 23 2024 at 12:05 UTC