projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb9b254) | patch
model: add build_reads_from_past() function
authorBrian Norris <banorris@uci.edu>
Thu, 21 Jun 2012 08:59:01 +0000 (01:59 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 21 Jun 2012 09:03:57 +0000 (02:03 -0700)
commiteec79bb1863a2d706aa89505afd5f8159e144030
tree0043874c09cf278348ffd2ced080688b4bbe1132tree | snapshot
parentcb9b254332794ea63d0089b21b498f4a5301f08bcommit | diff
model: add build_reads_from_past() function

Add function that will build up the initial set of all past writes that a
'read' action may read from.
model.cc diff | blob | history
model.h diff | blob | history
C11 Tester Tool Public Repository