projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0061f07) | patch
mymemory: add placement new
authorBrian Norris <banorris@uci.edu>
Fri, 7 Dec 2012 05:50:33 +0000 (21:50 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 7 Dec 2012 06:41:29 +0000 (22:41 -0800)
commit9885ab0975d0b812219321ca14794d0f2ca3802c
tree6cf033ab73d9c38584783131baae5c5505211579tree | snapshot
parent0061f073380db853c737ab214a56f194e5627eaccommit | diff
mymemory: add placement new

I will need to use the placement new operator, if I want to allocate an
object with an allocator other than the one I established (SNAPSHOTALLOC
vs. MODELALLOC).
mymemory.h diff | blob | history
C++11 memory model checker