Skip to content

CAS -> CmpXchg in HeapLang tactic docs

Paolo G. Giarrusso requested to merge Blaisorblade/iris:rename-cas-cmpxchg-docs into master

Apparently docs weren't updated when this was renamed.

Merge request reports