5 Commits

Author	SHA1	Message	Date
Sylvain Pion	897e94ac37	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
Sylvain Pion	2bd1466b60	add a todo-item	2008-12-07 14:58:18 +00:00
Sylvain Pion	68c1bcc095	New profiler, for profiling time spent in a function/block.	2008-12-03 23:05:35 +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