Nuno Lopes
|
97a5e6d326
|
assorted compiler warnings fixes
Signed-off-by: Nuno Lopes <a-nlopes@microsoft.com>
|
2014-09-28 12:21:56 +01:00 |
|
Christoph M. Wintersteiger
|
0e74362ecb
|
Added support for the final draft of the FPA standard (and fpa2bv conversion).
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2014-01-24 15:36:23 +00:00 |
|
Christoph M. Wintersteiger
|
b77d408128
|
bugfix for FPA rounding when ebits is very small.
|
2013-11-14 19:11:19 +00:00 |
|
Christoph M. Wintersteiger
|
6a2f987fb7
|
optimizations for float to float conversions
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2013-11-14 16:56:13 +00:00 |
|
Christoph M. Wintersteiger
|
76c59cb85c
|
MPF conversion bugfix.
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2013-06-14 17:22:25 +01:00 |
|
Christoph M. Wintersteiger
|
e50a9e8dbf
|
MPF: fused-mul-add fixes. Sometimes this is still off by a bit.
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2013-05-01 14:10:50 +01:00 |
|
Christoph M. Wintersteiger
|
e5f03f999a
|
FPA: Added conversion operator float -> float.
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2013-03-04 20:21:14 +00:00 |
|
Christoph M. Wintersteiger
|
7822b86b53
|
FPA: multiple bugfixes for HWF, MPF and a bugfix for FPA2BV (many thanks to Gabriele Paganelli)
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2013-03-01 19:06:01 +00:00 |
|
Leonardo de Moura
|
2c464d413d
|
Reorganizing source code. Created util dir
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-20 10:19:38 -07:00 |
|