projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 16a7f2b) | patch
schedule: add scheduler, thread_yield(), etc.
authorBrian Norris <banorris@uci.edu>
Fri, 9 Mar 2012 07:36:48 +0000 (23:36 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 9 Mar 2012 07:36:48 +0000 (23:36 -0800)
commit8122c7760b4dba8c3b4f0f538eb6fa48d7026092
treec11638dcc309fd63c98d9c5458589a64906b2b1ctree | snapshot
parent16a7f2bdf92d3f4b8a0817258f1369f2cff37ee1commit | diff
schedule: add scheduler, thread_yield(), etc.

Could use some cleanup still...
Makefile diff | blob | history
libthreads.c diff | blob | history
libthreads.h diff | blob | history
schedule.c [new file with mode: 0644] blob
schedule.h [new file with mode: 0644] blob
C++11 memory model checker