Skip to content

GitLab

Explore

Sign in

2

2.5 Phase Commit

Project information

Machine verified implementation of 2.5 PC

Heavily influenced by IronFleet and the lock protocol found here: https://github.com/GLaDOS-Michigan/CodeLab-ToyLock

40 Commits
8 Branches
0 Tags

README

Created on

November 26, 2019

Copy SSH clone URLgit@gitlab.eecs.umich.edu:drakes/2.5-phase-commit.git
Copy HTTPS clone URLhttps://gitlab.eecs.umich.edu/drakes/2.5-phase-commit.git

Loading