Sylvain Pion d4c33537d3 Add an histogram profiler (useful for getting the distributions of ...

DAG depths, or number types lengths...).
[still to be documented, but I'm waiting a bit to see if it satisfies usage]

2006-12-02 20:04:30 +00:00

..

Memory_sizer.h

Change CVS keywords to SVN style

2006-02-16 14:30:13 +00:00

Profile_counter.h

Add an histogram profiler (useful for getting the distributions of

2006-12-02 20:04:30 +00:00

Real_timer.h

Fixed min max problem

2006-08-01 00:05:18 +00:00

Timer.h

fix min/max problem

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