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
..
doc_tex	remove wrong comment	2008-11-07 08:00:28 +00:00
examples/Profiling_tools	Re-implement to be more threads-friendly (a first step towards thread-safety).	2008-12-04 01:57:33 +00:00
include/CGAL	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
package_info/Profiling_tools	Rename Timer to Profiling_tools.	2008-08-22 16:23:56 +00:00
src/CGAL	Rename Timer to Profiling_tools (second try).	2008-08-22 16:20:59 +00:00
test/Profiling_tools	Replace Protect_FPU_rounding<true> pfr(CGAL_FE_TONEAREST)	2008-12-03 21:42:28 +00:00