projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7320a16) | patch
fix one segfault bug...something is still strange, but has to do with stack
authorBrian Demsky <bdemsky@uci.edu>
Thu, 24 May 2012 19:09:39 +0000 (12:09 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Thu, 24 May 2012 19:09:39 +0000 (12:09 -0700)
commit977bc05c795281f164c11861de48b0b0e2111cae
tree6d7e803d4897cc8a6d86b366e0b8d31a1a6516e9tree | snapshot
parent7320a16b1a16bf1f803bc43856b24a94c0fb4c8ecommit | diff
fix one segfault bug...something is still strange, but has to do with stack
snapshot-interface.cc diff | blob | history
C++11 memory model checker