projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b85b579) | patch
snapshot: rename 'SnapShot' -> 'Snapshot'
authorBrian Norris <banorris@uci.edu>
Wed, 3 Oct 2012 18:29:01 +0000 (11:29 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 3 Oct 2012 18:45:52 +0000 (11:45 -0700)
commitf767539fdf7a145b4208be0c30d2fa1aa095e6db
tree3dcf6b839ea694f248058456a76cc3fbd182e0f3tree | snapshot
parentb85b57912810d5a9db0b214d957a843eb29b5e9dcommit | diff
snapshot: rename 'SnapShot' -> 'Snapshot'

This capitalization always messes me up
main.cc diff | blob | history
snapshot-interface.h diff | blob | history
snapshot.cc diff | blob | history
C++11 memory model checker