projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8539806) | patch
a number of fixes to add missing mo_graph edges to speed up detection of infeasible
authorBrian Demsky <bdemsky@uci.edu>
Wed, 3 Oct 2012 19:37:53 +0000 (12:37 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Wed, 3 Oct 2012 19:37:53 +0000 (12:37 -0700)
commit3ca736f95f5a2ade69700fb2c148f348a0a683f9
tree9b1d31fa6ff752bfa21726bc11e439d384d996e2tree | snapshot
parent853980671c72b78d59fe05245fc8f49bdf5b8b70commit | diff
a number of fixes to add missing mo_graph edges to speed up detection of infeasible
traces
model.cc diff | blob | history
C++11 memory model checker