projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4f25a82) | patch
model: make thread_map heap allocated
authorBrian Norris <banorris@uci.edu>
Sat, 26 May 2012 00:53:56 +0000 (17:53 -0700)
committerBrian Norris <banorris@uci.edu>
Sat, 26 May 2012 01:02:40 +0000 (18:02 -0700)
commit728a295c57047984407babb1aa0184cd2fb022b1
treedabd137fdaa3d58dca6f3ff5b67ab6cbcf0794b1tree | snapshot
parent4f25a82d9a14102ee8abe83899c55a2230c5ce20commit | diff
model: make thread_map heap allocated

I want to snapshot this structure, so make it heap-allocated.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker