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)
@2122
9 years
sacerdot
More stuff moved around in proper places
(edit)
@2110
9 years
sacerdot
…
(edit)
@2062
9 years
sacerdot
Everything repaired (broken because of new proof obligation for fetch).
(edit)
@2051
9 years
mulligan
Finished the Jmp case in the main theorem.
(edit)
@2047
9 years
mulligan
Big bugs in policy calculations found. Waiting for Jaap's commit.
(edit)
@2027
9 years
mulligan
Got the main lemma to apply in the proof of main theorem again and …
(add)
@2026
9 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