projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c76c185) | patch
execution: improve documentation
authorBrian Norris <banorris@uci.edu>
Fri, 19 Apr 2013 21:32:51 +0000 (14:32 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 19 Apr 2013 21:32:51 +0000 (14:32 -0700)
commit13a5122212f76cf215e0d704b7b46ddfc892b26b
treef553b17f4a9a738f6093633774eb7c65ac339459tree | snapshot
parentc76c1859f273b58b2fb3b39c8abca2159250905ccommit | diff
execution: improve documentation

is_yieldblocked() wasn't documented

check_action_enabled() had incorrect documentation, since I removed the
waiter lists
execution.cc diff | blob | history
C++11 memory model checker