2.0.0
Andy Oertel's avatar
Andy Oertel
@aoer
f664e900 · Add selflogging for stronger implication check · 
Version 2 of the proof format.

Sync up VeriPB version with proof format version.