projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: a2e3283)
Bug fixes from running Coverity
authorbdemsky <bdemsky@uci.edu>
Tue, 6 May 2014 20:13:36 +0000 (16:13 -0400)
committerbdemsky <bdemsky@uci.edu>
Tue, 6 May 2014 20:13:36 +0000 (16:13 -0400)

No differences found
C++11 memory model checker