Skip to content

[prover] fix prover versions

Loïc Correnson requested to merge feature/prover-versions into master

Modifies prover selection, parsing, printing and configuring.

Also improves parsing and printing time and durations.

Closes #13 (closed)

Edited by Loïc Correnson

Merge request reports