projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ae22fcf) | patch
fix bug from moving read_from check_recency...check_recency had the assumption that...
authorBrian Demsky <bdemsky@uci.edu>
Fri, 28 Sep 2012 10:16:00 +0000 (03:16 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Fri, 28 Sep 2012 10:16:00 +0000 (03:16 -0700)
commit4614578e1632eb4e1962f9635ad4950097003137
tree4f2ccc4fa82d86112d38023ec64c5c42322c36f2tree | snapshot
parentae22fcfde9f5bb6894df8bd62ead28f289b82012commit | diff
fix bug from moving read_from check_recency...check_recency had the assumption that the read_from field was set...
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker