source: src/common/

Revision Log Mode:


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