projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6ec4035) | patch
snapshot: remove references to libmymemory.so
authorBrian Norris <banorris@uci.edu>
Mon, 21 May 2012 17:57:16 +0000 (10:57 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 21 May 2012 17:57:16 +0000 (10:57 -0700)
commit9fcdad5ce4e6a253041894fd3e02061474e1af43
tree96796057661fc12982c5476daab26df46521ba53tree | snapshot
parent6ec40350feecd12fe123b19a5ead7740f1c21baccommit | diff
snapshot: remove references to libmymemory.so

This library doesn't exist any more.
snapshot-interface.cc diff | blob | history
C++11 memory model checker