projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9f1ddeb) | patch
action: record future value
authorBrian Norris <banorris@uci.edu>
Thu, 24 Jan 2013 02:05:28 +0000 (18:05 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 24 Jan 2013 02:05:28 +0000 (18:05 -0800)
commit75fd45bf45d7ec1ac8db7cb6209106ea4e3fc5ab
tree2b55979fb13b2035ba83649a2a4944b60f1b9563tree | snapshot
parent9f1ddeb2b2ba0bf52d14456c90b363daa2f09965commit | diff
action: record future value

Future values don't currently show up in ModelAction (e.g., when
printing). We should set the value when we choose to read from a future
value.
action.h diff | blob | history
model.cc diff | blob | history
C++11 memory model checker