Commits · master · drakes / 2.5 Phase Commit

17 Dec, 2019 8 commits
- Update README.md · 2f396a09
  drakes authored Dec 16, 2019
  
  2f396a09
- Code cleanup · f98701cd
  drakesvoboda authored Dec 16, 2019
  
  f98701cd
- Update README.md · ebcf7e24
  drakes authored Dec 16, 2019
  
  ebcf7e24
- Add readme · d65e13c9
  drakes authored Dec 16, 2019
  
  d65e13c9
- Merge branch 'master' into proof-failure-free · 7dbb80b7
  drakesvoboda authored Dec 16, 2019
  
  7dbb80b7
- Update README.md · 40469972
  drakes authored Dec 16, 2019
  
  40469972
- Update README.md · a0d77da5
  drakes authored Dec 16, 2019
  
  a0d77da5
- Add README.md · 5deab038
  drakes authored Dec 16, 2019
  
  5deab038
16 Dec, 2019 1 commit
- Real proof of the failure free case · c91bb88c
  drakesvoboda authored Dec 16, 2019
  
  c91bb88c
15 Dec, 2019 3 commits
- Received n yes votes · cdbca475
  drakesvoboda authored Dec 15, 2019
  
  cdbca475
- Proof of coord stuff but proof of deciding hangs · 5aab01d8
  drakesvoboda authored Dec 15, 2019
  
  5aab01d8
- refactor · 4fbde6dc
  drakesvoboda authored Dec 15, 2019
  
  4fbde6dc
14 Dec, 2019 2 commits
- Proof of all decision is working · 7d3c62cc
  drakesvoboda authored Dec 14, 2019
  
  7d3c62cc
- Refactor and additional predicates · 423d6ad1
  drakesvoboda authored Dec 14, 2019
  
  423d6ad1
13 Dec, 2019 4 commits
- Proof that abort transition is safe · 531b6726
  drakesvoboda authored Dec 12, 2019
  
  531b6726
- Proof that commit transition is safe · 192ad3b5
  drakesvoboda authored Dec 12, 2019
  
  192ad3b5
- Code cleanup · 29d63ada
  drakesvoboda authored Dec 12, 2019
  
  29d63ada
- Prove pre-commit transition is safe · 358f17af
  drakesvoboda authored Dec 12, 2019
  
  358f17af
12 Dec, 2019 2 commits
- Stashing some borken proof stuff · f9ad8558
  drakesvoboda authored Dec 12, 2019
  
  f9ad8558
- Broken proof stuff · 6c12e0e6
  drakesvoboda authored Dec 11, 2019
  
  6c12e0e6
11 Dec, 2019 8 commits
- starting to proove coordinator handling votes · 11ef9255
  drakesvoboda authored Dec 11, 2019
  
  11ef9255
- Merge branch 'master' of gitlab.eecs.umich.edu:drakes/2.5-phase-commit · e97a70df
  drakesvoboda authored Dec 11, 2019
  
  e97a70df
- .. · 5ae263ec
  drakesvoboda authored Dec 11, 2019
  
  5ae263ec
- line delete · 1572a7b1
  aberding authored Dec 11, 2019
  
  1572a7b1
- moving all of phase 2 transition for coordinator into 1 predicate · 3d0f0d0a
  aberding authored Dec 11, 2019
  
  3d0f0d0a
- Some additional proof stuff · 79a8898a
  drakesvoboda authored Dec 11, 2019
  
  79a8898a
- Proven sending vote request and voting are legal · afe10ac7
  drakesvoboda authored Dec 10, 2019
  
  afe10ac7
- Some node refactoring · e4c1b373
  drakesvoboda authored Dec 10, 2019
  
  e4c1b373
10 Dec, 2019 4 commits
- Fix some bugs and merge · 28f9ae85
  drakesvoboda authored Dec 10, 2019
  
  28f9ae85
- Some syntax fixing · 40cf6a50
  drakesvoboda authored Dec 10, 2019
  
  40cf6a50
- added node state transitions · 66301174
  aberding authored Dec 10, 2019
  
  66301174
- Fixed the code up enough for VSCode to start verifying the proof file · 7ee7db29
  drakesvoboda authored Dec 09, 2019
  
  7ee7db29
08 Dec, 2019 3 commits
- Model time with timeouts · f35ae513
  drakesvoboda authored Dec 08, 2019
  
  f35ae513
- Model time with timeouts · 58610b5e
  drakesvoboda authored Dec 08, 2019
  
  58610b5e
- Model time with timeouts · bcf61041
  drakesvoboda authored Dec 08, 2019
  
  bcf61041
05 Dec, 2019 1 commit
- Started inductive proof · 0263620a
  drakesvoboda authored Dec 04, 2019
  
  0263620a
04 Dec, 2019 1 commit
- super rough start to the coordinator state changes · 83ce172c
  aberding authored Dec 03, 2019
  
  83ce172c
03 Dec, 2019 1 commit
- added some state transaction and other comments · 8b396e61
  aberding authored Dec 03, 2019
  
  8b396e61
27 Nov, 2019 1 commit
- added some questions as comments + plus getting in an initial commit · 9f8edb90
  aberding authored Nov 26, 2019
  
  9f8edb90
26 Nov, 2019 1 commit
- initial commit · 09685aa7
  drakesvoboda authored Nov 26, 2019
  
  09685aa7