projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5e822c4) | patch
snapshot: read from /proc/self/maps
authorBrian Norris <banorris@uci.edu>
Sat, 3 Nov 2012 21:55:56 +0000 (14:55 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 14 Nov 2012 22:26:40 +0000 (14:26 -0800)
commit6f2d14687b0bc7063946d5dfca05cf47330eef4e
tree8ed5f7b6771cf4428246c3d4f9f57431112a07detree | snapshot
parent5e822c431b0282de735336d6ef4b055203fa1d29commit | diff
snapshot: read from /proc/self/maps

We don't need to get the PID
snapshot-interface.cc diff | blob | history
snapshotimp.h diff | blob | history
C++11 memory model checker