projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 20956d8) | patch
action: bugfix - use non-zero fence "location"
authorBrian Norris <banorris@uci.edu>
Tue, 16 Apr 2013 16:46:58 +0000 (09:46 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 16 Apr 2013 18:38:01 +0000 (11:38 -0700)
commitb5d7d602016a4640c31b79ba9598dceefa778ab6
tree2791dad0f4617b06abb7d9e34725d34daf7709b8tree | snapshot
parent20956d81209b12a99ced78f51dd4294a0638343fcommit | diff
action: bugfix - use non-zero fence "location"

Our HashTable does not support zero-based keys (e.g., NULL pointer as a
key). So as a hack, switch to use a small, arbitrary, non-zero location
instead of NULL (0).
action.h diff | blob | history
cmodelint.cc diff | blob | history
execution.cc diff | blob | history
C++11 memory model checker