projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 63805dc) | patch
model: replace isfinalfeasible() with stronger check
authorBrian Norris <banorris@uci.edu>
Tue, 20 Nov 2012 04:29:34 +0000 (20:29 -0800)
committerBrian Norris <banorris@uci.edu>
Tue, 20 Nov 2012 04:29:34 +0000 (20:29 -0800)
commit9fb0b534cd05f395ab508a30624997e43ef0cfc9
treef3585d4b1df0f5d8a7a326e9373382a672e59a50tree | snapshot
parent63805dcdd30b0d728233eff298eec01977a50ee6commit | diff
model: replace isfinalfeasible() with stronger check

The stronger isfeasibleprefix() check is not strictly necessary in these
cases, since we can ensure that promises are resolved before executing
these, but it make sense to have a well-defined "strength" to these
feasibility properties, then use the strongest strength that is useful.
model.cc diff | blob | history
C++11 memory model checker