Add doxygen documentation for much of MemoryState, and add the MemoryState::Region class, which represents an interval in a MemoryState. This class doesn't do much currently, but we will use it when accessing information about a region of memory (e.g. querying the contents of alloca'd memory).
Add doxygen documentation for much of MemoryState, and add the
MemoryState::Region class, which represents an interval in a MemoryState. This
class doesn't do much currently, but we will use it when accessing information
about a region of memory (e.g. querying the contents of alloca'd memory).

mheinsen/seec,seec-team/seec,mheinsen/seec,seec-team/seec,seec-team/seec,mheinsen/seec,seec-team/seec,mheinsen/seec,mheinsen/seec,seec-team/seec