• Ralf Jung's avatar
    Improve atomic_syncer · c0647f6a
    Ralf Jung authored
    * The currying on some location l is entirely removed.
    * is_atomic_syncer better mirrors is_syncer from the sequential version.
    * We use "original" atomic triples and not some modified version thereof (so atomic_triple_base is killed).
    * Don't embed the Iris turnstile into Iris.
    c0647f6a
atomic_sync.v 4.28 KB