4 Commits

Include renames

Author	SHA1	Message	Date
Laurent Saboret	3a90a66370	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
Samuel Hornus	a20549dfe7	Added a little TODO : cache the task_t structure.	2008-09-09 13:24:30 +00:00
Sylvain Pion	a0be560caa	New profiling tool : Profile_branch_counter, that improves the display ... of failure/calls ratios. With the corresponding macro CGAL_BRANCH_PROFILER().	2008-09-08 09:52:37 +00:00
Sylvain Pion	00e0b0e81a	Rename Timer to Profiling_tools (second try).	2008-08-22 16:20:59 +00:00