projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e7fb1d3) | patch
deque: improve compile-ability
authorBrian Norris <banorris@uci.edu>
Tue, 5 Mar 2013 01:23:22 +0000 (17:23 -0800)
committerBrian Norris <banorris@uci.edu>
Tue, 5 Mar 2013 01:52:46 +0000 (17:52 -0800)
commitbb4d924532cf29b2a242cd96a35bbe5805b33089
tree46357e0aeb543003eaf9188a9346a5108a116dfdtree | snapshot
parente7fb1d3fca70b9f871b961f2f3c3443d4955a3b4commit | diff
deque: improve compile-ability

Add appropriate C headers.
Re-introduce atomic_* and memory_order_* prefixes.
chase-lev-deque/deque.c diff | blob | history
C++11 memory model checker benchmarks