projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8eb5e06) | patch
libatomic: add stub atomic lib header/source
authorBrian Norris <banorris@uci.edu>
Sat, 10 Mar 2012 03:00:50 +0000 (19:00 -0800)
committerBrian Norris <banorris@uci.edu>
Sat, 10 Mar 2012 03:21:30 +0000 (19:21 -0800)
commit060e439b9c99f4fd89060acd44913b103d983b45
tree4ec471e9fe03dc857753922f91b58c7fcbe6f599tree | snapshot
parent8eb5e06138387756462affc3d7a327d9f0cd20d3commit | diff
libatomic: add stub atomic lib header/source

Stub implementations, for testing.

(Temporary: need to find a better generic atomic_int, atomic_long, etc.
implementation)
Makefile diff | blob | history
libatomic.c [new file with mode: 0644] blob
libatomic.h [new file with mode: 0644] blob
C++11 memory model checker