projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9508fe0) | patch
more implementation of scanalysis...
authorBrian Demsky <bdemsky@uci.edu>
Fri, 12 Apr 2013 08:33:34 +0000 (01:33 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Sat, 13 Apr 2013 21:03:03 +0000 (14:03 -0700)
commit38cb7400c16ad0a04355ec77af2bf5da2dbfaad5
tree1f7ee20cb54e766e83a7fe560d9d36fe80c46c1ftree | snapshot
parent9508fe09d2eeaaf7fbe7193d9cb81b3bc66316b5commit | diff
more implementation of scanalysis...
seems like it might work at this point, but need code to tell whether it is a SC trace or not and which parts are SC
model.h diff | blob | history
scanalysis.cc diff | blob | history
scanalysis.h diff | blob | history
C++11 memory model checker