History / Profiling

`./contrib/configure-prof` already includes the flag `--enable-profiling`

guy-ealey-morag committed Dec 16, 2025

Updated Profiling (markdown)

roiedanino committed Feb 28, 2023

Updated Profiling (markdown)

gleon99 committed Feb 7, 2022

Fix name of header files

dmitrygx committed Feb 14, 2019

Updated Profiling (markdown)

yosefe committed Feb 25, 2018

Updated Profiling (markdown)

yosefe committed Feb 25, 2018

Updated Profiling (markdown)

yosefe committed Feb 25, 2018

Updated Profiling (markdown)

yosefe committed Feb 25, 2018

Updated Profiling (markdown)

yosefe committed Feb 25, 2018

Created Profiling (markdown)

yosefe committed Oct 27, 2016