Verify backward-compatibility instructions (9/14), Part 3
Closes #370 (closed)
Verify instructions :
-
ISapling_verify_update_deprecated -
Remove the
Error.is_backward_compatiblelemma -
Fix the backward compatibility lemmas
Edited by Daniel Hilst
Closes #370 (closed)
Verify instructions :
ISapling_verify_update_deprecated
Remove the Error.is_backward_compatible lemma
Fix the backward compatibility lemmas