test-suite/misc/bench-render · coq · Tangled

Sign in Join now

coq stepbrobd.com /

Star Starred Star 1

Something went wrong. Try again.

Watch Watching Watch

forked from coq/coq

Star Starred Star 1

Something went wrong. Try again.

Watch Watching Watch

Overview Overview Issues Issues Pulls Pulls Pipelines Pipelines

coq /test-suite /misc /bench-render

9 files

Gaëtan Gilbert · timelog2html visuals for heap usage · 6mo ago

Add test for timelog2html, make it public (as coqtimelog2html)

Add test for timelog2html, make it public (as coqtimelog2html)

Add test for timelog2html, make it public (as coqtimelog2html)

Add test for timelog2html, make it public (as coqtimelog2html)

Add test for timelog2html, make it public (as coqtimelog2html)

Add test for timelog2html, make it public (as coqtimelog2html)

timelog2html visuals for heap usage

Add test for timelog2html, make it public (as coqtimelog2html)

timelog2html: insert dummy values after combining data sources