Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
src
/
Cminor
/
toRTLabs.ma
Revision Log Mode:
Stop on copy
Follow copies
Show only adds and deletes
View log starting at
and back to
Show at most
revisions per page.
Show full log messages
Legend:
Added
Modified
Copied or renamed
Diff
Rev
Age
Author
Log Message
(edit)
@1224
8 years
sacerdot
Type of programs in common/AST made more dependent. In particular, the …
(edit)
@1139
8 years
campbell
Shift init_data out of generic program record so that it only appears …
(edit)
@1072
8 years
campbell
Use not equals form of showing entry/exit labels.
(edit)
@1070
8 years
campbell
Show that entry and exit labels are in the RTLabs graph.
(edit)
@1056
8 years
campbell
Switch to delayed identifier error scheme.
(edit)
@961
8 years
campbell
Use precise bitvector sizes throughout the front end, rather than …
(edit)
@888
9 years
campbell
Use simplified conditionals in RTLabs, following the prototype.
(edit)
@887
9 years
campbell
Start bringing RTLabs into line with the prototype compiler: - a …
(edit)
@881
9 years
campbell
Sort out regions in Cminor to fix Clight to Cminor translation of Ederef.
(edit)
@880
9 years
campbell
Add type information into Cminor. As a result, the Clight to Cminor …
(edit)
@816
9 years
campbell
Clight to Cminor compilation, modulo switch statements, temporary …
(edit)
@797
9 years
campbell
Add error messages wherever the error monad is used. Sticks to …
(edit)
@790
9 years
campbell
A little tidying: get rid of requirement for jmeq in Mem.ma, remove …
(edit)
@780
9 years
campbell
Properly update set of registers that are used for pointers in Cminor …
(edit)
@772
9 years
campbell
Implement proper support for RTLabs addressing modes.
(edit)
@771
9 years
campbell
Implement switch statements in Cminor -> RTLabs phase
(edit)
@767
9 years
campbell
Use variable shadowing as a poor man's state monad in cminor to rtlabs …
(edit)
@766
9 years
campbell
Most of the Cminor to RTLabs stage. Is buggy, generates inefficient …
(add)
@764
9 years
campbell
Start Cminor to RTLabs phase. Includes some syntax for matching …
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog