Added initial finality violation test, reworked Savanna IBC + Finality Violation contracts and tests to re-use common code#165

Closed

systemzax wants to merge 43 commits intomainfrom savanna_contracts

+2,426-1,071

Commits on May 19, 2024

Merge branch 'main' of https://github.com/antelopeIO/spring into savanna_contracts
systemzax
committed
Initial version of finality violation proof verification contract
systemzax
committed
Moved bitset to common folder
systemzax
committed
Re-enabled enforcement of one-time-only check in setfpolicy action
systemzax
committed
Recompiled ibc + finality violation contracts
systemzax
committed
Restructured Savanna test contracts and added base for finality violation test
systemzax
committed
Removed deprecated assert parameter in IBC contract
systemzax
committed
Completed initial finality violation test, added finality violation test, common test headers called finality_proof.hpp
systemzax
committed
Improved comments in svnn_finality_violation_tests.cpp. Removed state from finality violation contract
systemzax
committed
Added return value (guilty vs innocent nodes)
systemzax
committed
Clean up
systemzax
committed

Commits on May 20, 2024

Merge branch 'main' into savanna_contracts
systemzax
authored

Commits on May 28, 2024

Work on finality violation tests
systemzax
committed

Commits on May 31, 2024

Resolved merge conflicts
systemzax
committed

Commits on Jun 3, 2024

Fixed policy transition sequence in finality_proof::proof_test_cluster, added finality violation two chains test
systemzax
committed

Commits on Jun 6, 2024

Moved function to extract QC to the finality_proof file, proof_test_cluster now returns QCs
systemzax
committed

Commits on Jun 7, 2024

Commits on Jun 8, 2024

Commits on Jun 9, 2024