projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f60dc97) | patch
threads: don't call the userprogram interface for initial thread, just create it
authorBrian Norris <banorris@uci.edu>
Wed, 2 May 2012 23:57:06 +0000 (16:57 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 2 May 2012 23:57:06 +0000 (16:57 -0700)
commit8c8e990efa97568549542133e13d9f4df375dd15
treec71f61e5a745c48760f112082fa4c7d4cfa8bd3etree | snapshot
parentf60dc971069e7d4ceade8a1be52b4d42b69828dfcommit | diff
threads: don't call the userprogram interface for initial thread, just create it

This will help once I start model-checking thrd_create().
threads.cc diff | blob | history
C++11 memory model checker