Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Upgradability fixes #967

Merged
merged 20 commits into from
May 31, 2023
Merged

Upgradability fixes #967

Changes from 2 commits
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
7ea7832
make changes to INIT and TRY
AdityaSripal Apr 20, 2023
c004220
ACK complete for in-flight packets option
AdityaSripal Apr 20, 2023
06db3a9
complete ACK
AdityaSripal Apr 24, 2023
6c23a1f
fix happy path case
AdityaSripal Apr 24, 2023
89fa81e
fix arg list
AdityaSripal Apr 24, 2023
7f317ae
update non-pseudocode parts of happy path spec
AdityaSripal Apr 25, 2023
c12d6ed
move FLUSH to its own state, and prove both ends have flushed before …
AdityaSripal Apr 27, 2023
a9e2662
fix cancel and timeout
AdityaSripal Apr 27, 2023
e90b228
fix documentation
AdityaSripal Apr 27, 2023
2dfc09d
Apply suggestions from code review
AdityaSripal Apr 27, 2023
a8a419c
rename subprotocol
AdityaSripal Apr 27, 2023
5173aaa
Apply suggestions from code review
AdityaSripal May 3, 2023
b6f7549
rewrite state to clarify flushing has to happen on both ends
AdityaSripal May 23, 2023
c77d4d2
move error receipt down after proof verification and typos
AdityaSripal May 23, 2023
f8d12db
Merge branch 'aditya/upgradability-fixes' of github.com:cosmos/ibc in…
AdityaSripal May 23, 2023
9fa1755
address comments
AdityaSripal May 25, 2023
43d2c63
update docs to be clearer
AdityaSripal May 25, 2023
2458b48
Apply suggestions from code review
AdityaSripal May 30, 2023
189a5b3
wrap up final requests
AdityaSripal May 31, 2023
ac18bb1
add some OPEN documentation
AdityaSripal May 31, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading