projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 538175b) | patch
model: get_last_conflict - replace if/else-if block with switch
authorBrian Norris <banorris@uci.edu>
Thu, 20 Sep 2012 17:08:03 +0000 (10:08 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 20 Sep 2012 17:08:03 +0000 (10:08 -0700)
commitadb6280fde403d019262c74ca8301494b1ec7565
tree188ed670dc3de1f944bd7aca7d2649b26d9662actree | snapshot
parent538175be35df96c8858f384d0001c35701f5e666commit | diff
model: get_last_conflict - replace if/else-if block with switch
model.cc diff | blob | history
C++11 memory model checker