projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ff29187) | patch
cyclegraph: bugfix - only use concrete writes to eliminate threads
authorBrian Norris <banorris@uci.edu>
Tue, 5 Feb 2013 01:12:11 +0000 (17:12 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 6 Feb 2013 21:44:39 +0000 (13:44 -0800)
commit8e7d06831c75df291170b57a5573efead68eaad9
tree58a2f3bff87945072fc057ee1f1100e84652c228tree | snapshot
parentff29187c639cdb032debdb036d2c9062f77879b0commit | diff
cyclegraph: bugfix - only use concrete writes to eliminate threads
cyclegraph.cc diff | blob | history
C++11 memory model checker