Skip to content
GitLab
Explore
Sign in
drakes
2.5 Phase Commit
Repository
Branches
Overview
Active
Stale
All
NEW-BRANCH-NAME
28f9ae85
·
Fix some bugs and merge
·
Dec 10, 2019
working-proof
4ff4647d
·
dont know anything about dafny anymore but it works
·
Dec 13, 2019
proof-without-process-votes
5f25c233
·
random garbage
·
Dec 14, 2019
adrians_mess
9ed6f00a
·
sorry for the mess
·
Dec 15, 2019
refactor
aaf81c7e
·
Broken shit
·
Dec 15, 2019
termination_attempt
3a156783
·
fix
·
Dec 16, 2019
proof-failure-free
f98701cd
·
Code cleanup
·
Dec 16, 2019
!1
master
default
protected
2f396a09
·
Update README.md
·
Dec 16, 2019