projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a0c3a67) | patch
add more classes to snapshotting region
authorBrian Norris <banorris@uci.edu>
Thu, 24 May 2012 18:32:55 +0000 (11:32 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 25 May 2012 23:14:22 +0000 (16:14 -0700)
commit9fd8ac15f03e8ca01a20563e06c44b8b93090892
tree2e8ee9d39bb929f0602b8b1f2fcfb8b2ba7e9e02tree | snapshot
parenta0c3a67cdb4fc43dc08204662a50615174501217commit | diff
add more classes to snapshotting region

Classes that don't use MyAlloc or MEMALLOC are snapshotted by default.
model.cc diff | blob | history
model.h diff | blob | history
nodestack.h diff | blob | history
schedule.h diff | blob | history
threads.h diff | blob | history
C++11 memory model checker