projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aeaedd4) | patch
mymemory: make snapshot_{malloc,calloc,free} externally linkable
authorBrian Norris <banorris@uci.edu>
Wed, 3 Oct 2012 18:05:36 +0000 (11:05 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 3 Oct 2012 18:05:36 +0000 (11:05 -0700)
commit921d976aa552e5f2a189c594be6111c70e0e5c8a
treeed33ff0ffffa6eb9bdb24869a03ada2d77d2918atree | snapshot
parentaeaedd475a82cbb567f26ed524b2ad2e860e37b7commit | diff
mymemory: make snapshot_{malloc,calloc,free} externally linkable

As we begin to use these functions, they can't be simply declared
statically in the header; they need to be linkable in hashtable.h, for
instance.
mymemory.cc diff | blob | history
mymemory.h diff | blob | history
C++11 memory model checker