projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b6dbb3a) | patch
snapshot-interface: cleanup interface header
authorBrian Norris <banorris@uci.edu>
Sat, 26 May 2012 01:10:58 +0000 (18:10 -0700)
committerBrian Norris <banorris@uci.edu>
Sat, 26 May 2012 01:19:44 +0000 (18:19 -0700)
commitb42e7645d3eaab0a2ab5e618cd322215f8164390
treeee2028dd105f143ae4ff9692adf42989060511ddtree | snapshot
parentb6dbb3aeeaefee9d7a1f00c3a1965fa76ba308cacommit | diff
snapshot-interface: cleanup interface header

The MyString type does not belong in an interface header. It's only used in one
file, so move its typedef locally.

Remove/move a bunch of misplaced #includes.

There's an unnecessary forward declaration of class snapshotStack.
snapshot-interface.cc diff | blob | history
snapshot-interface.h diff | blob | history
C++11 memory model checker