projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1f81741) | patch
execution: remove redundant condition, reword doc for promises_may_allow
authorBrian Norris <banorris@uci.edu>
Thu, 6 Jun 2013 00:25:30 +0000 (17:25 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 6 Jun 2013 00:25:30 +0000 (17:25 -0700)
commitf92474f04a6e57df48c91a4c9e38f31cff153f39
treea1336f0413aed40a5bcd47da09cb98b74976d4catree | snapshot
parent1f817417cb820f356fb2afa7ac9e18d7ef054198commit | diff
execution: remove redundant condition, reword doc for promises_may_allow

promises_may_allow() doesn't actually need to check for
promises.empty(), as the loop bounds take care of that. In the same
spirit, we can reword the comments/documentation so that

 (1) it is not redundant (condition (a) is subsumed by (b))
 (2) we are more explicit about what we actually mean by "crossing
     promises"
execution.cc diff | blob | history
This is the public repository for the CDSSpec specification compiler.