projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ebebe8c) | patch
snapshot: move declarations to the right interface header
authorBrian Norris <banorris@uci.edu>
Wed, 30 May 2012 06:35:15 +0000 (23:35 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 30 May 2012 06:35:15 +0000 (23:35 -0700)
commitca4375ba4697b8abe476e03f211523c491c3e2c3
treed61f80fb99a7b92d164fe967a11cdfa12572706btree | snapshot
parentebebe8c4d739b4facc4d4c294dfb90367eb43cc8commit | diff
snapshot: move declarations to the right interface header

We should have a minimal set of code/declarations in the snapshot-interface.h
header. And it should not include other headers unless necessary. With this
change, the model checker code only needs to use snapshot-interface.h.
main.cc diff | blob | history
snapshot-interface.h diff | blob | history
snapshot.h diff | blob | history
C++11 memory model checker