Laurent Rineau d6d4608ede In CGAL::Profile_timer, use CGAL::Timer instead of CGAL::Real_timer, so ...

that the CPU time is computed instead of the sum CPU+system times.

2009-01-26 12:47:26 +00:00

..

Memory_sizer.h

Fixed small bug on Windows: PROCESS_MEMORY_COUNTERS.PagefileUsage seems not very precise, thus we check it against PROCESS_MEMORY_COUNTERS.WorkingSetSize.

2008-10-02 13:30:56 +00:00

Profile_counter.h

Add a new 3-way branch profiler, Profile_branch_counter_3, and use it in the semi-static filters.

2008-12-20 17:31:04 +00:00

Profile_timer.h

In CGAL::Profile_timer, use CGAL::Timer instead of CGAL::Real_timer, so

2009-01-26 12:47:26 +00:00

Real_timer.h

Rename Timer to Profiling_tools (second try).

2008-08-22 16:20:59 +00:00

Timer.h

Rename Timer to Profiling_tools (second try).

2008-08-22 16:20:59 +00:00