projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6d6daf8) | patch
snapshot: remove time information
authorBrian Norris <banorris@uci.edu>
Thu, 24 May 2012 18:31:39 +0000 (11:31 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 25 May 2012 23:46:54 +0000 (16:46 -0700)
commit2906f608d81ce100d3771fd04be61722e60a795d
tree27def2e9883f287b847de3c7d1c07160feb81490tree | snapshot
parent6d6daf85f38b898920a4fa7753c073fb5110ce52commit | diff
snapshot: remove time information

Why do we need timestamps? This is unneeded extra code and might cause
problems.
snapshot.cc diff | blob | history
snapshotimp.h diff | blob | history
C++11 memory model checker