R

ra-gps

A soundness proof for GPS and RSL with Release-Acquire semantics in Iris.

Forked from FP / iGPS