projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8afe95a) | patch
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)
commite356dc963edf27f8a97b1ae3d39e276723aa5968
treee891bf081b72a7a1d0b84179e41a10d434dc6cb9tree | snapshot
parent8afe95aa67927b0afde92acb88956e6c1c952985commit | diff
nodestack: rewrite promise-resolution "counting"

We don't need to perform a full check of all possible combinations of
Promises to resolve; we only perform 0 or 1 resolution.
model.cc diff | blob | history
nodestack.cc diff | blob | history
nodestack.h diff | blob | history
C++11 memory model checker