CompCert icon indicating copy to clipboard operation
CompCert copied to clipboard
verified publisher icon AbsInt

build: Support TIMING and PROFILING like coq_makefile

Open SkySkimmer opened this issue 1 year ago • 1 comments

Should be useful to identify changes more precisely in the Coq benchmarking.

SkySkimmer avatar Jun 11 '24 12:06 SkySkimmer

ping

SkySkimmer avatar Jul 02 '24 09:07 SkySkimmer