search

moves-rwth / carl-storm

The Computer ARithmetic and Logic library for the Storm model checker
Other
4 stars 3 forks source link

Old Boost and apple yields compile errors #43

Open sjunges opened 2 months ago

sjunges commented 2 months ago

On Apple, there is an issue with older boost versions, see https://github.com/moves-rwth/storm/issues/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: