
16 Nov
2010
16 Nov
'10
6:54 p.m.
Fabio,
I saw that we use ldexpl() twice in the floating_point branch. However:
1) that function is not available on several platforms; 2) in both cases we pass an argument of type double as the first argument; 3) it seems we use that function in a way that is not conditional on the floating-point format(s) involved.
When you have time, can you please look at this issue? Thanks,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it