search

herbie-fp / herbie

Optimize floating-point expressions for accuracy
https://herbie.uwplse.org
Other
774 stars 33 forks source link

Fix null annotations `(! expr)` in desugaring #1034

Closed pavpanchekha closed 2 weeks ago

pavpanchekha commented 2 weeks ago

This PR fixes #1019. Looks like we handled null annotations correctly in one code path but not in another.

pavpanchekha commented 2 weeks ago

Gonna merge without review just to keep things moving.