projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4e8626f) | patch
nodestack: build 'may_read_from' out of constant ModelActions
authorBrian Norris <banorris@uci.edu>
Thu, 5 Jul 2012 23:41:49 +0000 (16:41 -0700)
committerBrian Norris <banorris@uci.edu>
Sat, 7 Jul 2012 00:28:03 +0000 (17:28 -0700)
commit2ebb0b5a772c0bc5366c41c4980f3fd06f8081ae
tree1593c2c1a786e34fc429035e7e587c83c689da93tree | snapshot
parent4e8626fa3721aededd84133382625e20ae6490cfcommit | diff
nodestack: build 'may_read_from' out of constant ModelActions

Make the 'may_read_from' set include only constant pointers.
nodestack.cc diff | blob | history
nodestack.h diff | blob | history
C++11 memory model checker