coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of dev/bench/profparser.ml

May 2026

coqbot-app[bot]
Merge PR #21948: Profiler attempt to measure change in heap size
committed
Gaëtan Gilbert
Profiler attempt to measure heap size
committed

November 2025

coqbot-app[bot]
Merge PR #21327: Include instruction counts in bench per-command html outputs
committed
Gaëtan Gilbert
Include instruction counts in bench per-command html outputs
committed

February 2025

coqbot-app[bot]
Merge PR #20283: timelog2html include memory info
committed
Gaëtan Gilbert
profparser parse memory info
committed
Gaëtan Gilbert
profparser nicer `die`
committed
Gaëtan Gilbert
Prepare types for handling memory info in timelog2html
committed
coqbot-app[bot]
Merge PR #20266: timelog2html handle gzip compressed profile files
committed
Gaëtan Gilbert
timelog2html handle gzip compressed profile files
committed
Gaëtan Gilbert
timelog2html more robust json parsing based on lexbuf
committed
coqbot-app[bot]
Merge PR #18816: rocq timelog2html: handle json profile files
committed
Gaëtan Gilbert
rocq timelog2html: handle json profile files
committed