 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
|
aa06636838
|
Re-implement to be more threads-friendly (a first step towards thread-safety).
|
2008-12-04 01:57:33 +00:00 |
|
|
Sylvain Pion
|
68c1bcc095
|
New profiler, for profiling time spent in a function/block.
|
2008-12-03 23:05:35 +00:00 |
|
|
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 |
|