Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
src
/
correctness.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)
@2875
8 years
sacerdot
Pretty printing of object code integrated too. A couple of axioms make …
(edit)
@2852
8 years
mckinna
Interim commit to re-establish well-typedness after all the recent …
(edit)
@2802
8 years
sacerdot
New file Clight_classified_system with the classified system for …
(edit)
@2774
8 years
sacerdot
1. the compiler now outputs both the stack cost model and the max …
(edit)
@2766
8 years
mckinna
pruned redundant dependency on
Clight/Cexec?
.ma
(edit)
@2765
8 years
sacerdot
1. correctness.ma repaired 2. we used the OC_preclassified_system to …
(edit)
@2722
8 years
campbell
It's easier to keep the real function identifier in front-end …
(edit)
@2677
8 years
campbell
Retain the pointer for the function called in front-end call states so …
(edit)
@2623
8 years
campbell
Name change update.
(edit)
@2596
8 years
campbell
Use a simpler stack cost map, and then specialise to each semantics.
(edit)
@2513
8 years
mckinna
Minor tweaks. Simplified dependencies again.
(edit)
@2506
8 years
campbell
Use common definition of measurable.
(edit)
@2475
8 years
campbell
Get compiler.ma and correctness.ma checking again. Note that the …
(edit)
@2412
8 years
campbell
Tidy up measurable definition a bit more.
(edit)
@2399
8 years
campbell
Fill in some details about the statement of correctness.
(edit)
@2325
8 years
campbell
Fill out some Clight bits and pieces in correctness.ma.
(edit)
@2323
8 years
campbell
Some correctness proof comments.
(edit)
@2322
8 years
campbell
Today's correctness groupthink.
(edit)
@2320
8 years
campbell
Update compiler and correctness with labelling changes.
(edit)
@2205
9 years
campbell
Get correctness.ma type checking again.
(edit)
@2150
9 years
campbell
Add labelling result to the correctness file.
(edit)
@2004
9 years
campbell
Minor edits from discussion.
(edit)
@2003
9 years
campbell
Some discussion of correctness statements.
(edit)
@2001
9 years
campbell
Get the compiler to output more.
(add)
@1996
9 years
campbell
Work on correctness from yesterday.
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog