projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 81246ff) | patch
model: add work queue loop
authorBrian Norris <banorris@uci.edu>
Fri, 14 Sep 2012 16:52:49 +0000 (09:52 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 14 Sep 2012 17:15:03 +0000 (10:15 -0700)
commitf82a95581e303d67ea57de4ae9e888be10558866
tree267996068b502552c1a12894dff7ccb4f9a181d3tree | snapshot
parent81246ffc197637d7d8c2c42855faee9c4c8ad2cacommit | diff
model: add work queue loop

This commit does not change the actual computations performed yet. It only
prepares a loop structure in which we could perform many different Work items,
queueing them up as they are generated.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker