projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e208de9) | 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>
Wed, 14 Nov 2012 22:34:20 +0000 (14:34 -0800)
commitfe5cffdbd16698d2508cdb472212189ab12bde4f
treeec96a2fa7a53706713eb41c66397a4796f5ca75etree | snapshot
parente208de983fb59be56a2599e3e72d4e884d07d7ebcommit | 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