projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f9b998d) | patch
snapshot: rename USE_CHECKPOINTING to USE_MPROTECT_SNAPSHOT
authorBrian Norris <banorris@uci.edu>
Wed, 30 May 2012 06:20:37 +0000 (23:20 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 30 May 2012 06:20:37 +0000 (23:20 -0700)
commitde6eda345f07ad17b886a96ff49bcecc705c7a45
treec6d05a83f82ac523c3ba51c923deb79c4c3141d1tree | snapshot
parentf9b998d127c712576b132fa300cb9ad43385909acommit | diff
snapshot: rename USE_CHECKPOINTING to USE_MPROTECT_SNAPSHOT

"Checkpointing" is a generic name for either method. USE_MPROTECT_SNAPSHOT is a
more descriptive name.
mymemory.cc diff | blob | history
snapshot.cc diff | blob | history
snapshot.h diff | blob | history
snapshotimp.h diff | blob | history
C++11 memory model checker