projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4f83408) | patch
libthreads: add thread_current() function
authorBrian Norris <banorris@uci.edu>
Sat, 10 Mar 2012 01:28:15 +0000 (17:28 -0800)
committerBrian Norris <banorris@uci.edu>
Sat, 10 Mar 2012 01:36:08 +0000 (17:36 -0800)
commit79f227f355cd5efbcad184b20d020493f27f1c35
treea88bec8d0201084332e286d4fe46ea3c5ba546e7tree | snapshot
parent4f834086d3c8599e47151cf69e13008ee35e9bf3commit | diff
libthreads: add thread_current() function

Keeps along the lines of C11/C++11.

C11: thrd_t thrd_current(void);
C++11: namespace this_thread
libthreads.c diff | blob | history
libthreads.h diff | blob | history
C++11 memory model checker