_CoqProject 267 Bytes
Newer Older
1
-Q theories iris_atomic
Ralf Jung's avatar
Ralf Jung committed
2
-arg -w -arg -notation-overridden,-redundant-canonical-projection,-several-object-files
3 4 5 6 7 8 9 10
theories/sync.v
theories/simple_sync.v
theories/flat.v
theories/atomic_sync.v
theories/treiber.v
theories/misc.v
theories/peritem.v
theories/atomic_pcas.v