projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 22bc505) | patch
small hack to optimize our common case for snapshotting and set config option to...
authorBrian Demsky <bdemsky@uci.edu>
Tue, 2 Oct 2012 21:54:59 +0000 (14:54 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Tue, 2 Oct 2012 21:54:59 +0000 (14:54 -0700)
commitc80c149893770f4b86b3578a827c6a028985de7f
treee5c6c857f28b25406840627d404deebd2993f8a9tree | snapshot
parent22bc505e43e7215a70b2ae362e0b4bbd08c09ddbcommit | diff
small hack to optimize our common case for snapshotting and set config option to turn this back on.

hack assumes that same pages will be dirty across different executions so just copies them and doesn't reprotect them
config.h diff | blob | history
snapshot.cc diff | blob | history
C++11 memory model checker