projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: efc422a) | patch
spsc-queue: use std::condition_variable
authorBrian Norris <banorris@uci.edu>
Thu, 11 Oct 2012 18:24:11 +0000 (11:24 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 11 Oct 2012 18:24:13 +0000 (11:24 -0700)
commitf85d2132f7b0567de423e76404f3528ae7aba205
treeb819365010f75a95a72894c041a1ef0e881bea54tree | snapshot
parentefc422a9ae20513f8a69b1cd53cb13de62dd4218commit | diff
spsc-queue: use std::condition_variable

Model-checker doesn't support <condition_variable> header yet.
spsc-queue/eventcount.h diff | blob | history
C++11 memory model checker benchmarks