Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
src
/
Clight
/
frontend_misc.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)
@2822
7 years
garnier
A consitent proof state for Clight to Cminor, with some progress (and …
(edit)
@2608
7 years
garnier
Regions are no more stored in blocks. block_region now tests the id, …
(edit)
@2588
7 years
garnier
modified
Cexec/Csem?
semantics: . force andbool and orbool types to be …
(edit)
@2582
7 years
garnier
Some progress on CL to CM.
(edit)
@2578
7 years
garnier
Progress on CL to CM, fixed some stuff in memory injections.
(edit)
@2572
7 years
garnier
Progress on toCminorCorrectness.
(edit)
@2565
7 years
garnier
Cl to Cm progress.
(edit)
@2510
7 years
garnier
Some progress on the Cl -> Cm front
(edit)
@2500
7 years
garnier
Continuing work on simulation in
Clight/Cminor?
(edit)
@2496
7 years
garnier
Some tentative work on the simulation proof for expressions, in order …
(edit)
@2468
7 years
garnier
Floats are gone from the front-end. Some trace amount might remain in …
(edit)
@2448
7 years
garnier
Comitting current state of switch removal.
(edit)
@2441
7 years
garnier
Moved general stuff on memories from switchRemoval to
MemProperties?
, …
(edit)
@2438
7 years
garnier
Sync of the w.i.p. for switch removal.
(edit)
@2386
7 years
garnier
Implementation of constructive finite sets based on lists. Various …
(edit)
@2332
7 years
garnier
Some progress on switch removal. Small fix in the definition of free, …
(edit)
@2234
7 years
garnier
Progress on proving semantics preservation under memory injections.
(add)
@2231
7 years
garnier
Various tiny lemmas used in at least two files in the fornt-end.
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog