Skip to content

Timing and profiling

Benjamin Jorge requested to merge timings-profiling into master

MR adding why3find timing information, landmarks profiling, and a json log of prover runs

Edited by Benjamin Jorge

Merge request reports

Loading