Change Details

This factorizes the code used to extract invs from the vote records. There is no change in behavior. Ref T1854.

This factorizes the code used to extract invs from the vote records. There is no change in behavior. Because blocks need a reversed loop and proofs a forward loop, iterators are used to provide a generic interface. Ref T1854.

This factorizes the code used to extract invs from the vote records. There is no change in behavior. Because blocks need a reversed loop and proofs a forward loop, iterators are used to provide a generic interface. Ref T1854.