mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

Remove remainder workaround for pre-MSVC2013. (#6204)

Browse source 
This workaround was built for _MSC_VER <= 1700. 1700 was
Visual Studio 2012, which is no longer supported for
building Z3.
This commit is contained in:
Bruce Mitchener 2022-07-29 16:50:31 +07:00 committed by GitHub
parent eba29a280d
commit 8e0d9bf42d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/util/hwf.cpp
View file

@ -312,13 +312,7 @@ void hwf_manager::round_to_integral(mpf_rounding_mode rm, hwf const & x, hwf & o
} }
void hwf_manager::rem(hwf const & x, hwf const & y, hwf & o) { void hwf_manager::rem(hwf const & x, hwf const & y, hwf & o) {
#if defined(_WINDOWS) && _MSC_VER <= 1700
o.value = fmod(x.value, y.value);
if (o.value >= (y.value/2.0))
o.value -= y.value;
#else
o.value = remainder(x.value, y.value); o.value = remainder(x.value, y.value);
#endif
} }
void hwf_manager::maximum(hwf const & x, hwf const & y, hwf & o) { void hwf_manager::maximum(hwf const & x, hwf const & y, hwf & o) {