source: src/common/

Revision Log Mode:


Copied or renamed
Diff Rev Age Author Log Message
(edit) @2429   8 years garnier Restrict semantics of pointer comparison to what CompCert? does - i.e. …
(edit) @2395   8 years campbell Proper handling of comparison of pointers off-the-end of an object. We …
(edit) @2185   8 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.