projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8c1043c) | patch
libthreads: cleanup startup/exit functions
authorBrian Norris <banorris@uci.edu>
Sat, 10 Mar 2012 01:08:21 +0000 (17:08 -0800)
committerBrian Norris <banorris@uci.edu>
Sat, 10 Mar 2012 01:08:21 +0000 (17:08 -0800)
commit2607976d11f1f39a19fc11f3fa365c848fec1979
treeaa1aaf16a9a58b52c4ad86b956c87fed3d29fa89tree | snapshot
parent8c1043cf9555045f3695af6abe4a78126ba8dcdfcommit | diff
libthreads: cleanup startup/exit functions

Free the stacks
Push thread exit management into thread_wait_finish() function
libthreads.c diff | blob | history
C++11 memory model checker