projects
/
c11tester.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from:
ee74581
)
nodestack: rename 'read_from' to 'read_from_past'
author
Brian Norris
<banorris@uci.edu>
Thu, 28 Feb 2013 01:30:24 +0000
(17:30 -0800)
committer
Brian Norris
<banorris@uci.edu>
Thu, 28 Feb 2013 01:30:24 +0000
(17:30 -0800)
One step of re-architecting the reads-from set in NodeStack (i.e.,
read from past + promised future values + future values).
No differences found