projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: e356dc9)
nodestack: rewrite promise-resolution "counting"
authorBrian Norris <banorris@uci.edu>
Wed, 27 Feb 2013 02:42:51 +0000 (18:42 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 28 Feb 2013 03:41:58 +0000 (19:41 -0800)
We don't need to perform a full check of all possible combinations of
Promises to resolve; we only perform 0 or 1 resolution.


No differences found
C++11 memory model checker