projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 523dbec) | patch
nodestack: pass 'struct future_value' to add_future_value()
authorBrian Norris <banorris@uci.edu>
Thu, 24 Jan 2013 01:24:11 +0000 (17:24 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 24 Jan 2013 01:31:08 +0000 (17:31 -0800)
commitffb2033ac6b31407810703b65ae0fbaeb9c0da59
treeff9f513a8afd3ea703ec920ab0ee03ec5efd1bcbtree | snapshot
parent523dbecc6fc18e58918a1f36860be5eb0ab42ce2commit | diff
nodestack: pass 'struct future_value' to add_future_value()

This makes more sense than passing individual parameters. This way, we
construct our future_value in ModelChecker, then simply pass it to the
NodeStack.
model.cc diff | blob | history
nodestack.cc diff | blob | history
nodestack.h diff | blob | history
C++11 memory model checker