Skip to content

Pull requests: cosmos/ics23

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

docs: RFC 001 — formal verification of ICS23
#421 opened Jun 10, 2026 by zmanian Loading…
chore: bump golang.org/x/crypto from 0.31.0 to 0.37.0 in /go dependencies Pull requests that update a dependency file go Issues pertaining to the Go implementation
#414 opened Apr 7, 2025 by dependabot Bot Loading…
chore: bump golangci/golangci-lint-action from 6 to 7 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#413 opened Mar 24, 2025 by dependabot Bot Loading…
chore: bump SonarSource/sonarcloud-github-action from 4.0.0 to 5.0.0 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#410 opened Mar 3, 2025 by dependabot Bot Loading…
chore: bump bufbuild/buf-setup-action from 1.49.0 to 1.50.0 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#407 opened Jan 20, 2025 by dependabot Bot Loading…
Typo fix ops.go
#406 opened Jan 18, 2025 by petryshkaCODE Loading…
3 tasks done
chore: add jmtspec proof spec definition to go impl
#388 opened Oct 21, 2024 by damiannolan Contributor Draft
fix: a misnamed rust function
#360 opened Aug 29, 2024 by larry0x Contributor Loading…
fix: a Rust linter warning
#359 opened Aug 29, 2024 by larry0x Contributor Loading…
chore: Update proto builder and rust
#165 opened Aug 24, 2023 by faddat Contributor Draft
ProTip! What’s not been updated in a month: updated:<2026-06-17.