Repository navigation

Experiment with TLAiPS - #16

Closed

lemmy wants to merge 3 commits into

mainfrom

mku-ClaudeTLAPS

Commits on Apr 22, 2026
- Update CI to TLAPS 1.6.0-pre and adapt proofs accordingly
  lemmy
  committed
  dfa620f
- Prove deadlock-freedom at the level of BlockingQueueSplit.
  
  lemmy
  and
  claude
  committed
  b5e3705
- Prove all safety properties of (non-trivial/non-textbook) BlockingQueuePoisonApple.
  
  lemmy
  and
  claude
  committed
  777a763