Sylvain Pion 53d1ee3d7d Use <cfloat> more consistently instead of <float.h>.

2008-01-18 20:19:17 +00:00

..

Memory_sizer.h

64-bit overflow fix:

2007-06-08 13:27:52 +00:00

Profile_counter.h

more formatting for histogram profiler

2006-12-03 17:29:46 +00:00

Real_timer.h

Use <cfloat> more consistently instead of <float.h>.

2008-01-18 20:19:17 +00:00

Timer.h

fix min/max problem

2006-08-03 03:39:45 +00:00