Skip to content

[triviality] Clarify funny proof of `tac_twp_cmpxchg_fail`

Paolo G. Giarrusso requested to merge Blaisorblade/iris:clarify-proof into master

To reduce confusion from d2c226e7 (comment 73999) — I went to ask exactly Robbert's question. Absolutely not important, feel free to change or close as you see fit.

Merge request reports