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	…
Timer.h	…