projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 260b391) | patch
snapshot-interface: change hand-coded stack to vector
authorBrian Norris <banorris@uci.edu>
Thu, 3 Jan 2013 19:59:13 +0000 (11:59 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 3 Jan 2013 19:59:13 +0000 (11:59 -0800)
commite300f8c076063b85d545e517972717758828d56e
tree0af8d7fc31ab280e02b8ecbfe28e7c5ed634c8e4tree | snapshot
parent260b391c9292c9eb48da1033bf4ac1c32ea49f87commit | diff
snapshot-interface: change hand-coded stack to vector

The logic, etc., is much simpler when using C++ vectors and constructors
here.
snapshot-interface.cc diff | blob | history
C++11 memory model checker