projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8fc5d0e) | patch
model: implement get_last_conflict()
authorBrian Norris <banorris@uci.edu>
Thu, 19 Apr 2012 18:06:30 +0000 (11:06 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 19 Apr 2012 18:06:30 +0000 (11:06 -0700)
commitc01b2b7892814b73cb379b22cd7891d778ece391
treeed89c00980d0da54997e3710591834f9f635cb9ctree | snapshot
parent8fc5d0e4410b56a1e17e8e219397abf53f8ba462commit | diff
model: implement get_last_conflict()

This performs a non-optimized check; that is, it uses a simple O(n) linear
search, when it could utilize O(1) lookups instead... but this isn't even the
full memory model yet, so I'm not working for perfection!
model.cc diff | blob | history
C++11 memory model checker