projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a4d3f2a) | patch
document and extend trace analysis interface
authorBrian Demsky <bdemsky@uci.edu>
Mon, 6 May 2013 20:25:00 +0000 (13:25 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Mon, 6 May 2013 20:41:06 +0000 (13:41 -0700)
commitf817fff71c1cc97fe1bd55fa791f0d68af88ed1a
tree05a600fa152b9811684d4b0fe67c5a0eded3f7c6tree | snapshot
parenta4d3f2ae3f3a9e2a30cc36c92cee9f83bb09e9b1commit | diff
document and extend trace analysis interface
model.cc diff | blob | history
scanalysis.cc diff | blob | history
scanalysis.h diff | blob | history
traceanalysis.h diff | blob | history
C++11 memory model checker