64 Commits

Author	SHA1	Message	Date
Andreas Fabri	b1538b9283	remove wrong comment	2008-11-07 08:00:28 +00:00
Andreas Fabri	992223616d	fix directory and change creation variable name	2008-11-07 07:59:40 +00:00
Andreas Fabri	096bffba4b	Use :Protect_FPU_rounding in order to restore rounding mode	2008-10-17 13:06:01 +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
Andreas Fabri	507c68897f	Renamed directory as the alphabetical index of ref pages needs all ref pages to be in the same directory	2008-09-10 07:40:56 +00:00
Samuel Hornus	a20549dfe7	Added a little TODO : cache the task_t structure.	2008-09-09 13:24:30 +00:00
Andreas Fabri	7ebc94ec53	This is not a chapter on its own so there is no need for main.tex and intro.tex	2008-09-09 09:01:24 +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
Andreas Fabri	22bd12498c	fixed path after svn move	2008-09-08 07:22:51 +00:00
Sylvain Pion	8a31352f65	Mention that it works on Mac OS X as well now.	2008-08-22 16:32:09 +00:00
Sylvain Pion	cafc3f6d0e	Rename Timer to Profiling_tools.	2008-08-22 16:29:53 +00:00
Sylvain Pion	b6b02f0ebc	Rename Timer to Profiling_tools.	2008-08-22 16:23:56 +00:00
Sylvain Pion	550712455e	Rename Timer to Profiling_tools (subdirectories).	2008-08-22 16:22:41 +00:00
Sylvain Pion	00e0b0e81a	Rename Timer to Profiling_tools (second try).	2008-08-22 16:20:59 +00:00