Code Browser

duplicated revision number information in the consumer-addition proposal

Update ADR with consumer double voting

No query for oldest unconfirmed VSCPacket

The key assignment feature can't be used to verify equivocation

Add E2E tests for consumer double voting

Double voting evidence handler only works with consumer pubkeys

Feature requires: We need a query which can return all rotated validator keys by consumer `chain_id`

Question: Provider and Consumer chains

Add CometMock specific functionality: Light Client Attacks

SDK 50 upgrade

Jailed governors cannot unjail for previously standalone chains

Write a shim/driver that handles Quint-generated traces

Modify the e2e framework to take traces as an input

Rewrite the TLA+ ICS model in Quint (see https://github.com/cosmos/ibc/pull/911)

EPIC: Model-Based Testing using the Quint model

MsgTransfer is not validated before calling Transfer

CometMock tests fail state assertions

Replace provider throttle state query with a consumer query

Coordinating governance changes of a consumer chain from the producer chain

Add consumer double voting handling

Refactor E2E tests Hermes config

Improve coverage of ICS misbehaviour E2E tests

Slashing in the provider chain for consumer chain infractions

Question: Consumer chain not producing blocks, but why

Separate releasing/semver for provider and consumer

Remove deps on external packages for types sent over wire

Split out consumer genesis state

Cleanup x/ccv/types

Vaguely named consumer structs

CometMock tests fail randomly