projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ad3c7c3) | patch
schedule: replace queue with list
authorBrian Norris <banorris@uci.edu>
Fri, 20 Apr 2012 17:30:58 +0000 (10:30 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 20 Apr 2012 17:30:58 +0000 (10:30 -0700)
commitf6c3c97520fa724c97c6a04eb8da4bf8a4bb2477
tree5831501a58140cbe22ff7acd829132d5b97a8e85tree | snapshot
parentad3c7c39632343541f85667ed6ae2e27bc18d0e9commit | diff
schedule: replace queue with list

I'll need random access to its elements later.
schedule.cc diff | blob | history
schedule.h diff | blob | history
C++11 memory model checker