├── .gitignore ├── README.md ├── SnapshotIsolation.cfg ├── SnapshotIsolation.tla ├── models └── IsConflictSerializable │ ├── MC.cfg │ ├── MC.tla │ └── SnapshotIsolation.tla └── traces └── read_only_anomaly.txt /.gitignore: -------------------------------------------------------------------------------- 1 | *.pdf 2 | *.toolbox/ 3 | states/ 4 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/snapshot-isolation-spec/HEAD/README.md -------------------------------------------------------------------------------- /SnapshotIsolation.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/snapshot-isolation-spec/HEAD/SnapshotIsolation.cfg -------------------------------------------------------------------------------- /SnapshotIsolation.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/snapshot-isolation-spec/HEAD/SnapshotIsolation.tla -------------------------------------------------------------------------------- /models/IsConflictSerializable/MC.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/snapshot-isolation-spec/HEAD/models/IsConflictSerializable/MC.cfg -------------------------------------------------------------------------------- /models/IsConflictSerializable/MC.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/snapshot-isolation-spec/HEAD/models/IsConflictSerializable/MC.tla -------------------------------------------------------------------------------- /models/IsConflictSerializable/SnapshotIsolation.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/snapshot-isolation-spec/HEAD/models/IsConflictSerializable/SnapshotIsolation.tla -------------------------------------------------------------------------------- /traces/read_only_anomaly.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/snapshot-isolation-spec/HEAD/traces/read_only_anomaly.txt --------------------------------------------------------------------------------