projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fcae856) | patch
model/threads: add documentation comments
authorBrian Norris <banorris@uci.edu>
Fri, 15 Feb 2013 19:54:11 +0000 (11:54 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 15 Feb 2013 22:55:02 +0000 (14:55 -0800)
commit09c3eb5539455e82dcb357fbce82bf5974c3a37c
tree4ac13acb76907944d009ccc0cb94650098c73055tree | snapshot
parentfcae856e66379752f8d227784d28c424206ab0c1commit | diff
model/threads: add documentation comments

Document {get,set}_pending(), has_asserted()/set_assert(), etc.
model.cc diff | blob | history
threads-model.h diff | blob | history
C++11 memory model checker