_CoqProject 308 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 11 12
theories/atomic.v
theories/sync.v
theories/atomic_incr.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