projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6f2366a) | patch
libthreads: don't create ModelAction for thrd_join()
authorBrian Norris <banorris@uci.edu>
Tue, 24 Apr 2012 06:31:52 +0000 (23:31 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 24 Apr 2012 06:31:52 +0000 (23:31 -0700)
commit511dc79c4688c5a304e00d57dee1f7ebc84637a1
tree17e16eebcc76331569852394c9b5a248957bb752tree | snapshot
parent6f2366a6076df350d1f7e0b562a61b3b99339b1fcommit | diff
libthreads: don't create ModelAction for thrd_join()

Temporarily? I may need to model-check join operations later.
libthreads.cc diff | blob | history
C++11 memory model checker