projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc321b7) | patch
nodestack: eliminate get_future_value_expiration()
authorBrian Norris <banorris@uci.edu>
Wed, 23 Jan 2013 18:41:23 +0000 (10:41 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 23 Jan 2013 18:41:40 +0000 (10:41 -0800)
commita91144758ab80e865e5227c236e368fc0d3d77a9
tree4dd07cdc0c70802f34fa00f5c8ba7b1d67cbd881tree | snapshot
parentcc321b72f192499ab7f8ffb01a69c663f84b9d20commit | diff
nodestack: eliminate get_future_value_expiration()

We don't need separate accessors for each member of 'struct
future_value'. Just pass the entire struct.
model.cc diff | blob | history
nodestack.cc diff | blob | history
nodestack.h diff | blob | history
C++11 memory model checker