projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c45f266) | patch
move 'current thread' details
authorBrian Norris <banorris@uci.edu>
Mon, 12 Mar 2012 23:06:14 +0000 (16:06 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 12 Mar 2012 23:06:14 +0000 (16:06 -0700)
commit59aaf50bde2347f826259a1951a5af4bfca060e0
tree9cc807067e20a20c9dd3096d267db9f6d7295a34tree | snapshot
parentc45f266119299ec579737b5911c1ab82e11d0bfccommit | diff
move 'current thread' details

The low level details regarding the 'current thread' should be encapsulated in
the scheduler (i.e., 'get_current_thread()'). So we move the 'current' variable
to scheduler.c.
libthreads.c diff | blob | history
schedule.c diff | blob | history
schedule.h diff | blob | history
C++11 memory model checker