projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 339c890) | patch
snapshot: don't export page-aligning functions
authorBrian Norris <banorris@uci.edu>
Thu, 14 Jun 2012 06:53:44 +0000 (23:53 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 14 Jun 2012 06:53:44 +0000 (23:53 -0700)
commit7d2149ffbbc1a3514838d721a71bb0d4c81054b3
tree297491cc0c627d42daf1f1556e88f965016472aetree | snapshot
parent339c89039e14e4f2433d4af0b0d2ae6e6c41e028commit | diff
snapshot: don't export page-aligning functions

Declare these functions static and move them upward in the file.
snapshot.cc diff | blob | history
snapshotimp.h diff | blob | history
C++11 memory model checker