projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ed8d460) | patch
model: remove ModelChecker::is_infeasible_ignoreRMW()
authorBrian Norris <banorris@uci.edu>
Fri, 25 Jan 2013 01:18:06 +0000 (17:18 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 25 Jan 2013 01:18:06 +0000 (17:18 -0800)
commit3b3533a76db06884f44b3e70ccdbad647275fcc4
tree6dcb3772b2a06f83d1ad329447f36a8ff33e0141tree | snapshot
parented8d4600431acccf43e7ac67ab523fd7486861d0commit | diff
model: remove ModelChecker::is_infeasible_ignoreRMW()

We don't make any special exceptions for this condition anymore, so drop
the function.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker