Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
src
/
ASM
/
AssemblyProofSplitSplit.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)
@2127
7 years
sacerdot
Last daemon closed
(edit)
@2123
7 years
boender
- moved is_well_labeled_p to Status and instruction_is_label to ASM …
(edit)
@2122
7 years
sacerdot
More stuff moved around in proper places
(edit)
@2110
7 years
sacerdot
…
(edit)
@2062
7 years
sacerdot
Everything repaired (broken because of new proof obligation for fetch).
(edit)
@2051
7 years
mulligan
Finished the Jmp case in the main theorem.
(edit)
@2047
7 years
mulligan
Big bugs in policy calculations found. Waiting for Jaap's commit.
(edit)
@2027
8 years
mulligan
Got the main lemma to apply in the proof of main theorem again and …
(add)
@2026
8 years
mulligan
Added a new file to house the main theorem as the type checking time …
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog