2.5 Phase Commit merge requests
https://gitlab.eecs.umich.edu/drakes/2.5-phase-commit/-/merge_requests
2019-12-17T02:06:48Z
https://gitlab.eecs.umich.edu/drakes/2.5-phase-commit/-/merge_requests/1
Proof failure free
2019-12-17T02:06:48Z
drakes
Proof failure free
drakes
drakes