-
Notifications
You must be signed in to change notification settings - Fork 323
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.
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
Add ICS07 client upgrade to the MBT tests #1274
Commits on Jul 29, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 637bf1e - Browse repository at this point
Copy the full SHA 637bf1eView commit details -
1
Configuration menu - View commit details
-
Copy full SHA for 60e3185 - Browse repository at this point
Copy the full SHA 60e3185View commit details -
Configuration menu - View commit details
-
Copy full SHA for ef27701 - Browse repository at this point
Copy the full SHA ef27701View commit details -
- corrected some small stuff around height comparisons
- used cleaner LT, GT operators etc - still having the typeOK problem
Configuration menu - View commit details
-
Copy full SHA for 915fdcf - Browse repository at this point
Copy the full SHA 915fdcfView commit details -
Configuration menu - View commit details
-
Copy full SHA for 70e3a2c - Browse repository at this point
Copy the full SHA 70e3a2cView commit details -
upgrade tla spec seems to work correctly
(at least as correct as anything can work in this spec)
Configuration menu - View commit details
-
Copy full SHA for 9898f5c - Browse repository at this point
Copy the full SHA 9898f5cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 0363f5e - Browse repository at this point
Copy the full SHA 0363f5eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 4a76341 - Browse repository at this point
Copy the full SHA 4a76341View commit details -
Configuration menu - View commit details
-
Copy full SHA for 693bcac - Browse repository at this point
Copy the full SHA 693bcacView commit details -
Configuration menu - View commit details
-
Copy full SHA for 7c7c3e1 - Browse repository at this point
Copy the full SHA 7c7c3e1View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8afbd5d - Browse repository at this point
Copy the full SHA 8afbd5dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 5ee8781 - Browse repository at this point
Copy the full SHA 5ee8781View commit details
Commits on Jul 30, 2021
-
Work towards synchronizing terminology between rust and tla
Fix compile errors
Configuration menu - View commit details
-
Copy full SHA for ec07cd8 - Browse repository at this point
Copy the full SHA ec07cd8View commit details -
WIP diagnosing upgrade test not passing
- Narrowed it down to the fact that chain states are being stored in a map keyed off the revision, but upgrading the chain changes the revision. This will need to be modified and checked to see if it makes sense.
Configuration menu - View commit details
-
Copy full SHA for 61642a6 - Browse repository at this point
Copy the full SHA 61642a6View commit details
Commits on Aug 9, 2021
-
Configuration menu - View commit details
-
Copy full SHA for d772f5e - Browse repository at this point
Copy the full SHA d772f5eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 2933532 - Browse repository at this point
Copy the full SHA 2933532View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4203106 - Browse repository at this point
Copy the full SHA 4203106View commit details
Commits on Aug 10, 2021
-
key self.contexts hashmap off of chain id string instead of
string+revision to stop errors where a chain context cannot be found because the revision number has changed, making the old key invalid
Configuration menu - View commit details
-
Copy full SHA for f93317c - Browse repository at this point
Copy the full SHA f93317cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 74dd848 - Browse repository at this point
Copy the full SHA 74dd848View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6710aaa - Browse repository at this point
Copy the full SHA 6710aaaView commit details -
Configuration menu - View commit details
-
Copy full SHA for 8ea4b0c - Browse repository at this point
Copy the full SHA 8ea4b0cView commit details
Commits on Aug 17, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 9d8b870 - Browse repository at this point
Copy the full SHA 9d8b870View commit details -
Configuration menu - View commit details
-
Copy full SHA for e0893ed - Browse repository at this point
Copy the full SHA e0893edView commit details -
Configuration menu - View commit details
-
Copy full SHA for 9e3fe29 - Browse repository at this point
Copy the full SHA 9e3fe29View commit details -
Configuration menu - View commit details
-
Copy full SHA for ccab697 - Browse repository at this point
Copy the full SHA ccab697View commit details
Commits on Aug 18, 2021
-
Configuration menu - View commit details
-
Copy full SHA for eda020c - Browse repository at this point
Copy the full SHA eda020cView commit details
Commits on Aug 24, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 5043bae - Browse repository at this point
Copy the full SHA 5043baeView commit details -
Configuration menu - View commit details
-
Copy full SHA for a50b8a4 - Browse repository at this point
Copy the full SHA a50b8a4View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4b7f1ea - Browse repository at this point
Copy the full SHA 4b7f1eaView commit details