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

Bugfix for mpf to_ieee_bv

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2015-10-07 20:17:04 +01:00
parent 6e852762ba
commit fcf036695e
2 changed files with 8 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/util/mpf.h
View file

@ -197,6 +197,7 @@ public:
mpf_exp_t mk_max_exp(unsigned ebits);
mpf_exp_t mk_min_exp(unsigned ebits);
mpf_exp_t bias_exp(unsigned ebits, mpf_exp_t unbiased_exponent);
mpf_exp_t unbias_exp(unsigned ebits, mpf_exp_t biased_exponent);
/**