projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8c83f79) | patch
model: group snapshottable ModelChecker members in struct
authorBrian Norris <banorris@uci.edu>
Fri, 7 Sep 2012 19:58:06 +0000 (12:58 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 7 Sep 2012 20:02:23 +0000 (13:02 -0700)
commit9cbe08c1b6d700355c43af838dc69799b72b38f3
treed8a75563dbfec87bb2bd5af4f7d99b2e4aacd770tree | snapshot
parent8c83f796d2930427478e603d64e8410707011007commit | diff
model: group snapshottable ModelChecker members in struct

These items shouldn't be reset individually, but rather should be grouped
together and allocated on the snapshotting heap. This puts us a step closer to
utilizing partial rollback within executions.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker