projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b1ea1bc) | patch
model: move snapshot members out of header
authorBrian Norris <banorris@uci.edu>
Wed, 14 Nov 2012 23:27:40 +0000 (15:27 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 14 Nov 2012 23:27:40 +0000 (15:27 -0800)
commit2b3b99cf4f2ee891bf416707fc8af8ba63337efc
treecfa1c2e6cff98b0d629fb7ec4d16ce2575d43b14tree | snapshot
parentb1ea1bc4119e04664eb853ca4db9971abc2b43afcommit | diff
model: move snapshot members out of header

This struct is only used within model.cc
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker