projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8d8db34) | patch
nodestack: add 'may_read_from' set
authorBrian Norris <banorris@uci.edu>
Thu, 21 Jun 2012 07:54:01 +0000 (00:54 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 21 Jun 2012 08:02:58 +0000 (01:02 -0700)
commit8587e516d89ec5d8da43fc28b7d89fc4d65e343e
tree118b57898ff016994a60d08063a5986ac3a25742tree | snapshot
parent8d8db345ee33c276ea7f6ee880035182448e7326commit | diff
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.
nodestack.cc diff | blob | history
nodestack.h diff | blob | history
C++11 memory model checker