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

Old Boost and apple yields compile errors #43

Open

2 tasks

sjunges opened this issue Aug 10, 2024 · 0 comments

Contributor

sjunges commented Aug 10, 2024 •

edited by volkm

Loading

On Apple, there is an issue with older boost versions, see moves-rwth/storm#502 for more information. In particular, the version of Boost 1.77 seems to be sufficiently new, see https://www.boost.org/doc/libs/1_77_0/boost/numeric/interval/hw_rounding.hpp

Action items:

require newer boost version on Apple
provide a workaround

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