projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6f8de9e) | patch
1) more comments
authorBrian Demsky <bdemsky@uci.edu>
Fri, 5 Oct 2012 02:44:14 +0000 (19:44 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Fri, 5 Oct 2012 02:44:14 +0000 (19:44 -0700)
commit80ab61e4168b993a319788c70fd41e63a34ba627
treeb9d9a88a96c8812bd4c125fd1488309490e4e100tree | snapshot
parent6f8de9e0f5697652fd20b2ecf149f96bfb572538commit | diff
1) more comments
2) rename is_synchronizing with
3) realize that reordering is only necessary if we create a synchronization...not needed to break one...
action.cc diff | blob | history
action.h diff | blob | history
model.cc diff | blob | history
C11 Tester Tool Public Repository