From: Brian Norris <banorris@uci.edu>
Date: Thu, 21 Jun 2012 07:54:01 +0000 (-0700)
Subject: nodestack: add 'may_read_from' set
X-Git-Tag: pldi2013~391^2~8
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=8587e516d89ec5d8da43fc28b7d89fc4d65e343e;hp=8587e516d89ec5d8da43fc28b7d89fc4d65e343e;p=model-checker.git

nodestack: add 'may_read_from' set

Each Node (at least, each Node that is a 'read') will be associated with a
may_read_from set - the set of all possible ModelActions to read from. For now,
this interface handles only actions that exist in the past. It won't properly
retain information from future actions.
---