projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 37add7f) | patch
execution: document promises list; it is assumed to be sorted
authorBrian Norris <banorris@uci.edu>
Thu, 6 Jun 2013 00:13:55 +0000 (17:13 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 6 Jun 2013 00:13:55 +0000 (17:13 -0700)
commitc3240e7376fc80855529257647bd010a2cce7d6f
tree116042bd5bb45d2d122d61b4645edf4706ca80c8tree | snapshot
parent37add7f58b9494dff8f16ef8eb858194d46d1b37commit | diff
execution: document promises list; it is assumed to be sorted

Document the assumptions made about the 'promises' list.
execution.h diff | blob | history
C++11 memory model checker