projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 34e232a) | patch
mymemory: use the right *&^% allocator!!
authorBrian Norris <banorris@uci.edu>
Fri, 25 May 2012 00:23:38 +0000 (17:23 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 25 May 2012 06:58:31 +0000 (23:58 -0700)
commita0c3a67cdb4fc43dc08204662a50615174501217
tree3dd7fc1409c5999c1c3c6fe0e5f2fec6255cdf2btree | snapshot
parent34e232a12096c3fce512ec06d921329edf8fcb3acommit | diff
mymemory: use the right *&^% allocator!!

We're using MYMALLOC in the global new/delete instead of defaulting to
snapshottable malloc, as planned. What a stupid bug.

Also extend new/delete operators to be sure.
mymemory.cc diff | blob | history
C++11 memory model checker