• 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
Name
Last commit
Last update
docs Loading commit data...
.gitignore Loading commit data...
IRIS_VERSION Loading commit data...
Makefile Loading commit data...
README.md Loading commit data...
_CoqProject Loading commit data...
atomic.v Loading commit data...
atomic_incr.v Loading commit data...
atomic_pcas.v Loading commit data...
atomic_sync.v Loading commit data...
evmap.v Loading commit data...
flat.v Loading commit data...
misc.v Loading commit data...
peritem.v Loading commit data...
simple_sync.v Loading commit data...
sync.v Loading commit data...
treiber.v Loading commit data...