Adds Validator Set Replication property check to core diff model#589

Merged

danwt merged 16 commits intomainfrom danwt/diff-test-core-validator-set-replication

Jan 5, 2023

+97-2

Commits on Dec 13, 2022

Adds h-vscid maps to snapshot

Daniel
authored and
danwt
committed
Calls ValidatorSetReplication in main

Daniel
authored and
danwt
committed
Writes bulk of VSR property logic

Daniel
authored and
danwt
committed
Fills snapshot with h-vscid mappings

Daniel
authored and
danwt
committed
Implements the ValidatorSetReplication property

Daniel
authored and
danwt
committed

Commits on Dec 16, 2022

Merge branch 'main' into danwt/diff-test-core-validator-set-replication
danwt
authored
Clarify hToVscID negative comment
Daniel
committed
Delete accidental comment
Daniel
committed
Improve clarity of height -1
Daniel
committed
Use for loop
Daniel
committed
bump
Daniel
committed
bump
Daniel
committed

Commits on Jan 3, 2023

Merge branch 'main' into danwt/diff-test-core-validator-set-replication
danwt
authored

Commits on Jan 4, 2023