Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
src
/
Clight
/
SimplifyCasts.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)
@2219
8 years
campbell
Speed up cast simplification proof checking a bit.
(edit)
@2184
8 years
campbell
Minor fix ups.
(edit)
@2176
8 years
campbell
Remove memory spaces other than XData and Code; simplify pointers as a …
(edit)
@2103
8 years
campbell
Make transform_*program take a more general transformation to make …
(edit)
@2074
8 years
garnier
Prophylactic renaming of a relation
(edit)
@2032
8 years
sacerdot
!! BEWARE: major commit !! 1) [affects everybody] split for …
(edit)
@2030
8 years
garnier
Cast simplification was too conservative, now reasonably aggressive.
(edit)
@2019
8 years
campbell
Split out special induction principle for Clight from soundness file. …
(edit)
@2011
8 years
garnier
Minor cleanup.
(edit)
@2009
8 years
garnier
Proof of simulation completed for singe-step executions.
(edit)
@1974
8 years
garnier
Progress on the cast simplification proof.
(edit)
@1970
8 years
garnier
Work-in-progress: correction proof for the cast removal on expressions.
(edit)
@1873
9 years
campbell
Fix up earlier front-end value conversion work.
(edit)
@1872
9 years
campbell
Make binary operations in Cminor/RTLabs properly typed. A few extra …
(edit)
@1224
9 years
sacerdot
Type of programs in common/AST made more dependent. In particular, the …
(add)
@1198
9 years
campbell
Clight cast removal (NB: quite different from the prototype).
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog