projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7bec9f8) | patch
1) Add more comments.
authorBrian Demsky <bdemsky@uci.edu>
Wed, 6 Jun 2012 08:46:49 +0000 (01:46 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Wed, 6 Jun 2012 08:46:49 +0000 (01:46 -0700)
commit6d7624344faab763eb30f3a6424f51538b7292a5
tree3ca9bc69d2e3da91d33479e1d770a459beceffb1tree | snapshot
parent7bec9f8bcc8c63a0be2b31f8aa01a61a50afe4f9commit | diff
1) Add more comments.
2) Change is_dependent to is_synchronizing and make it capture actual synchronizing behavior...
3) Add more support for RMW operations.
12 files changed:
action.cc diff | blob | history
action.h diff | blob | history
clockvector.h diff | blob | history
common.h diff | blob | history
libatomic.h diff | blob | history
librace.h diff | blob | history
libthreads.h diff | blob | history
model.cc diff | blob | history
model.h diff | blob | history
nodestack.h diff | blob | history
schedule.h diff | blob | history
threads.h diff | blob | history
C++11 memory model checker