projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ee5a8df) | patch
threads: allocate Threads in via userMalloc()
authorBrian Norris <banorris@uci.edu>
Tue, 24 Apr 2012 20:38:37 +0000 (13:38 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 24 Apr 2012 20:38:37 +0000 (13:38 -0700)
commit5e5d8b86e9dbbfb4873adc717508f0b66679f13c
treec14759e7c67e7eee964ae4278a396366eb39265etree | snapshot
parentee5a8df4c176af0f01dd2c47eecb092167f663f6commit | diff
threads: allocate Threads in via userMalloc()

Thread state information should be held in the snapshotting region (when
implemented), so override new and delete.
threads.cc diff | blob | history
threads.h diff | blob | history
C++11 memory model checker