Basic profiling facilities for theories and proofs.
Supports data export to a format that is understood by FlameGraph.
profiler_testScript.sml: Simple theory to test the profiler.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
Basic profiling facilities for theories and proofs.
Supports data export to a format that is understood by FlameGraph.
profiler_testScript.sml: Simple theory to test the profiler.