Skip to content

Unify prover identification

Benjamin Jorge requested to merge unify-prover-identification into master

Replace several ways of referring to provers by a unique one. Reviewing commits one by one should be easier.

Fixes #62 (closed), #71 (closed)

Merge request reports