Repository navigation

Dining Philosophers Tutorial - #246

Merged

lemmy merged 14 commits into

Oct 22, 2026

Merged

Dining Philosophers Tutorial#246
lemmy merged 14 commits into
masterfrom
mku-dining

Commits on Oct 21, 2026
- DiningPhilosophers: rename APDiningPhilosophers to APDiningPhilosophersPCal
  
  lemmy
  and
  claude
  committed
  892b29f
- DP: remove the TLA+ spec to rebuild it in order
  
  lemmy
  and
  claude
  committed
  615db5d
- DP: add a README that walks through the solutions
  
  lemmy
  and
  claude
  committed
  8c5d5f7
- DP: add a pure TLA+ spec with an animation
  
  lemmy
  and
  claude
  committed
  89da1aa
- DP: take the left fork before the right fork
  
  lemmy
  and
  claude
  committed
  bf33e1b
- DP: put the left fork back when the right fork is taken
  
  lemmy
  and
  claude
  committed
  3f171e1
- DP: take both forks at once
  
  lemmy
  and
  claude
  committed
  de09177
- DP: let a philosopher who ate wait for its neighbors
  
  lemmy
  and
  claude
  committed
  173c60f
- DP: let a waiter serve philosophers in order
  
  lemmy
  and
  claude
  committed
  637ef15
- DP: let a footman seat at most N-1 philosophers
  
  lemmy
  and
  claude
  committed
  20efef8
- DP: let philosopher N take its right fork first
  
  lemmy
  and
  claude
  committed
  0487641
- DP: prove starvation freedom with TLAPS
  
  lemmy
  and
  claude
  committed
  57a50b9
- DP: let even philosophers take their right fork first
  
  lemmy
  and
  claude
  committed
  0f6e467
- DP: link the last step in the README
  
  lemmy
  and
  claude
  committed
  1868d4c