projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1d6c949) | patch
Adding support to return global segments of the process using the /proc/maps
authorSubramanian Ganapathy <sganapat@uci.edu>
Thu, 10 May 2012 21:07:52 +0000 (14:07 -0700)
committerSubramanian Ganapathy <sganapat@uci.edu>
Thu, 10 May 2012 21:07:52 +0000 (14:07 -0700)
commit700898cdd309acb86dcd275d8b1c34e02d67922e
tree85e812fe02b9c1009b58b93be7b60a3639004527tree | snapshot
parent1d6c949fef3b5da936f8499dde464f8df634267acommit | diff
Adding support to return global segments of the process using the /proc/maps
Makefile diff | blob | history
snapshot-interface.cc [new file with mode: 0644] blob
snapshot-interface.h [new file with mode: 0644] blob
C++11 memory model checker