projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c9719c5) | patch
action: add 'reads_from' member variable
authorBrian Norris <banorris@uci.edu>
Wed, 11 Jul 2012 21:10:40 +0000 (14:10 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 11 Jul 2012 21:22:01 +0000 (14:22 -0700)
commitf291abaf7a05ebdc5981072212b55265dafc1c4a
tree0035e850613b075b42584fccfe4974dd05f1911ctree | snapshot
parentc9719c5b5bebeed83f9864825fa93ff6bae2b575commit | diff
action: add 'reads_from' member variable

Just printed out for now, but the 'reads_from' parameter might be used more
later.
action.cc diff | blob | history
action.h diff | blob | history
C++11 memory model checker