source: src/Clight/test/memorymodel.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @1993   8 years campbell Make front-end memory model only depend on the general definitions by …
(edit) @1988   8 years campbell Abstraction of the memory contents in the memory models is no longer …
(edit) @1875   8 years campbell Update brief memory model test.
(edit) @1634   8 years campbell Update memory model examples syntax.
(edit) @961   9 years campbell Use precise bitvector sizes throughout the front end, rather than …
(edit) @717   9 years campbell Clean up Clight examples; better temporary definition of multiply.
(copy) @694   9 years campbell Start moving Clight into common directory.
copied from Deliverables/D3.1/C-semantics/test/memorymodel.ma:
(edit) @409   9 years campbell Update a couple of examples; put support for animation in its own file.
Note: See TracRevisionLog for help on using the revision log.