projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1e3043a) | patch
execution: embed obj_map directly in class
authorBrian Norris <banorris@uci.edu>
Tue, 16 Apr 2013 18:01:46 +0000 (11:01 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 16 Apr 2013 18:38:01 +0000 (11:38 -0700)
commitc5703c61b49d29d3f56fdcb06847f2aa811eeb4e
tree171372e5764d593b03bd3f2795621a27a9658cc5tree | snapshot
parent1e3043a3420dcdc1832efe083e17b98be88e1dfacommit | diff
execution: embed obj_map directly in class

This structure can be embedded as a full-fledged member, not a pointer.
execution.cc diff | blob | history
execution.h diff | blob | history
C++11 memory model checker