-
Notifications
You must be signed in to change notification settings - Fork 5
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
Prove liveness for rabbitmq #173
Commits on Jul 7, 2023
-
Simplify the specs about filtering message
Signed-off-by: Wenjie Ma <[email protected]>
Configuration menu - View commit details
-
Copy full SHA for e3b1cfb - Browse repository at this point
Copy the full SHA e3b1cfbView commit details
Commits on Jul 8, 2023
-
Signed-off-by: Wenjie Ma <[email protected]>
Configuration menu - View commit details
-
Copy full SHA for c1c51d3 - Browse repository at this point
Copy the full SHA c1c51d3View commit details -
Prove termination of rabbitmq_controller
Signed-off-by: Wenjie Ma <[email protected]>
Configuration menu - View commit details
-
Copy full SHA for 0cdc137 - Browse repository at this point
Copy the full SHA 0cdc137View commit details -
Prove safety properties for rabbitmq
Signed-off-by: Wenjie Ma <[email protected]>
Configuration menu - View commit details
-
Copy full SHA for e39b25a - Browse repository at this point
Copy the full SHA e39b25aView commit details -
Finish unscheduled ~> scheduled ~> init for rabbitmq
Signed-off-by: Wenjie Ma <[email protected]>
Configuration menu - View commit details
-
Copy full SHA for d2633d9 - Browse repository at this point
Copy the full SHA d2633d9View commit details -
Add specs for requests after different steps
Signed-off-by: Wenjie Ma <[email protected]>
Configuration menu - View commit details
-
Copy full SHA for bcd2884 - Browse repository at this point
Copy the full SHA bcd2884View commit details
Commits on Jul 9, 2023
-
Change the liveness goal of rabbitmq and prove satefy properties
Signed-off-by: Wenjie Ma <[email protected]>
Configuration menu - View commit details
-
Copy full SHA for 2cb31e9 - Browse repository at this point
Copy the full SHA 2cb31e9View commit details -
Finish the liveness proof for rabbitmq controller
Signed-off-by: Wenjie Ma <[email protected]>
Configuration menu - View commit details
-
Copy full SHA for f71a71e - Browse repository at this point
Copy the full SHA f71a71eView commit details -
Fix grammatical errors for zookeeper controller
Signed-off-by: Wenjie Ma <[email protected]>
Configuration menu - View commit details
-
Copy full SHA for 5573563 - Browse repository at this point
Copy the full SHA 5573563View commit details