Commit Graph

52 Commits

Author SHA1 Message Date
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