projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b189122) | patch
action/model: backtrack for seq-cst and release/acquire fences
authorBrian Norris <banorris@uci.edu>
Tue, 4 Dec 2012 00:00:33 +0000 (16:00 -0800)
committerBrian Norris <banorris@uci.edu>
Tue, 4 Dec 2012 00:00:33 +0000 (16:00 -0800)
commitf47ffb576e8ff886cb4ee7a1feaf31b3137a975a
treebf0068abfc05fb3a133db3c7c05a1c8af3d55655tree | snapshot
parentb1891221a7e5bd465ea5809c74afba8d33049af9commit | diff
action/model: backtrack for seq-cst and release/acquire fences

Extends backtracking support to explore all interleavings of conflicting
seq-cst fences and potentially-synchronizing write/read/fence pairs.
action.cc diff | blob | history
model.cc diff | blob | history
C11 Tester Tool Public Repository