Code Browser
GitHub issues and pull requests across the indexed Cosmos repositories.
ItemTitleState
IS #1246
SDK 50 upgrade
closed
IS #1245
Jailed governors cannot unjail for previously standalone chains
closed
PR #1244
fix!: validate MsgTransfer before calling Transfer()
closed
PR #1243
chore: Implement JSON trace format (#878)
closed
PR #1242
chore: Add Quint model of Interchain Security
closed
IS #1241
Write a shim/driver that handles Quint-generated traces
closed
IS #1240
Modify the e2e framework to take traces as an input
closed
IS #1239
Rewrite the TLA+ ICS model in Quint (see https://github.com/cosmos/ibc/pull/911)
closed
IS #1238
EPIC: Model-Based Testing using the Quint model
closed
IS #1237
MsgTransfer is not validated before calling Transfer
closed
PR #1236
Add waitBlocks for *both* chains on relayPackets
closed
IS #1235
CometMock tests fail state assertions
closed
PR #1234
Shawn/update throttle feat branch
closed
IS #1233
Replace provider throttle state query with a consumer query
closed
PR #1232
feat: add handler for consumer double voting
closed
IS #1231
Coordinating governance changes of a consumer chain from the producer chain
closed
PR #1230
feat!: throttle with retries provider changes
closed
PR #1229
docs: Create adr-012-separate-releasing.md
closed
PR #1228
supress gosec false positives
closed
IS #1227
Add consumer double voting handling
closed
IS #1226
Refactor E2E tests Hermes config
closed
PR #1225
feat: improve ICS misbehaviour E2E testing coverage
closed
IS #1224
Improve coverage of ICS misbehaviour E2E tests
closed
PR #1223
refactor: address comments of ICS Misbehaviour PRs #826 and #1148
closed
IS #1222
Slashing in the provider chain for consumer chain infractions
closed
PR #1221
build(deps): bump bufbuild/buf-setup-action from 1.26.0 to 1.26.1
closed
PR #1220
build(deps): bump cosmossdk.io/math from 1.0.1 to 1.1.2
closed
PR #1219
build(deps): bump github.com/cosmos/gogoproto from 1.4.10 to 1.4.11
closed
IS #1218
Question: Consumer chain not producing blocks, but why
closed
PR #1217
chore: Separate semver
closed