projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 328a2c0) | patch
mymemory: define SNAPSHOTALLOC appropriately
authorBrian Norris <banorris@uci.edu>
Wed, 3 Oct 2012 18:15:05 +0000 (11:15 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 3 Oct 2012 18:45:52 +0000 (11:45 -0700)
commit8497408d26002ec1a9d7cfd42458f92f2cdd9864
tree5f2b175c78ffbeef39d50c4a82b2820588019525tree | snapshot
parent328a2c09c2ee06d0e1c49ccb84877fa17b436a01commit | diff
mymemory: define SNAPSHOTALLOC appropriately

SNAPSHOTALLOC can be filled in with meaningful allocators, rather than
using the global default allocators.
mymemory.h diff | blob | history
C++11 memory model checker