projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a02d0be) | patch
import header file from specification
authorBrian Demsky <bdemsky@uci.edu>
Thu, 19 Jul 2012 23:18:11 +0000 (16:18 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 2 Aug 2012 17:12:39 +0000 (10:12 -0700)
commitb6b969bf49d31f44e736e67b95f98b7f834f54f1
tree15872acabae8e815786ba085e7d1a493fae7f070tree | snapshot
parenta02d0bed3bc5ab757c3ed30a9589c53b05919688commit | diff
import header file from specification

taken from n2427.html
include/cstdatomic [new file with mode: 0644] blob
include/impatomic.c [new file with mode: 0644] blob
include/impatomic.h [new file with mode: 0644] blob
include/stdatomic.h [new file with mode: 0644] blob
C++11 memory model checker