projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 01237c4) | patch
libthreads: export thread_yield()
authorBrian Norris <banorris@uci.edu>
Sat, 10 Mar 2012 03:04:00 +0000 (19:04 -0800)
committerBrian Norris <banorris@uci.edu>
Sat, 10 Mar 2012 03:21:29 +0000 (19:21 -0800)
commit8acd20fe4f72d27fae52c13df41f18f00d982bba
tree0ae7d3e50290e692f39d9d0144e62633f49a3cbctree | snapshot
parent01237c41090e450db348ef0045a3d3cfd23cd041commit | diff
libthreads: export thread_yield()

We export this for now. The function will need to change for long-term exported
use though.
libthreads.c diff | blob | history
libthreads.h diff | blob | history
C++11 memory model checker