Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
src
/
ASM
/
AssemblyProof.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)
@919
9 years
sacerdot
Back to a readable statement.
(edit)
@916
9 years
sacerdot
Fix for jump_expansion_policy.
(edit)
@915
9 years
mulligan
finished changes to fetch_assembly_pseudo2
(edit)
@912
9 years
sacerdot
Readable main theorem statement.
(edit)
@911
9 years
sacerdot
Type of set_code_memory generalized.
(edit)
@909
9 years
sacerdot
Back to the main theorem.
(edit)
@908
9 years
sacerdot
Next big lemma proved!
(edit)
@906
9 years
sacerdot
…
(edit)
@905
9 years
mulligan
work from today
(edit)
@904
9 years
sacerdot
Cleanup.
(edit)
@903
9 years
sacerdot
Statement of new main lemma (as axiom).
(edit)
@902
9 years
sacerdot
Cleanup.
(edit)
@901
9 years
sacerdot
Second main lemma proved.
(edit)
@897
9 years
sacerdot
Proof completed, fetch and assembly are mutual inverses.
(edit)
@896
9 years
sacerdot
Proof finished (but ugly) :-)
(edit)
@894
9 years
sacerdot
Bug more evident.
(edit)
@893
9 years
sacerdot
Cleanup.
(edit)
@892
9 years
sacerdot
First fundamental lemma almost finished.
(edit)
@890
9 years
sacerdot
Better statement, begin of uniform proof.
(edit)
@889
9 years
sacerdot
Minor changes because of the new, weaker (but much faster) delift.
(edit)
@885
9 years
sacerdot
Proof almost finished, but rewritings are extremely slow.
(edit)
@884
9 years
sacerdot
…
(edit)
@883
9 years
sacerdot
Merged done well.
(add)
@877
9 years
mulligan
work from today
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog