source: src/CHANGES

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @1388   8 years sacerdot fetch_result implemented for ERTL. This required a different …
(edit) @1198   8 years campbell Clight cast removal (NB: quite different from the prototype).
(edit) @1143   8 years sacerdot Added one important observation (not implemented yet).
(edit) @1065   8 years campbell Note a couple of deviations from the prototype.
(edit) @816   9 years campbell Clight to Cminor compilation, modulo switch statements, temporary …
(edit) @774   9 years campbell Separate out the different forms of addition and subtraction in the …
(edit) @773   9 years campbell Report a couple of minor changes from the prototype compiler.
(edit) @750   9 years campbell Track some of the changes to the prototype in RTLabs. Just one …
(edit) @739   9 years campbell Note on identifiers in CHANGES.
(edit) @730   9 years campbell A few deviations from the prototype / CompCert? that I can think of offhand.
(edit) @723   9 years mulligan Added dependent type internalising the invariant that LIN function …
(add) @721   9 years mulligan Added diary of changes to project files.
Note: See TracRevisionLog for help on using the revision log.