projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8f01296) | patch
snapshot: use (void *) instead of (char *)
authorBrian Norris <banorris@uci.edu>
Thu, 14 Jun 2012 16:19:41 +0000 (09:19 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 14 Jun 2012 16:19:41 +0000 (09:19 -0700)
commit06d9618fd028c3d5a60c65ad6508cfae24741688
treecaad15bb622c1c005a6355559e31fe0fe59e3260tree | snapshot
parent8f0129627c5ba0b54b81f330abdba93bd8380fc0commit | diff
snapshot: use (void *) instead of (char *)
snapshot.cc diff | blob | history
snapshotimp.h diff | blob | history
C++11 memory model checker