New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix an edge case for creating PGM index for floating point types #55

Merged

gvinciguerra merged 1 commit into gvinciguerra:master from yangzq50:fix_floating_point_type

Apr 24, 2024

Contributor

yangzq50 commented Apr 24, 2024 •

edited

Loading

Use std::nextafter to get the next floating point type value.
Fix issue #54


           Fix an edge case for creating PGM index for floating point types

80bfdb6

yangzq50 force-pushed the fix_floating_point_type branch from 8ef9730 to 80bfdb6 Compare

April 24, 2024 02:59

Owner

gvinciguerra commented Apr 24, 2024

Thanks

gvinciguerra merged commit f578e68 into gvinciguerra:master

6 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet