projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bd67491) | patch
snapshot: more renaming
authorBrian Norris <banorris@uci.edu>
Thu, 3 Jan 2013 03:18:43 +0000 (19:18 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 3 Jan 2013 03:20:13 +0000 (19:20 -0800)
commit2d4fc9aae9ad24084edf80c95929c633c680e11f
tree2c81a191e9a0feba1e15a0f4e9e640b30cc9d920tree | snapshot
parentbd67491a35b9a462e1775d154d3eecfe33711984commit | diff
snapshot: more renaming

addMemoryRegionToSnapShot -> snapshot_add_memory_region
rollBack                  -> snapshot_roll_back
takeSnapshot              -> take_snapshot
snapshot-interface.cc diff | blob | history
snapshot.cc diff | blob | history
snapshot.h diff | blob | history
C++11 memory model checker