projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a6ce579) | patch
schedule: drop the ModelChecker::check_promises_thread_disabled interface
authorBrian Norris <banorris@uci.edu>
Tue, 16 Apr 2013 02:37:21 +0000 (19:37 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 16 Apr 2013 02:37:21 +0000 (19:37 -0700)
commitbf80445c97bd34afcfd208cc3ecb31edcd631bb6
treed13ec88f8fc4f4d4e8232e149a168e7ba20f6f2ftree | snapshot
parenta6ce579c6437ebead8fee2c8df1530d223591318commit | diff
schedule: drop the ModelChecker::check_promises_thread_disabled interface
execution.cc diff | blob | history
model.h diff | blob | history
schedule.cc diff | blob | history
schedule.h diff | blob | history
C++11 memory model checker