Code Browser
GitHub issues and pull requests across the indexed Cosmos repositories.
ItemTitleState
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
PR #1572
Bump actions/checkout from 3.5.3 to 3.6.0
closed
IS #1571
Allow feegrant for whitelisted contracts
open
IS #1235
CometMock tests fail state assertions
closed
PR #1234
Shawn/update throttle feat branch
closed
PR #2712
Test: trigger hermes repo test
closed
PR #2711
docs: fix typos in release notes template (backport #2708)
closed
PR #2710
ci: update goreleaser tag sort options
closed
PR #1570
Fix gas calculation (backport #1567)
closed
PR #1569
Improve ToWasmVMGas/FromWasmVMGas code level documentation (backport #1564)
closed
IS #2709
goreleaser fails on final releases
closed
PR #2708
docs: fix typos in release notes template
closed
IS #1233
Replace provider throttle state query with a consumer query
closed
PR #1232
feat: add handler for consumer double voting
closed
PR #2707
chore: update to v13
closed
PR #2706
Docs migration from Vuepress to Docusaurus
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 #2705
chore(deps): Bump cosmossdk.io/math from 1.1.0 to 1.1.2
closed
PR #2704
docs: schedule testnet upgrade to v12
closed
PR #1568
[Do not merge] Reproduction of #1536
closed
PR #1567
Fix gas calculation
closed
PR #1228
supress gosec false positives
closed