source: src/common/FrontEndMem.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @2429   7 years garnier Restrict semantics of pointer comparison to what CompCert? does - i.e. …
(edit) @2395   7 years campbell Proper handling of comparison of pointers off-the-end of an object. We …
(edit) @2185   7 years campbell Use bitvectors for offsets.
(add) @1993   8 years campbell Make front-end memory model only depend on the general definitions by …
Note: See TracRevisionLog for help on using the revision log.