projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ac80452) | patch
race: where possible, use "const void *" for addresses
authorBrian Norris <banorris@uci.edu>
Tue, 13 Nov 2012 00:42:41 +0000 (16:42 -0800)
committerBrian Norris <banorris@uci.edu>
Tue, 13 Nov 2012 00:42:41 +0000 (16:42 -0800)
commitf5ec684987a17e41940dd3c80ad2b98460181054
treefdd6df0a5112af3b59a8507fba4ea6387bddbbdbtree | snapshot
parentac80452d8a9b319e38869c8ff1434ddebfc025a5commit | diff
race: where possible, use "const void *" for addresses

This allows more flexible use for read-only objects.
datarace.cc diff | blob | history
datarace.h diff | blob | history
include/librace.h diff | blob | history
librace.cc diff | blob | history
C++11 memory model checker