projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c36dd97) | patch
threads: correct 'swap()' documentation
authorBrian Norris <banorris@uci.edu>
Fri, 10 Aug 2012 22:22:33 +0000 (15:22 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 16 Aug 2012 17:30:26 +0000 (10:30 -0700)
commit08b069a092910d66bab08096177d9f97461725e4
treeb91e91d59e939c52e53c45c0ffb0c146073a5da3tree | snapshot
parentc36dd97a0b4924e1c906f7931d7ed515d5d7dc61commit | diff
threads: correct 'swap()' documentation

Some of the swap() documentation was duplicated incorrectly. While I'm at it,
make the descriptions more clear and precise.
threads.cc diff | blob | history
C++11 memory model checker