projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b49d995) | patch
nodestack: add stub 'get_next_read_from()' function
authorBrian Norris <banorris@uci.edu>
Sat, 7 Jul 2012 01:12:59 +0000 (18:12 -0700)
committerBrian Norris <banorris@uci.edu>
Sat, 7 Jul 2012 02:04:34 +0000 (19:04 -0700)
commita124fdeef4ab9a7bcadf8d601742619ec06db5e3
tree6feed41bb5c6a5abcaa0b92d319febe0fd02afabtree | snapshot
parentb49d9950a21123b6f84b6c594232eb950221f6bacommit | diff
nodestack: add stub 'get_next_read_from()' function

This is the start of providing functional model-checking reads-from
relationships. It is a stub because it doesn't properly handle "backtracking"
and replay for reads-from assignments. It will simply return the first element
in may_read_from.
nodestack.cc diff | blob | history
nodestack.h diff | blob | history
This is the public repository for the CDSSpec specification compiler.