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
Prove deadlock-freedom at the level of BlockingQueueSplit.

lemmy
and
claude
committed
Prove all safety properties of (non-trivial/non-textbook) BlockingQueuePoisonApple.

lemmy
and
claude
committed