Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
driver
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)
@2773
8 years
sacerdot
1. everything extracted again after all bugs in Matita's extraction …
(edit)
@2759
8 years
campbell
Print out costs, with choice of style. Note small anti-assertion patch …
(edit)
@2758
8 years
campbell
Adapt prototype's Clight printer. Doesn't use cost map yet.
(edit)
@2747
8 years
sacerdot
The compiler (frontend + backend)
(edit)
@2744
8 years
sacerdot
Build no longer fails.
(edit)
@2729
8 years
sacerdot
More errors recognized
(edit)
@2721
8 years
campbell
Give the real error in the driver.
(edit)
@2648
8 years
sacerdot
Back in sync with the extracted code.
(edit)
@2636
8 years
campbell
Extracted front-end.
(add)
@2620
8 years
campbell
Sufficient hacking to run the extracted Clight semantics.
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog