projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 36cb4cb) | patch
promise: stash the whole future_value
authorBrian Norris <banorris@uci.edu>
Sat, 23 Feb 2013 00:04:51 +0000 (16:04 -0800)
committerBrian Norris <banorris@uci.edu>
Sat, 23 Feb 2013 00:07:28 +0000 (16:07 -0800)
commit084fd1d6e7a9680f3ec48f38c37dda0600ffb612
tree2ff8a8516d92c87504f3e5dc4a0add8738a83970tree | snapshot
parent36cb4cb1d9ac17a2eabde158deb033cfdc7993fdcommit | diff
promise: stash the whole future_value

We may need to generate a new Promise from the same future_value, so
stash the whole struct and expose it via get_fv().
promise.cc diff | blob | history
promise.h diff | blob | history
C++11 memory model checker