projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ec6458e) | patch
schedule: make 'current' a private member of the scheduler
authorBrian Norris <banorris@uci.edu>
Thu, 15 Mar 2012 05:56:30 +0000 (22:56 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 15 Mar 2012 05:56:30 +0000 (22:56 -0700)
commit5f6566b5bd21517d0f963011ddf7bd919f8da7b9
tree5e2d0d0ad331d3879b4aaf107be5fef7240b28bftree | snapshot
parentec6458e388eb7f7bd5ae21047f4d7a5b34d22a9ecommit | diff
schedule: make 'current' a private member of the scheduler
schedule.cc diff | blob | history
schedule.h diff | blob | history
C++11 memory model checker