projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a575b5d) | patch
mymemory, threads: add allocator specifically for Thread
authorBrian Norris <banorris@uci.edu>
Sat, 9 Mar 2013 20:51:36 +0000 (12:51 -0800)
committerBrian Norris <banorris@uci.edu>
Sat, 9 Mar 2013 20:51:36 +0000 (12:51 -0800)
commitdb2c4ca161b4cba9e453431517af86798c0e9bdb
tree309c8ffa56fdf9a123245be1d070f28bea311758tree | snapshot
parenta575b5d5d2f0edab95e7e0ef8ca6e40b68e0bad9commit | diff
mymemory, threads: add allocator specifically for Thread

clas Thread is a special exception, where user-space allocations should
happend from the model-checker context. So provide a special set of
functions to specifically differentiate these allocations.
mymemory.cc diff | blob | history
mymemory.h diff | blob | history
threads-model.h diff | blob | history
C++11 memory model checker