Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
src
/
Clight
/
toCminor.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)
@1351
9 years
campbell
Tidy up some loose ends from the invariants branch merge.
(edit)
@1316
9 years
campbell
Merge in id-lookup-branch to trunk.
(edit)
@1224
9 years
sacerdot
Type of programs in common/AST made more dependent. In particular, the …
(edit)
@1207
9 years
campbell
Second part of fixing temporaries in Clight to Cminor stage.
(edit)
@1206
9 years
campbell
First stage of fixing temporary generation in Clight/toCminor.ma.
(edit)
@1194
9 years
campbell
Remove old, commented out code.
(edit)
@1139
9 years
campbell
Shift init_data out of generic program record so that it only appears …
(edit)
@1078
10 years
campbell
Implement stack allocation for parameters whose address is taken.
(edit)
@962
10 years
campbell
Casts should use source type's signedness, not the target's.
(edit)
@961
10 years
campbell
Use precise bitvector sizes throughout the front end, rather than …
(edit)
@886
10 years
campbell
Put types into parameter and variable lists in Cminor. Temporarily …
(edit)
@882
10 years
campbell
Fix up fragile proofs for current version of matita.
(edit)
@881
10 years
campbell
Sort out regions in Cminor to fix Clight to Cminor translation of Ederef.
(edit)
@880
10 years
campbell
Add type information into Cminor. As a result, the Clight to Cminor …
(add)
@816
10 years
campbell
Clight to Cminor compilation, modulo switch statements, temporary …
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog