projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 61d1e3a) | patch
nodestack: rename 'read_from' to 'read_from_past'
authorBrian Norris <banorris@uci.edu>
Thu, 28 Feb 2013 01:30:24 +0000 (17:30 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 28 Feb 2013 01:30:24 +0000 (17:30 -0800)
commitee745811958143fe03e854709a649c2954dd6d16
tree13842fd03e03f03fc370574260cb76f38321c80etree | snapshot
parent61d1e3ae29b690f69cf77c5a6f836fb36507a694commit | diff
nodestack: rename 'read_from' to 'read_from_past'

One step of re-architecting the reads-from set in NodeStack (i.e.,
read from past + promised future values + future values).
model.cc diff | blob | history
nodestack.cc diff | blob | history
nodestack.h diff | blob | history
C++11 memory model checker