projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c3240e7) | patch
execution: document additional mo_may_allow() optimization
authorBrian Norris <banorris@uci.edu>
Thu, 6 Jun 2013 00:14:32 +0000 (17:14 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 6 Jun 2013 00:14:32 +0000 (17:14 -0700)
commit1f817417cb820f356fb2afa7ac9e18d7ef054198
treea212107882ddfd8bbbd89b2ad36294ad44cb907ftree | snapshot
parentc3240e7376fc80855529257647bd010a2cce7d6fcommit | diff
execution: document additional mo_may_allow() optimization

mo_may_allow() actually performs two optimizations, not just the one
that is documented in its header.
execution.cc diff | blob | history
C++11 memory model checker