projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eec79bb) | patch
model: build up 'may_read_from' set
authorBrian Norris <banorris@uci.edu>
Thu, 21 Jun 2012 09:04:11 +0000 (02:04 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 21 Jun 2012 09:04:11 +0000 (02:04 -0700)
commit236f53b4a7b4c07e9f60b662e059838f75b24171
treef449508125b8ad219eaf3d015bca773c7814c5bdtree | snapshot
parenteec79bb1863a2d706aa89505afd5f8159e144030commit | diff
model: build up 'may_read_from' set

Finally wire up the model-checker so that it builds the may_read_from set
for every 'read' action. I think this is working OK, although I don't have
much to really test it on yet.

Also, improve comments to describe the process in check_current_action().
model.cc diff | blob | history
This is the public repository for the CDSSpec specification compiler.