projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7bfea91) | patch
execution: make structure snapshotting
authorBrian Norris <banorris@uci.edu>
Tue, 16 Apr 2013 03:11:14 +0000 (20:11 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 16 Apr 2013 18:38:01 +0000 (11:38 -0700)
commitaeb054abf1a84d816e655c14efb62adf20874080
tree3494dda7a672d492a729e7d07da412bfe3ec18a3tree | snapshot
parent7bfea91f33595532cf618fe3d090e8021f578795commit | diff
execution: make structure snapshotting

All members are snapshot-able.
execution.h diff | blob | history
C++11 memory model checker