projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d48c186) | patch
threads: set up Thread to be freed properly
authorBrian Norris <banorris@uci.edu>
Tue, 24 Apr 2012 03:13:02 +0000 (20:13 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 24 Apr 2012 03:13:02 +0000 (20:13 -0700)
commitc0eda11361a71ff8cef84164ddedab9dd875c20a
treee9d09afc3ea72aa22034428ed5dd3a3b4d9cd6b7tree | snapshot
parentd48c1867f8e5b2a3f9695a6bc8f1b5394dcda8e7commit | diff
threads: set up Thread to be freed properly

To ensure that we can free memory properly, set up a destructor and rename
dispose() to complete().
threads.cc diff | blob | history
threads.h diff | blob | history
C++11 memory model checker