projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2462c39) | patch
mymemory: add SnapshotAlloc STL allocator
authorBrian Norris <banorris@uci.edu>
Mon, 8 Oct 2012 20:36:11 +0000 (13:36 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 8 Oct 2012 20:36:11 +0000 (13:36 -0700)
commit4ee37711afd0de98bc757ed4853a81d66a6a1533
tree9af9f67e14a5a64b3309f40d018e31d82bb79952tree | snapshot
parent2462c395788348d3c036154d9f8500096804fe29commit | diff
mymemory: add SnapshotAlloc STL allocator

Now, we just need to go through the tedious process of rewriting all our
STL definitions
mymemory.cc diff | blob | history
mymemory.h diff | blob | history
C++11 memory model checker